Header menu logo B2R2

DeadCodeElimination Module

Provides a function that performs dead code elimination for the lifted IR statements. This function assumes that the statements are localized, i.e., they represent a basic block.

Functions and values

Function or value Description

DeadCodeElimination.optimize stmts

Full Usage: DeadCodeElimination.optimize stmts

Parameters:
Returns: Stmt[]

Assuming that the stmts are localized, i.e., those stmts represent a basic block, perform dead code elimination.

stmts : Stmt[]
Returns: Stmt[]

Type something to start searching.