package bap-dead-code-elimination

  1. Overview
  2. No Docs
A BAP plugin that removes dead IR code

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4.0.tar.gz
md5=b7785715c24645e8e69a8091427d090e

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.

Published: 13 Mar 2018

Dependencies (2)

  1. bap-std = "1.4.0"
  2. ocaml >= "4.03" & < "4.06"

Dev Dependencies

None

Used by (1)

  1. bap = "1.4.0"

Conflicts

None