bap
bap copied to clipboard
BinaryAnalysisPlatform
Binary Analysis Platform
It may be useful to link two BIR programs together, especially when running dynamically linked binaries with Primus. In particular, it may be useful to execute external library code without...
## File structure SIMD instructions have been implemented in files under `plugins/arm/semantics` with the `aarch64-simd-` prefix, in the `aarch64` package. This is done as `bap` only looks in the top...
Our input/output channel variables look like they are dynamically scoped (aka parameters), e.g., `*standard-output*` but they are stored directly in the Primus Env and are lexically scoped. This should be...
It looks like we have messed a bit with the normalization forms during the BAP 2.0 release. The let-normalization is not available anymore, despite being mentioned in the documentation and...
We have some problems with disassembling and lifting code built for `Mips VI` release. For example, in this release, some instructions have 3 operands, while they had only 2 in...
Right now, it is the BIL plugin's job to turn unsupported instructions into intrinsic calls, but this will break when working on targets that don't fully rely on the BIL...
Current State ------------- Since LLVM is not yet ready for AVR we switched to Ghidra. We still have to use LLVM as a loader (and it proves to fail on...
on installing BAP deb file as per instruction provided in README, i got these issues: ``` $ sudo dpkg -i {bap,libbap,libbap-dev}_2.2.0.deb [sudo] password for shivanshu: Selecting previously unselected package bap....
Importing Core theory produced results into the Prolog for easy query, maybe based on ELPI https://github.com/LPCIC/elpi To be able to write rules like https://fbinfer.com/docs/linters.html for Infer for example. Or like...
Dear all, I am learning BAP and want to do some variable recovery tasks. But I am a little confused about the recovery algorithm used by BAP. I found an...
