PV1 BINSECframework providing abstractions for binary code analysis

Toolset to improve software security at binary level

Application domain/field

Type of tool

Binary code analysis/Symbolic execution

Internals

Uses Z3
Binary level Framework Security

Links

Last commit date

26 October 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.