bincat icon indicating copy to clipboard operation
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

Results 18 bincat issues
Sort by recently updated
recently updated
newest added

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...

bug

* `.ini` generation is very slow * Identify bottlenecks and fix them :) * Python's `ConfigParser` is slow as hell #45 should help.

enhancement
IDA plugin
engine

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...

enhancement

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...

enhancement

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"...

enhancement
task

enhancement
task