plug a little memleak in verifyFunction()
plug memleak: destroy internal buffer
fix crash when the malloc/free function is defi...
remove redundant test (mayBeOverriden() include...
ignore generated files
add AU.setPreservesCFG() since this pass only a...
add preserversCFG() + preservers(CallGraph)
revert the addition of Preverves(CallGraph), pe...