The new intermediate language is based on the BAP (Binary Analysis Platform) Core Theory. It operates on SMT-like bitvectors and their arrays to represent values and memory. Apart from that, it has also representation for the data and code side effects. |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| labeler.yml | ||
| meson-android-aarch64.ini | ||
| meson-android-arm.ini | ||
| meson-android-x86_64.ini | ||
| PULL_REQUEST_TEMPLATE.md | ||
| stale.yml | ||
| upload.sh | ||