PV5 HolBAlibrary for semi-automatic analysis of binary code

Framework/set of tools for binary analysis in HOL.

Application domain/field

Type of tool

Binary analysis framework

Expected input

Depends on the subtool that is used.


Tool for binary analysis in HOL4. It has the following tools:
Binary level Framework


Repository: https://github.com/kth-step/HolBA

Related papers

TrABin: Trustworthy analyses of binaries (SCP 2019)

Last publication date

8 September 2020

Related tools

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.