Package soot.baf.toolkits.base

A toolkit to optimize the Baf IR. Includes a store/load optimizer for eliminating redundent store and load instructions, as well as peepholes and the infrastructure required to add new ones.

Interface Summary

Interface	Description
Peephole	Interface to be implemented by peepholes acting on the Baf IR.

Class Summary

Class	Description
ExamplePeephole	Example peephole that remove all checkcast operations.
LoadStoreOptimizer
OpStackCalculator	Emulates the operation of the JVM stack to compute the expected types of the objects on the stack at each Unit in a BafBody.
PeepholeOptimizer	Driver class to run peepholes on the Baf IR.
StoreChainOptimizer	Due to local packing, we may have chains of assignments to the same local.

Enum Summary

Enum	Description
StackTypesValidator	Checks if the locals and the operand stack will contain the correct types for each instruction in the BafBody.