Metadata
| Year | 2020 |
|---|---|
| Target | Binary |
| Technique | Symbolic |
| Guarantees | sound with restrictions |
| Available | yes |
| Repository | https://github.com/binsec/binsec |
| Website | https://binsec.github.io/ |
| Paper1 | BINSEC: Binary Code Analysis with Low-Level Regions |
| Paper2 | Binsec/Rel: Efficient relational symbolic execution for constant-time at binary-level |
| Tutorial | yes |
See the tutorial provided by Binsec.
Back to the Tool page.