addEllipsis() | Signature | [inline] |
addParameter(const char *nam=NULL) | Signature | [virtual] |
addParameter(Type *type, const char *nam=NULL, Exp *e=NULL, const char *boundMax="") | Signature | [virtual] |
addParameter(Exp *e, Type *ty) | Signature | [virtual] |
addParameter(Parameter *param) | Signature | [virtual] |
addPreferedParameter(int n) | Signature | [inline] |
addReturn(Type *type, Exp *e=NULL) | Signature | [virtual] |
addReturn(Exp *e) | Signature | [virtual] |
addReturn(Return *ret) | Signature | [inline, virtual] |
appendParameter(Parameter *p) | Signature | [inline, protected] |
appendReturn(Return *r) | Signature | [inline, protected] |
argumentCompare(Assignment &a, Assignment &b) | Signature | [virtual] |
clone() | Signature | [virtual] |
conventionName(callconv cc) | Signature | [static] |
dfaTypeAnalysis(Cfg *cfg) | Signature | |
ellipsis | Signature | [protected] |
findParam(Exp *e) | Signature | [virtual] |
findParam(const char *nam) | Signature | [virtual] |
findReturn(Exp *e) | Signature | |
forced | Signature | [protected] |
getArgumentExp(int n) | Signature | [virtual] |
getConvention() | Signature | [inline, virtual] |
getEarlyParamExp(int n, Prog *prog) | Signature | |
getFirstArgLoc(Prog *prog) | Signature | |
getName() | Signature | [virtual] |
getNumParams() | Signature | [inline, virtual] |
getNumPreferedParams() | Signature | [inline] |
getNumReturns() | Signature | [inline, virtual] |
getParamBoundMax(int n) | Signature | [virtual] |
getParamExp(int n) | Signature | [virtual] |
getParamName(int n) | Signature | [virtual] |
getParamType(int n) | Signature | [virtual] |
getPlatform() | Signature | [inline, virtual] |
getPreferedName() | Signature | [inline] |
getPreferedParam(int n) | Signature | [inline] |
getPreferedReturn() | Signature | [inline] |
getProven(Exp *left) | Signature | [inline, virtual] |
getReturnExp(int n) | Signature | [inline, virtual] |
getReturnExp2(BinaryFile *pBF) | Signature | [static] |
getReturns() | Signature | [inline] |
getReturnType(int n) | Signature | [inline, virtual] |
getSigFile() | Signature | [inline] |
getStackRegister() | Signature | [virtual] |
getStackRegister(Prog *prog) | Signature | [static] |
getStackWildcard() | Signature | [inline, virtual] |
getStdRetStmt(Prog *prog) | Signature | [static] |
getTypeFor(Exp *e) | Signature | |
hasEllipsis() | Signature | [inline, virtual] |
instantiate(platform plat, callconv cc, const char *nam) | Signature | [static] |
isAddrOfStackLocal(Prog *prog, Exp *e) | Signature | [virtual] |
isForced() | Signature | [inline] |
isLocalOffsetNegative() | Signature | [inline, virtual] |
isLocalOffsetPositive() | Signature | [inline, virtual] |
isOpCompatStackLocal(OPER op) | Signature | |
isPreserved(Exp *e) | Signature | [inline, virtual] |
isPromoted() | Signature | [inline, virtual] |
isStackLocal(Prog *prog, Exp *e) | Signature | |
isUnknown() | Signature | [inline] |
killEllipsis() | Signature | [inline] |
name | Signature | [protected] |
operator==(Signature &other) | Signature | [virtual] |
params | Signature | [protected] |
platformName(platform plat) | Signature | [static] |
preferedName | Signature | [protected] |
preferedParams | Signature | [protected] |
preferedReturn | Signature | [protected] |
print(std::ostream &out, bool html=false) | Signature | |
prints() | Signature | |
printToLog() | Signature | |
promote(UserProc *p) | Signature | [virtual] |
removeParameter(Exp *e) | Signature | [virtual] |
removeParameter(int i) | Signature | [virtual] |
removeReturn(Exp *e) | Signature | [virtual] |
renameParam(const char *oldName, const char *newName) | Signature | |
rettype | Signature | [protected] |
returnCompare(Assignment &a, Assignment &b) | Signature | [virtual] |
returns | Signature | [protected] |
setABIdefines(Prog *prog, StatementList *defs) | Signature | [static] |
setForced(bool f) | Signature | [inline] |
setLibraryDefines(StatementList *defs) | Signature | [inline, virtual] |
setName(const char *nam) | Signature | [virtual] |
setNumParams(int n) | Signature | [virtual] |
setParamExp(int n, Exp *e) | Signature | [virtual] |
setParamName(int n, const char *nam) | Signature | [virtual] |
setParamType(int n, Type *ty) | Signature | [virtual] |
setParamType(const char *nam, Type *ty) | Signature | [virtual] |
setParamType(Exp *e, Type *ty) | Signature | [virtual] |
setPreferedName(const char *nam) | Signature | [inline] |
setPreferedReturn(Type *ty) | Signature | [inline] |
setRetType(Type *t) | Signature | [inline] |
setReturnExp(int n, Exp *e) | Signature | [inline] |
setReturnType(int n, Type *ty) | Signature | [virtual] |
setSigFile(const char *nam) | Signature | [inline] |
setUnknown(bool b) | Signature | [inline] |
sigFile | Signature | [protected] |
Signature(const char *nam) | Signature | |
Signature() | Signature | [inline, protected] |
unknown | Signature | [protected] |
usesNewParam(UserProc *p, Statement *stmt, bool checkreach, int &n) | Signature | [protected] |
XMLProgParser class | Signature | [friend] |
~Signature() | Signature | [inline, virtual] |