- i -

• ID() : ID< T >
• Info() : KillGenSolver< FlowSet, GenSet, KillSet, Dir >
• Init() : SymbolicObject
• InitPath() : InitPath
• Inline() : InlineHelper
• InlineHelper() : InlineHelper
• InlinerPass() : InlinerPass
• Insert() : BitSet< T, N >
• insert() : Block , Func
• insertAfter() : Block , Func
• Inst() : Inst
• Int() : Lexer
• Intersect() : BitSet< T, N >
• Is() : Annot , Expr , Global , Inst , Value
• IsBypassed() : SymbolicFrame
• IsCatchAll() : CxxLSDA
• IsCleanup() : CxxLSDA
• IsConstant() : Data , Inst , MovInst , PhiInst , Value
• IsDeref() : GraphNode
• ISel() : ISel
• IsEntry() : Func
• IsExecutable() : SCCPSolver
• IsExecuted() : SymbolicFrame
• IsExit() : DAGBlock
• IsExported() : ISel
• IsExpr() : Item
• IsFalse() : SymbolicValue
• IsLandingPad() : Block
• IsLittleEndian() : Target
• IsLocal() : Global
• IsLoopEdge() : LoopNesting
• IsNoInline() : Func
• IsPrecise() : SymbolicAddress
• IsReachable() : PointsToAnalysis
• IsRecursive() : CallGraph::Node
• IsReturn() : Inst , PhiInst
• IsRoot() : Global
• IsSatisfiable() : SATProblem
• IsSatisfiableWith() : SATProblem
• IsSet() : GraphNode
• IsShared() : Target
• IsSpace() : Item
• IsTerminator() : Inst
• IsThreadLocal() : Object
• IsTrap() : Block
• IsTrue() : SymbolicValue
• IsValid() : SymbolicFrame
• IsVarArg() : Func
• IsVoid() : Inst
• IsWeak() : Global
• IsWritable() : Data
• IsZeroed() : Data
• Item() : Item
• iterator() : CallGraph::Node::iterator , ObjectGraph::Node::iterator