decomp / doc

Design documents related to the decompilation pipeline.

The Unlicense

25 stars 3 forks source link

review: B2R2: Building an Efficient Front-End for Binary Analysis #44

Closed mewmew closed 4 years ago

mewmew commented 5 years ago

M. Jung, S. Kim, H. Han, J. Choi, and S. K. Cha, B2r2: Building an efficient front-end for binary analysis, in The NDSS Workshop on Binary Analysis Research, Internet Society, 2019.

https://softsec.kaist.ac.kr/~jschoi/data/ndssbar2019.pdf

mewmew commented 4 years ago

GitHub repo: https://github.com/B2R2-org/B2R2

Main contribution

Identify areas on how to speed up binary lifting.

Hash-Consing (idea: de-duplicate subtrees of the AST, identical nodes shares the same underlying memory, and nodes are compared by hashing node contents)
Parallelism
Arbitrary-precision integers: costly on memory and CPU.
Store use-def info in metadata to speed up analysis. (Any IR in SSA form gets this for free).