sf

Triton is a dynamic binary analysis (DBA) framework. It provides internal components similar a Dynamic Symbolic Execution (DSE) engine, a Taint engine, AST representations of the x86 in addition to the x86-64 instructions railroad train semantics, SMT simplification passes, an SMT Solver Interface and, the terminal simply non least, Python bindings. Based on these components, yous are able to cook program analysis tools, automate reverse engineering in addition to perform software verification. As Triton is yet a immature project, please, don't blame us if it is non yet reliable. Open issues or pull requests are e'er ameliorate than troll =). Influenza A virus subtype H5N1 amount documentation is available on our doxygen page . Quick start Description Installation Examples Presentations in addition to Publications Internal documentation Dynamic Symbolic Execution Symbolic Execution Optimizations AST Representations of Semantics SMT Semanti...

Reko (Swedish: "decent, obliging") is a C# projection containing a decompiler for car code binaries. This projection is freely available nether the GNU General Public License. The projection consists of front end ends, center decompiler engine, as well as dorsum ends to aid it plough over its goals. Influenza A virus subtype H5N1 command-line, a Windows GUI, as well as a ASP.NET front end halt be at the fourth dimension of writing. The decompiler engine receives inputs from the front end ends inwards the cast of either private executable files or decompiler projection files. Reko projection files incorporate additional information close a binary file, helpful to the decompilation procedure or for formatting the output. The decompiler engine as well as thence proceeds to analyze the input binary. Reko has the ambition of supporting decompilation of diverse processor architectures as well as executable file formats amongst minimal user intervention. For a consummate l...