addCallee(Proc *callee) | UserProc | |
addCallees(std::list< UserProc * > &callees) | UserProc | |
addCaller(CallStatement *caller) | Proc | [inline] |
addCallers(std::set< UserProc * > &callers) | Proc | |
addImplicitAssigns() | UserProc | |
addLocal(Type *ty, const char *nam, Exp *e) | UserProc | |
addParameter(Exp *e, Type *ty) | UserProc | |
addParameterSymbols() | UserProc | |
address | Proc | [protected] |
addressEscapedVars | UserProc | [private] |
addToStackMap(int c, Type *ty) | UserProc | [private] |
assignProcsToCalls() | UserProc | |
branchAnalysis() | UserProc | |
calleeList | UserProc | [private] |
callerSet | Proc | [protected] |
canProveNow() | UserProc | |
canRename(Exp *e) | UserProc | [inline] |
castConst(int num, Type *ty) | UserProc | |
cfg | UserProc | [private] |
checkForGainfulUse(Exp *e, ProcSet &visited) | UserProc | |
checkLocalFor(RefExp *r) | UserProc | |
checkMemSize(Exp *e) | UserProc | [private] |
checkMemSizes() | UserProc | [private] |
clearRanges() | UserProc | |
clearUses() | UserProc | |
clearVisited() | Proc | [inline] |
cluster | Proc | [protected] |
col | UserProc | [private] |
complete() | UserProc | |
containsAddr(ADDRESS uAddr) | UserProc | |
conTypeAnalysis() | UserProc | |
countRefs(RefCounter &refCounts) | UserProc | |
cycleGrp | UserProc | [private] |
decompile(ProcList *path, int &indent) | UserProc | |
deleteCFG() | UserProc | |
df | UserProc | [private] |
dfaTypeAnalysis() | UserProc | |
DFGcount | UserProc | [private] |
doesParamChainToCall(Exp *param, UserProc *p, ProcSet *visited) | UserProc | |
doesRecurseTo(UserProc *p) | UserProc | [inline] |
doRenameBlockVars(int pass, bool clearStacks=false) | UserProc | |
dump() | UserProc | |
dumpLocals(std::ostream &os, bool html=false) | UserProc | |
dumpLocals() | UserProc | |
dumpSymbolMap() | UserProc | |
dumpSymbolMapx() | UserProc | |
earlyDecompile() | UserProc | |
eliminateDuplicateArgs() | UserProc | |
ellipsisProcessing() | UserProc | |
existsLocal(char *name) | UserProc | |
expFromSymbol(const char *nam) | UserProc | |
filterParams(Exp *e) | UserProc | |
filterReturns(Exp *e) | UserProc | |
finalSimplify() | UserProc | |
findFinalParameters() | UserProc | |
findFirstSymbol(Exp *e) | UserProc | |
findLiveAtDomPhi(LocationSet &usedByDomPhi) | UserProc | |
findLocal(Exp *e, Type *ty) | UserProc | |
findLocalFromRef(RefExp *r) | UserProc | |
findPhiUnites(ConnectionGraph &pu) | UserProc | |
findPreserveds() | UserProc | |
findSpPreservation() | UserProc | |
findVarEntry(int idx) | UserProc | [private] |
fixCallAndPhiRefs(int d) | UserProc | |
fixCallAndPhiRefs() | UserProc | |
fixRefs(int n, int depth, std::map< Exp *, Exp *, lessExpStar > &pres, StatementList &removes) | UserProc | |
fixUglyBranches() | UserProc | |
fromSSAform() | UserProc | |
generateCode(HLLCode *hll) | UserProc | |
getAST() | UserProc | |
getCallees() | UserProc | [inline] |
getCallers() | Proc | [inline] |
getCFG() | UserProc | [inline] |
getCluster() | Proc | [inline] |
getDataFlow() | UserProc | [inline] |
getDefinitions(LocationSet &defs) | UserProc | |
getEntryBB() | UserProc | |
getFirstCaller() | Proc | |
getLocalName(int n) | UserProc | |
getLocalType(const char *nam) | UserProc | |
getModifieds() | UserProc | [inline] |
getName() | Proc | |
getNativeAddress() | Proc | |
getNumLocals() | UserProc | [inline] |
getParameters() | UserProc | [inline] |
getParamType(const char *nam) | UserProc | |
getParamTypeList(const std::list< Exp * > &actuals) | Proc | |
getPremised(Exp *left) | UserProc | [virtual] |
getProg() | Proc | [inline] |
getProven(Exp *left) | UserProc | [virtual] |
getRegName(Exp *r) | UserProc | |
getSignature() | Proc | [inline] |
getStatements(StatementList &stmts) | UserProc | |
getStatus() | UserProc | [inline] |
getStmtAtLex(unsigned int begin, unsigned int end) | UserProc | |
getSymbolExp(Exp *le, Type *ty=NULL, bool lastPass=false) | UserProc | |
getSymbolFor(Exp *e, Type *ty) | UserProc | |
getSymbolName(Exp *e) | UserProc | |
getTheReturnAddr() | UserProc | [inline] |
getTheReturnStatement() | UserProc | [inline] |
getTypeForLocation(Exp *e) | UserProc | |
inductivePreservation(UserProc *topOfCycle) | UserProc | |
initialiseDecompile() | UserProc | |
initialParameters() | UserProc | |
initStatements() | UserProc | |
insertAssignAfter(Statement *s, Exp *left, Exp *right) | UserProc | |
insertCasts() | UserProc | |
insertParameter(Exp *e, Type *ty) | UserProc | |
insertStatementAfter(Statement *s, Statement *a) | UserProc | |
isAddressEscapedVar(Exp *e) | UserProc | [inline] |
isDecoded() | UserProc | [inline] |
isDecompiled() | UserProc | [inline] |
isEarlyRecursive() | UserProc | [inline] |
isLib() | Proc | [inline, virtual] |
isLocal(Exp *e) | UserProc | |
isLocalOrParam(Exp *e) | UserProc | |
isLocalOrParamPattern(Exp *e) | UserProc | |
isNoReturn() | UserProc | [virtual] |
isPreserved(Exp *e) | UserProc | [virtual] |
isPropagatable(Exp *e) | UserProc | |
isRetNonFakeUsed(CallStatement *c, Exp *loc, UserProc *p, ProcSet *visited) | UserProc | |
isSorted() | UserProc | [inline] |
isVisited() | Proc | [inline] |
killPremise(Exp *e) | UserProc | [inline] |
locals | UserProc | [private] |
localTable | UserProc | [private] |
logSuspectMemoryDefs() | UserProc | |
lookupParam(Exp *e) | UserProc | |
lookupSym(Exp *e, Type *ty) | UserProc | |
lookupSymFromRef(RefExp *r) | UserProc | |
lookupSymFromRefAny(RefExp *r) | UserProc | |
m_firstCaller | Proc | [protected] |
m_firstCallerAddr | Proc | [protected] |
makeParamsImplicit() | UserProc | |
makeSymbolsImplicit() | UserProc | |
mapExpressionsToLocals(bool lastPass=false) | UserProc | |
mapLocalsAndParams() | UserProc | |
mapParameters() | UserProc | |
mapSymbolTo(Exp *from, Exp *to) | UserProc | |
mapSymbolToRepl(Exp *from, Exp *oldTo, Exp *newTo) | UserProc | |
mapTempsToLocals() | UserProc | |
markAsNonChildless(ProcSet *cs) | UserProc | |
matchParams(std::list< Exp * > &actuals, UserProc &caller) | Proc | |
middleDecompile(ProcList *path, int indent) | UserProc | |
nameParameterPhis() | UserProc | |
nameStackLocations() | UserProc | |
newLocal(Type *ty, Exp *e, char *nam=NULL) | UserProc | |
newLocalName(Exp *e) | UserProc | |
nextLocal | UserProc | [private] |
nextParam | UserProc | [private] |
nextParamNum() | UserProc | [inline] |
numberStatements() | UserProc | |
operator<<(std::ostream &os, Proc &proc) | Proc | [friend] |
parameters | UserProc | [private] |
placePhiFunctions() | UserProc | [inline] |
prePresDecompile() | UserProc | |
print(std::ostream &out, bool html=false) | UserProc | |
printAnalysedXML() | UserProc | |
printAST(SyntaxNode *a=NULL) | UserProc | |
printCallGraphXML(std::ostream &os, int depth, bool recurse=true) | UserProc | [virtual] |
printDecodedXML() | UserProc | |
printDetailsXML() | Proc | |
printDFG() | UserProc | |
printLocalsAsC(std::ostream &os) | UserProc | |
printParams(std::ostream &out, bool html=false) | UserProc | |
prints() | UserProc | |
printSSAXML() | UserProc | |
printSymbolMap(std::ostream &out, bool html=false) | UserProc | |
printToLog() | UserProc | |
printUseGraph() | UserProc | |
printXML() | UserProc | |
Proc(Prog *prog, ADDRESS uNative, Signature *sig) | Proc | |
Proc() | Proc | [inline, protected] |
processDecodedICTs() | UserProc | |
processFloatConstants() | UserProc | |
prog | Proc | [protected] |
promoteSignature() | UserProc | |
propagateAndRemoveStatements() | UserProc | |
propagateStatements(bool &convert, int pass) | UserProc | |
propagateToCollector() | UserProc | |
prove(Exp *query, bool conditional=false) | UserProc | |
provenTrue | Proc | [protected] |
prover(Exp *query, std::set< PhiAssign * > &lastPhis, std::map< PhiAssign *, Exp * > &cache, Exp *original, PhiAssign *lastPhi=NULL) | UserProc | |
rangeAnalysis() | UserProc | |
recurPremises | Proc | [protected] |
recursionGroupAnalysis(ProcList *path, int indent) | UserProc | |
RefCounter typedef | UserProc | |
removeCallLiveness() | UserProc | |
removeDeadStatements() | UserProc | |
removeMatchingAssignsIfPossible(Exp *e) | UserProc | |
removeNullStatements() | UserProc | |
removeParameter(Exp *e) | Proc | |
removeRedundantParameters() | UserProc | |
removeRedundantPhis() | UserProc | |
removeRedundantReturns(std::set< UserProc * > &removeRetSet) | UserProc | |
removeReturn(Exp *e) | UserProc | [virtual] |
removeSpAssignsIfPossible() | UserProc | |
removeStatement(Statement *stmt) | UserProc | |
removeSubscriptsFromParameters() | UserProc | |
removeSubscriptsFromSymbols() | UserProc | |
removeSymbolMapping(Exp *from, Exp *to) | UserProc | |
removeUnusedLocals() | UserProc | |
remUnusedStmtEtc() | UserProc | |
remUnusedStmtEtc(RefCounter &refCounts) | UserProc | |
renameLocal(const char *oldName, const char *newName) | UserProc | |
renameParam(const char *oldName, const char *newName) | UserProc | [virtual] |
reverseStrengthReduction() | UserProc | |
searchAll(Exp *search, std::list< Exp * > &result) | UserProc | |
searchAndReplace(Exp *search, Exp *replace) | UserProc | |
searchRegularLocals(OPER minusOrPlus, bool lastPass, int sp, StatementList &stmts) | UserProc | [private] |
setCFG(Cfg *c) | UserProc | [inline, protected] |
setCluster(Cluster *c) | Proc | [inline] |
setDecoded() | UserProc | |
setDominanceNumbers() | UserProc | |
setEntryBB() | UserProc | |
setExpSymbol(const char *nam, Exp *e, Type *ty) | UserProc | |
setFirstCaller(Proc *p) | Proc | [inline] |
setImplicitRef(Statement *s, Exp *a, Type *ty) | UserProc | |
setLocalType(const char *nam, Type *ty) | UserProc | |
setName(const char *nam) | Proc | |
setNativeAddress(ADDRESS a) | Proc | |
setParamType(const char *nam, Type *ty) | UserProc | |
setParamType(int idx, Type *ty) | UserProc | |
setPremise(Exp *e) | UserProc | [inline] |
setProg(Prog *p) | Proc | [inline] |
setProvenTrue(Exp *fact) | Proc | |
setSignature(Signature *sig) | Proc | [inline] |
setSorted() | UserProc | [inline] |
setStatus(ProcStatus s) | UserProc | |
setTheReturnAddr(ReturnStatement *s, ADDRESS r) | UserProc | [inline] |
signature | Proc | [protected] |
simplify() | UserProc | [inline] |
stackMap | UserProc | [private] |
status | UserProc | [private] |
stmtNumber | UserProc | [private] |
symbolMap | UserProc | [private] |
SymbolMap typedef | UserProc | |
testSymbolMap() | UserProc | |
theReturnStatement | UserProc | [private] |
toSymbolic(TypedExp *loc, TypedExp *result, bool local=true) | UserProc | |
trimParameters(int depth=-1) | UserProc | |
typeAnalysis() | UserProc | |
unDecode() | UserProc | |
undoComputedBB(Statement *stmt) | UserProc | [inline] |
updateArguments() | UserProc | |
updateCallDefines() | UserProc | |
updateCalls() | UserProc | |
updateForUseChange(std::set< UserProc * > &removeRetSet) | UserProc | |
updateReturnTypes() | UserProc | |
useBeforeDefine(Exp *loc) | UserProc | [inline] |
UserProc(Prog *prog, std::string &name, ADDRESS address) | UserProc | |
UserProc() | UserProc | [protected] |
visited | Proc | [protected] |
windowsModeDecompile() | UserProc | |
XMLProgParser class | UserProc | [friend] |
~Proc() | Proc | [virtual] |
~UserProc() | UserProc | [virtual] |