barf-project

barf-project copied to clipboard

Exception: Error loading ELF file

1

>>> barf = BARF("/home/user/code") Traceback (most recent call last): File "", line 1, in File "/usr/local/lib/python3.8/dist-packages/barf-0.6.0-py3.8.egg/barf/barf.py", line 90, in __init__ self.open(filename) File "/usr/local/lib/python3.8/dist-packages/barf-0.6.0-py3.8.egg/barf/barf.py", line 211, in open self.binary = BinaryFile(filename)...

sh4m2hwz

liumengdeqq

I cant open '.bin' file and i got "Unknown file format" exception on "BARF(filename)" instruction.

saeidzoka

when i run the example,there have some problem like this

xiaokanghub

Support PySMT

12

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

cnheitman

Improve CFG recovery - Process Jump Tables

1

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

cnheitman

BlackCatNeo

Adding architecture support dynamically

1

It would be very useful to employ BARF's REIL analysis tools for architectures not supported in BARF without modifying its core but rather through a defined API that allows to...

schomatis

Implement Optional instruction flags

1

Implement Optional instruction flags instead of home-brewn REIL instructions. For example, the implemented _RET_ instruction could be substituted by an _JCC_ instruction with the optional _IOPT_RET_ flag implemented in [openREIL](https://github.com/Cr4sh/openreil)....

Nordwald

Adding a tracking bug, as this is in the TODOs

zachriggle