Opam Package bap-optimization.2.2.0

Package info

opam-namebap-optimization
opam-version2.2.0
synopsisA BAP plugin that removes dead IR code
description A 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.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (6)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-optimization

Package files

lib/bap/optimization.plugin
lib/bap-plugin-optimization/optimization_plugin.cmxs
lib/bap-plugin-optimization/optimization_plugin.cmxa
lib/bap-plugin-optimization/optimization_plugin.cma
lib/bap-plugin-optimization/optimization_plugin.a
lib/bap-plugin-optimization/optimization_main.cmx
lib/bap-plugin-optimization/optimization_data.cmx
lib/bap-plugin-optimization/META
lib/bap-plugin-optimization