deploy: 8a85ad2

angr · Nov 12, 2024 · a67ae70 · a67ae70
commit a67ae70
Show file tree

Hide file tree

Showing 97 changed files with 6,523 additions and 0 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/404.html b/404.html
@@ -0,0 +1,25 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <link rel="stylesheet" href="/css/404.css">
+    <script type="text/javascript" src="/scripts/no_foac.js"></script>
+  </head>
+  <body>
+    <div id="background">
+      <hr>
+      <div id="row-center">
+        <div class="main-letter">
+          4
+        </div>
+        <img id="central-picture" src="/img/angry_face.png">
+        <div class="main-letter">
+          4
+        </div>
+      </div>
+      <div id="caption">
+        <b>Page Not Found</b>
+      </div>
+      <hr>
+    </div>
+  </body>
+</html>
diff --git a/CNAME b/CNAME
@@ -0,0 +1,6 @@
+angr.io
+www.angr.io
+angr.re
+www.angr.re
+angr.horse
+www.angr.horse 
diff --git a/android-icon-144x144.png b/android-icon-144x144.png
diff --git a/android-icon-192x192.png b/android-icon-192x192.png
diff --git a/android-icon-36x36.png b/android-icon-36x36.png
diff --git a/android-icon-48x48.png b/android-icon-48x48.png
diff --git a/android-icon-72x72.png b/android-icon-72x72.png
diff --git a/android-icon-96x96.png b/android-icon-96x96.png
diff --git a/api-doc/angr.html b/api-doc/angr.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io/angr'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io/angr">https://api.angr.io/angr</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/api-doc/archinfo.html b/api-doc/archinfo.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io/archinfo'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io/archinfo">https://api.angr.io/archinfo</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/api-doc/claripy.html b/api-doc/claripy.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io/claripy'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io/claripy">https://api.angr.io/claripy</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/api-doc/cle.html b/api-doc/cle.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io/cle'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io/cle">https://api.angr.io/cle</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/api-doc/index.html b/api-doc/index.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io">https://api.angr.io</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/api-doc/pyvex.html b/api-doc/pyvex.html
@@ -0,0 +1,9 @@
+ <html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>Moved</title>
+    <meta http-equiv="refresh" content="5;URL='https://api.angr.io/pyvex'" />
+  </head>
+  <body>
+    <p>This page has moved to a <a href="https://api.angr.io/pyvex">https://api.angr.io/pyvex</a>. Please update your links.</p>
+  </body>
+</html>
diff --git a/apple-icon-114x114.png b/apple-icon-114x114.png
diff --git a/apple-icon-120x120.png b/apple-icon-120x120.png
diff --git a/apple-icon-144x144.png b/apple-icon-144x144.png
diff --git a/apple-icon-152x152.png b/apple-icon-152x152.png
diff --git a/apple-icon-180x180.png b/apple-icon-180x180.png
diff --git a/apple-icon-57x57.png b/apple-icon-57x57.png
diff --git a/apple-icon-60x60.png b/apple-icon-60x60.png
diff --git a/apple-icon-72x72.png b/apple-icon-72x72.png
diff --git a/apple-icon-76x76.png b/apple-icon-76x76.png
diff --git a/apple-icon-precomposed.png b/apple-icon-precomposed.png
diff --git a/apple-icon.png b/apple-icon.png
diff --git a/authors/anton00b/index.html b/authors/anton00b/index.html
@@ -0,0 +1,79 @@
+<!DOCTYPE rowhtm>
+<html>
+<head>
+  <link rel="stylesheet" href="/css/main.css">
+  <link rel="stylesheet" href="/css/syntax.css">
+  <link rel="stylesheet" href="/css/pure-min.css">
+  <link rel="stylesheet" href="/css/single.css">
+  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.1.1/css/all.min.css" integrity="sha512-KfkfwYDsLkIlwQp6LFnl8zNdLGxu9YAA1QvwINks4PhcElQSvqcyVLLD9aMhXd13uQjoXtEKNosOWaZqXgel0g==" crossorigin="anonymous" referrerpolicy="no-referrer" />
+  <script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
+  <link rel="apple-touch-icon" sizes="57x57" href="/apple-icon-57x57.png">
+  <link rel="apple-touch-icon" sizes="60x60" href="/apple-icon-60x60.png">
+  <link rel="apple-touch-icon" sizes="72x72" href="/apple-icon-72x72.png">
+  <link rel="apple-touch-icon" sizes="76x76" href="/apple-icon-76x76.png">
+  <link rel="apple-touch-icon" sizes="114x114" href="/apple-icon-114x114.png">
+  <link rel="apple-touch-icon" sizes="120x120" href="/apple-icon-120x120.png">
+  <link rel="apple-touch-icon" sizes="144x144" href="/apple-icon-144x144.png">
+  <link rel="apple-touch-icon" sizes="152x152" href="/apple-icon-152x152.png">
+  <link rel="apple-touch-icon" sizes="180x180" href="/apple-icon-180x180.png">
+  <link rel="icon" type="image/png" sizes="192x192"  href="/android-icon-192x192.png">
+  <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png">
+  <link rel="icon" type="image/png" sizes="96x96" href="/favicon-96x96.png">
+  <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png">
+  <link rel="manifest" href="/manifest.json">
+  <meta name="msapplication-TileColor" content="#ffffff">
+  <meta name="msapplication-TileImage" content="/ms-icon-144x144.png">
+  <meta name="theme-color" content="#ffffff">
+  <title>angr</title>
+</head>
+<body>
+<header id="header">
+  <div id="topbar">
+    <div id="title">
+      <a href="/" class="nohighlight">
+        angr
+        <img id="logo" src="/img/angry_face.png">
+      </a>
+    </div>
+    <ul id="nav">
+      <div id="prompt">&gt;&gt;&gt;</div>
+
+        <a href="/"><li>home</li></a>
+
+        <a href="https://github.com/angr"><li>code</li></a>
+
+        <a href="https://docs.angr.io/"><li>docs</li></a>
+
+        <a href="/blog"><li>blog</li></a>
+
+        <a href="/#contact"><li>get involved!</li></a>
+
+    </ul>
+  </div>
+</header>
+<div id="bodycolumn">
+
+<h1 style="display: inline">author: anton00b</h1><br>
+
+<a href="https://angr.io/blog/java_angr/" class="post" >
+  <div class="bar-appears">
+    <div class="list-main">
+      <span class="list-title">experimental java, android, and jni support in angr</span>
+    </div>
+    <span style="margin-left: 7%; color: #555">angr can now symbolically execute Java code and Android apps!</span>
+  </div>
+</a>
+
+<br>
+</div>
+<div id="footer">
+  <p>angr owes its existence to research sponsored by DARPA under agreement number
+  <a href="http://www.darpa.mil/program/vetting-commodity-it-software-and-firmware">N66001-13-2-4039</a>!</p>
+  <p>Site icons provided by <a href="https://www.flaticon.com/authors/icomoon">Icomoon</a> and <a href="http://www.freepik.com">Freepik</a>, licensed by <a href="http://creativecommons.org/licenses/by/3.0/">CC 3.0 BY</a></p>
+  <p>For questions, hop on <a href="http://angr.slack.com">our slack</a> (get an invite <a href="/invite">here</a>)
+  or contact the angr mailing list:
+  <a href="&#109;&#97;&#105;&#108;&#116;&#111;&#58;%61%6e%67%72@%6c%69%73%74%73.%63%73.%75%63%73%62.%65%64%75">angr&nbsp;~at~&nbsp;lists.cs.ucsb.edu</a>
+  </div>
+</body>
+</html>
+
diff --git a/authors/conand/index.html b/authors/conand/index.html
@@ -0,0 +1,79 @@
+<!DOCTYPE rowhtm>
+<html>
+<head>
+  <link rel="stylesheet" href="/css/main.css">
+  <link rel="stylesheet" href="/css/syntax.css">
+  <link rel="stylesheet" href="/css/pure-min.css">
+  <link rel="stylesheet" href="/css/single.css">
+  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.1.1/css/all.min.css" integrity="sha512-KfkfwYDsLkIlwQp6LFnl8zNdLGxu9YAA1QvwINks4PhcElQSvqcyVLLD9aMhXd13uQjoXtEKNosOWaZqXgel0g==" crossorigin="anonymous" referrerpolicy="no-referrer" />
+  <script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
+  <link rel="apple-touch-icon" sizes="57x57" href="/apple-icon-57x57.png">
+  <link rel="apple-touch-icon" sizes="60x60" href="/apple-icon-60x60.png">
+  <link rel="apple-touch-icon" sizes="72x72" href="/apple-icon-72x72.png">
+  <link rel="apple-touch-icon" sizes="76x76" href="/apple-icon-76x76.png">
+  <link rel="apple-touch-icon" sizes="114x114" href="/apple-icon-114x114.png">
+  <link rel="apple-touch-icon" sizes="120x120" href="/apple-icon-120x120.png">
+  <link rel="apple-touch-icon" sizes="144x144" href="/apple-icon-144x144.png">
+  <link rel="apple-touch-icon" sizes="152x152" href="/apple-icon-152x152.png">
+  <link rel="apple-touch-icon" sizes="180x180" href="/apple-icon-180x180.png">
+  <link rel="icon" type="image/png" sizes="192x192"  href="/android-icon-192x192.png">
+  <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png">
+  <link rel="icon" type="image/png" sizes="96x96" href="/favicon-96x96.png">
+  <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png">
+  <link rel="manifest" href="/manifest.json">
+  <meta name="msapplication-TileColor" content="#ffffff">
+  <meta name="msapplication-TileImage" content="/ms-icon-144x144.png">
+  <meta name="theme-color" content="#ffffff">
+  <title>angr</title>
+</head>
+<body>
+<header id="header">
+  <div id="topbar">
+    <div id="title">
+      <a href="/" class="nohighlight">
+        angr
+        <img id="logo" src="/img/angry_face.png">
+      </a>
+    </div>
+    <ul id="nav">
+      <div id="prompt">&gt;&gt;&gt;</div>
+
+        <a href="/"><li>home</li></a>
+
+        <a href="https://github.com/angr"><li>code</li></a>
+
+        <a href="https://docs.angr.io/"><li>docs</li></a>
+
+        <a href="/blog"><li>blog</li></a>
+
+        <a href="/#contact"><li>get involved!</li></a>
+
+    </ul>
+  </div>
+</header>
+<div id="bodycolumn">
+
+<h1 style="display: inline">author: conand</h1><br>
+
+<a href="https://angr.io/blog/java_angr/" class="post" >
+  <div class="bar-appears">
+    <div class="list-main">
+      <span class="list-title">experimental java, android, and jni support in angr</span>
+    </div>
+    <span style="margin-left: 7%; color: #555">angr can now symbolically execute Java code and Android apps!</span>
+  </div>
+</a>
+
+<br>
+</div>
+<div id="footer">
+  <p>angr owes its existence to research sponsored by DARPA under agreement number
+  <a href="http://www.darpa.mil/program/vetting-commodity-it-software-and-firmware">N66001-13-2-4039</a>!</p>
+  <p>Site icons provided by <a href="https://www.flaticon.com/authors/icomoon">Icomoon</a> and <a href="http://www.freepik.com">Freepik</a>, licensed by <a href="http://creativecommons.org/licenses/by/3.0/">CC 3.0 BY</a></p>
+  <p>For questions, hop on <a href="http://angr.slack.com">our slack</a> (get an invite <a href="/invite">here</a>)
+  or contact the angr mailing list:
+  <a href="&#109;&#97;&#105;&#108;&#116;&#111;&#58;%61%6e%67%72@%6c%69%73%74%73.%63%73.%75%63%73%62.%65%64%75">angr&nbsp;~at~&nbsp;lists.cs.ucsb.edu</a>
+  </div>
+</body>
+</html>
+
diff --git a/authors/degrigis/index.html b/authors/degrigis/index.html
@@ -0,0 +1,79 @@
+<!DOCTYPE rowhtm>
+<html>
+<head>
+  <link rel="stylesheet" href="/css/main.css">
+  <link rel="stylesheet" href="/css/syntax.css">
+  <link rel="stylesheet" href="/css/pure-min.css">
+  <link rel="stylesheet" href="/css/single.css">
+  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.1.1/css/all.min.css" integrity="sha512-KfkfwYDsLkIlwQp6LFnl8zNdLGxu9YAA1QvwINks4PhcElQSvqcyVLLD9aMhXd13uQjoXtEKNosOWaZqXgel0g==" crossorigin="anonymous" referrerpolicy="no-referrer" />
+  <script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
+  <link rel="apple-touch-icon" sizes="57x57" href="/apple-icon-57x57.png">
+  <link rel="apple-touch-icon" sizes="60x60" href="/apple-icon-60x60.png">
+  <link rel="apple-touch-icon" sizes="72x72" href="/apple-icon-72x72.png">
+  <link rel="apple-touch-icon" sizes="76x76" href="/apple-icon-76x76.png">
+  <link rel="apple-touch-icon" sizes="114x114" href="/apple-icon-114x114.png">
+  <link rel="apple-touch-icon" sizes="120x120" href="/apple-icon-120x120.png">
+  <link rel="apple-touch-icon" sizes="144x144" href="/apple-icon-144x144.png">
+  <link rel="apple-touch-icon" sizes="152x152" href="/apple-icon-152x152.png">
+  <link rel="apple-touch-icon" sizes="180x180" href="/apple-icon-180x180.png">
+  <link rel="icon" type="image/png" sizes="192x192"  href="/android-icon-192x192.png">
+  <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png">
+  <link rel="icon" type="image/png" sizes="96x96" href="/favicon-96x96.png">
+  <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png">
+  <link rel="manifest" href="/manifest.json">
+  <meta name="msapplication-TileColor" content="#ffffff">
+  <meta name="msapplication-TileImage" content="/ms-icon-144x144.png">
+  <meta name="theme-color" content="#ffffff">
+  <title>angr</title>
+</head>
+<body>
+<header id="header">
+  <div id="topbar">
+    <div id="title">
+      <a href="/" class="nohighlight">
+        angr
+        <img id="logo" src="/img/angry_face.png">
+      </a>
+    </div>
+    <ul id="nav">
+      <div id="prompt">&gt;&gt;&gt;</div>
+
+        <a href="/"><li>home</li></a>
+
+        <a href="https://github.com/angr"><li>code</li></a>
+
+        <a href="https://docs.angr.io/"><li>docs</li></a>
+
+        <a href="/blog"><li>blog</li></a>
+
+        <a href="/#contact"><li>get involved!</li></a>
+
+    </ul>
+  </div>
+</header>
+<div id="bodycolumn">
+
+<h1 style="display: inline">author: degrigis</h1><br>
+
+<a href="https://angr.io/blog/angr_symbion/" class="post" >
+  <div class="bar-appears">
+    <div class="list-main">
+      <span class="list-title">symbion: fusing concrete and symbolic execution</span>
+    </div>
+    <span style="margin-left: 7%; color: #555">Learn how to symbolically execute real-world binaries by fusing concrete and symbolic execution</span>
+  </div>
+</a>
+
+<br>
+</div>
+<div id="footer">
+  <p>angr owes its existence to research sponsored by DARPA under agreement number
+  <a href="http://www.darpa.mil/program/vetting-commodity-it-software-and-firmware">N66001-13-2-4039</a>!</p>
+  <p>Site icons provided by <a href="https://www.flaticon.com/authors/icomoon">Icomoon</a> and <a href="http://www.freepik.com">Freepik</a>, licensed by <a href="http://creativecommons.org/licenses/by/3.0/">CC 3.0 BY</a></p>
+  <p>For questions, hop on <a href="http://angr.slack.com">our slack</a> (get an invite <a href="/invite">here</a>)
+  or contact the angr mailing list:
+  <a href="&#109;&#97;&#105;&#108;&#116;&#111;&#58;%61%6e%67%72@%6c%69%73%74%73.%63%73.%75%63%73%62.%65%64%75">angr&nbsp;~at~&nbsp;lists.cs.ucsb.edu</a>
+  </div>
+</body>
+</html>
+