Christian Heitman
Christian Heitman
Current support for SMT solvers interaction is provided by a Python module taken from [PySymEmu](https://github.com/feliam/pysymemu) with custom modifications. It only supports **Z3** and **CVC4** solvers. The goal is to replace...
Currently, there is no support for jump tables processing when generating the CFG of a function. The goal is to provide a way to process them for the current supported...
The CFG recovery functionality uses symbol information to correctly generate the control flow graph of a specific function, however, this information is not automatically extracted from the binary being processed...
MIPS is a very well known architecture used in multiple devices. The goal is to provide support for the architecture.
[Hexagon](https://en.wikipedia.org/wiki/Qualcomm_Hexagon) is an arquitecture for a digital signal processor develop by Qualcomm. The goal is to provide support for the architecture.
[BinNavi](https://github.com/google/binnavi) is a graphical binary navigator useful for reverse engineering software. Currently, it relies on a commercial software, IDA Pro, to do the disassembly work. The goal is to use...
Due to currents limitation in `PyAsmJIT` package is not possible to properly test x86 instruction with memory access operands.
Add support for the instructions below (based on [this](https://github.com/c01db33f/reil) implementation) in order to ease the translation process. # REIL Extensions. `LSHL`: Logical left shift. `LSHR`: Logical right shift. `ASHR`: Arithmetic...