bincat
bincat copied to clipboard
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
I want to compile bincat on Windows and follow this [link,](https://github.com/airbus-seclab/bincat/blob/master/doc/windows_build.md), then meet this error: ``` $ make windist PYTHON=python Compiling OCaml part................................................. make[1]: Entering directory '/home/SEG_ZC/bincat/ocaml/src' ocamllex frontend/lexer.mll 57...
``` gef➤ py-bt Traceback (most recent call first): File "/home/raph/.idapro/plugins/idabincat/hexview/hexview_auto.py", line 27, in setupUi QtCore.QMetaObject.connectSlotsByName(Form) File "/home/raph/.idapro/plugins/idabincat/hexview/hexview.py", line 612, in __init__ self.setupUi(self) File "/home/raph/.idapro/plugins/idabincat/gui.py", line 427, in OnCreate self.hexwidget =...
I need to analyse one function in my binary, but I have to pass pointer to big chunk of memory as an argument. I've created additional segment in IDA and...
Static executable generated with gcc 7 for ARM create an ELF executable with this REL section header (note the `readelf` warning): ``` [Nr] Name Type Addr Off Size ES Flg...
* `.ini` generation is very slow * Identify bottlenecks and fix them :) * Python's `ConfigParser` is slow as hell #45 should help.
We need a way to (synchronously) ask the user what to do when the analyzer is "lost". It should be usable not only from the IDA plugin to allow for...
It would be convenient for complex code to be able to create the initial state by dumping data from a stopped debugger: gdb, IDA, Windbg ? We could also use...
Make it possible to use quoted strings, if possible with escapes, and that can be concatenated with || ``` mem[0x10000] = "my string" mem[0x20000] = "my string terminated with zero\x00"...