gen

DoubleFree Liveness MonotoneFW ReachingDefintions StdLibFuncReturn UninitializedMemory XFree

getAllPred

CFGHelper

getAllSucc

CFGHelper

getExprSucc

InterCFG

getFreshDefinition

MonotoneFW

getFreshDefinitionFromUsage

MonotoneFW

getOriginal

MonotoneFW

getRelevantIdUsages

UninitializedMemory

getTranslationUnit

CInterAnalysisFrontend InterCFG

getUsedVariables

StdLibFuncReturn