Inline

Replace a function call with the body of the called function.

Optimize

Clean up the code with intra-procedural optimizations.

Plugins

Add your own invariants and responders to Tigress.