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.

Internals

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

Links

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

Last commit date

1 July 2021

Related papers

https://doi.org/10.1016/j.scico.2019.01.001 (SCP 2019)

Last publication date

8 September 2020

Related tools

ProVerB specific

View/edit source (Markdown)



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