Merge pull request #85 from S2E/issue/xxx-remove-revgen

Remove revgen
S2E · Dec 10, 2023 · 428bdf7 · 428bdf7
2 parents 18d7fe5 + a3ce9b5
commit 428bdf7
Show file tree

Hide file tree

Showing 45 changed files with 9 additions and 5,060 deletions.
diff --git a/docs/src/Tutorials/Revgen/Revgen.rst b/docs/src/Tutorials/Revgen/Revgen.rst
@@ -34,6 +34,11 @@ In this section, we show how to use Revgen on DARPA CGC binaries. We cleaned up
 <http://dslab.epfl.ch/pubs/revgen.pdf>`__ of Revgen in order to analyze CGC binaries, so it supports these binaries the
 best. Other types of binaries will be supported in the future.
 
+.. warning::
+
+  Revgen is not supported anymore and has been removed from the master branch of S2E.
+  Use `Remill <https://github.com/lifting-bits/remill>`__ instead if you want to translate binaries to LLVM.
+
 
 1. Prerequisites
 ----------------

diff --git a/docs/src/index.rst b/docs/src/index.rst
@@ -29,8 +29,9 @@ vulnerabilities in them. S2E is pronounced *S two E*.
    Tutorials/PoV/pov
    Tutorials/PoV/index
 
-   Combining Kaitai Struct and S2E for analyzing parsers [external] <https://adrianherrera.github.io/post/kaitai-s2e>
-   Analyzing trigger-based malware with S2E [external] <https://adrianherrera.github.io/post/malware-s2e>
+   Combining Kaitai Struct and S2E for analyzing parsers [external] <https://adrianherrera.github.io/posts/kaitai-s2e>
+   Analyzing trigger-based malware with S2E [external] <https://adrianherrera.github.io/posts/malware-s2e>
+   Solving CTF challenges with S2E [external] <https://adrianherrera.github.io/posts/google-ctf-2016/>
 
    Tutorials/SystemTap/index.rst
    Tutorials/WindowsDLL/index.rst

diff --git a/tools/lib/CMakeLists.txt b/tools/lib/CMakeLists.txt
@@ -21,8 +21,3 @@
 
 add_subdirectory(CFG)
 add_subdirectory(Utils)
-add_subdirectory(X8664BitcodeLibrary)
-add_subdirectory(X8664Translator)
-add_subdirectory(X86BitcodeLibrary)
-add_subdirectory(X86RuntimeLibrary)
-add_subdirectory(X86Translator)
diff --git a/tools/lib/Utils/BasicBlockListParser.h b/tools/lib/Utils/BasicBlockListParser.h
@@ -24,6 +24,7 @@
 #ifndef S2ETOOLS_BBLP_H
 #define S2ETOOLS_BBLP_H
 
+#include <inttypes.h>
 #include <set>
 #include <string>
 

diff --git a/tools/lib/X8664BitcodeLibrary/CMakeLists.txt b/tools/lib/X8664BitcodeLibrary/CMakeLists.txt
diff --git a/tools/lib/X8664BitcodeLibrary/cpu/config-host.h b/tools/lib/X8664BitcodeLibrary/cpu/config-host.h
diff --git a/tools/lib/X8664BitcodeLibrary/cpu/config-target.h b/tools/lib/X8664BitcodeLibrary/cpu/config-target.h
diff --git a/tools/lib/X8664Translator/CMakeLists.txt b/tools/lib/X8664Translator/CMakeLists.txt
diff --git a/tools/lib/X8664Translator/Translator.cpp b/tools/lib/X8664Translator/Translator.cpp