A CIL Tutorial - Department of Computer Science - ETH Zürich

Index
A (module), 10, 13, 15, 10, 13, 15
addEdgesForCallArgs, 10, 10
addEdgesForCallRet, 10, 10
addInferredColors, 10, 10
addNodeMarks, 10, 10
argDef (eld), 15, 15
argFmt (eld), 15, 15
argGot (eld), 15, 15
argHelp (eld), 15, 15
argName (eld), 15, 15
argOpt (eld), 15, 15
argOption (eld), 15, 15
argReq (eld), 15, 15
argShort (eld), 15, 15
argStr, 15, 15
argType (eld), 15, 15
argument (type), 15, 15
argument of global, 15, 15
argVi (eld), 15, 15
assertStr, 15, 15
assignRmVisitor (class), 3, 3
attrEraserVisitor (class), 15, 15
attr of color, 10, 10
attr strings, 15, 15
begin loop (eld), 5, 5
begin loop str, 5, 5
Blue, 8, 8
blueStr, 8, 8
Bottom, 4, 4
cachefuns, 11, 11
cacheReportAdder (class), 11, 11
cacheReportStr, 11, 11
cache begin (eld), 11, 11
cache begin str, 11, 11
cache end (eld), 11, 11
cache end str, 11, 11
cache function names, 11, 11
CG (module), 14, 14
CH (module), 13, 13
checkColorTypes, 8, 9, 8, 9
collectVars, 4, 4
color (type), 8, 9, 810
colorAdder (class), 10, 10
colorCheckVisitor (class), 8, 9, 8, 9
colorEraserVisitor (class), 8, 9, 8, 9
colorqual of type, 9, 9
colors (type), 9, 10, 9, 10
ColorsMismatch, 8, 8
colors equal, 10, 10
colors includes, 9, 9
colors of exp, 9, 9
colors of lval, 9, 9
colors of type, 8, 9, 810
colorTypesCompat, 8, 8
color checks (type), 9
color eq (eld), 9, 9
color eq str, 9, 9
color funcs, 9, 9
color function names, 9
color includes, 9, 9
color le (eld), 9, 9
color le str, 9, 9
color of string, 8, 8
color strings, 8, 9, 8, 9
combinePredecessors, 4
commentsAdjacent, 13, 13
commentsBetween, 13, 13
commentVisitorClass (class), 13, 13
compare, 9, 14, 4, 9, 13, 14
compinfoOfLval, 6, 6
133