Static Value-Flow Analysis
|
This is the complete list of members for SVF::MTA, including all inherited members.
computeLocksets(TCT *tct) | SVF::MTA | virtual |
computeMHP(SVFModule *module) | SVF::MTA | virtual |
detect(SVFModule *module) | SVF::MTA | virtual |
getLockAnalysis() | SVF::MTA | inline |
getMHP() | SVF::MTA | inline |
lsa | SVF::MTA | private |
mhp | SVF::MTA | private |
MTA() | SVF::MTA | |
runOnModule(SVFIR *module) | SVF::MTA | virtual |
stat | SVF::MTA | private |
tcg | SVF::MTA | private |
tct | SVF::MTA | private |
~MTA() | SVF::MTA | virtual |