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 | 
            
                
              
              
             | 
          
            B2R2