bap-dead-code-elimination

A BAP plugin that removes dead IR code
Description

An pass that conservatively removes dead code in the generated IR. The removed dead code is usually produced by a lifter, though it might be possible that a binary indeed contains a dead code. The algorithm doesn't remove variables that are stored in memory, only registers are considered.

Install
Published
13 Mar 2018
Authors
Sources
v1.4.0.tar.gz
md5=b7785715c24645e8e69a8091427d090e
Dependencies
bap-std
= "1.4.0"
ocaml
>= "4.03" & < "4.06"
Reverse Dependencies
bap
= "1.4.0"