#
Lists (10)
Sort Name ascending (A-Z)
Starred repositories
4
stars
written in F#
Clear filter
B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
Grey-box Concolic Testing on Binary Code (ICSE '19)
Testing Intermediate Representations for Binary Analysis (ASE '17)