---

Bandera Compound Members

_ | a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x

Here is a list of all documented class members with links to the classes they belong to:

- _ -

• _action_table : parser
• _done_parsing : lr_parser
• _error_sync_size : lr_parser
• _production_table : parser
• _reduce_table : parser
• _scanner : lr_parser

- a -

• AALOAD() : AALOAD
• AASTORE() : AASTORE
• above() : TreeNode
• ACC_ABSTRACT : ClassFile
• ACC_FINAL : ClassFile
• ACC_INTERFACE : ClassFile
• ACC_PRIVATE : ClassFile
• ACC_PROTECTED : ClassFile
• ACC_PUBLIC : ClassFile, Constants
• ACC_STATIC : ClassFile
• ACC_SUPER : ClassFile
• ACC_TRANSIENT : ClassFile
• ACC_UNKNOWN : ClassFile
• ACC_VOLATILE : ClassFile
• accept() : TABLESWITCH, SWAP, SIPUSH, SASTORE, SALOAD, RETURN, RET, PUTSTATIC, PUTFIELD, POP2, POP, NOP, NEWARRAY, NEW, MULTIANEWARRAY, MONITOREXIT, MONITORENTER, LXOR, LUSHR, LSUB, LSTORE, LSHR, LSHL, LRETURN, LREM, LOR, LOOKUPSWITCH, LNEG, LMUL, LLOAD, LDIV, LDC2_W, LDC, LCONST, LCMP, LASTORE, LAND, LALOAD, LADD, L2I, L2F, L2D, JSR_W, JSR, IXOR, IUSHR, ISUB, ISTORE, ISHR, ISHL, IRETURN, IREM, IOR, INVOKEVIRTUAL, INVOKESTATIC, INVOKESPECIAL, INVOKEINTERFACE, InstructionHandle, Instruction, INSTANCEOF, INEG, IMUL, IMPDEP2, IMPDEP1, ILOAD, IINC, IFNULL, IFNONNULL, IFNE, IFLT, IFLE, IFGT, IFGE, IFEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPLE, IF_ICMPGT, IF_ICMPGE, IF_ICMPEQ, IF_ACMPNE, IF_ACMPEQ, IDIV, ICONST, IASTORE, IAND, IALOAD, IADD, I2S, I2L, I2F, I2D, I2C, I2B, GOTO_W, GOTO, GETSTATIC, GETFIELD, FSUB, FSTORE, FRETURN, FREM, FNEG, FMUL, FLOAD, FDIV, FCONST, FCMPL, FCMPG, FASTORE, FALOAD, FADD, F2L, F2I, F2D, DUP_X2, DUP_X1, DUP2_X2, DUP2_X1, DUP2, DUP, DSUB, DSTORE, DRETURN, DREM, DNEG, DMUL, DLOAD, DDIV, DCONST, DCMPL, DCMPG, DASTORE, DALOAD, DADD, D2L, D2I, D2F, CHECKCAST, CASTORE, CALOAD, BIPUSH, BASTORE, BALOAD, ATHROW, ASTORE, ARRAYLENGTH, ARETURN, ANEWARRAY, ALOAD, ACONST_NULL, AASTORE, AALOAD, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantMethodref, ConstantLong, ConstantInterfaceMethodref, ConstantInteger, ConstantFloat, ConstantFieldref, ConstantDouble, ConstantClass, Constant, CodeException, Code, Attribute, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantMethodref, ConstantLong, ConstantInterfaceMethodref, ConstantInteger, ConstantFloat, ConstantFieldref, ConstantDouble, ConstantClass, Constant, CodeException, Code, Attribute
• access_flags : method_info, field_info, ClassFile
• access_string() : ClassFile
• AccessFlags() : AccessFlags
• accessToString() : Utility
• ACONST_NULL() : ACONST_NULL
• acquire() : WriterLock, ReaderLock
• action_obj : parser
• action_tab : lr_parser
• action_table() : lr_parser, parser
• actionId() : SpinTrans
• actionIdWithCommas() : SpinTrans
• actionPerformed() : QueryPanel
• actions : actions, TransSequence, actions, FGNode
• add() : Status, ThreadList, CFGSkel, SliceTraceNode, TransSequence, Enumerated, BoundedBuffer
• add_escapes() : ParseException
• addAction() : FGNode
• addArrayClass() : ConstantPoolGen
• addAttribute() : InstructionHandle, FieldGenOrMethodGen, ClassGen, MethodGen, FieldGen, ClassGen
• addCatchesToRemovedSet() : PostProcessOnAnnotation, PostProcess
• addCatchesToSliceSet() : PostProcessOnAnnotation, PostProcess
• addChild() : TreeNode
• addClass() : Repository, ConstantPoolGen, Repository, ConstantPoolGen
• addCodeAttribute() : MethodGen
• addConditionalContext() : SmvTrans
• addDescendent() : CFGSkel
• addDouble() : ConstantPoolGen
• addEmptyConstructor() : ClassGen
• addEntry() : DynamicMap
• addException() : Method, MethodGen
• addExceptionHandler() : MethodGen
• addField() : ClassGen, SootClass, ClassGen
• addFieldref() : ConstantPoolGen
• addFields() : TypeExtractor
• addFloat() : ConstantPoolGen
• addHandle() : InstructionHandle, BranchHandle, InstructionHandle, BranchHandle
• addImports() : Decompiler
• addInteger() : ConstantPoolGen
• addInterface() : ClassGen, SootClass, ClassGen
• addInterfaceMethodref() : ConstantPoolGen
• addLineNumber() : MethodGen
• addLocal() : BlockMap
• addLocalVariable() : MethodGen
• addLocationToCriterion() : CriterionViewer
• addLong() : ConstantPoolGen
• addMethod() : ClassGen, SootClass, ClassGen
• addMethodref() : ConstantPoolGen
• addNameAndType() : ConstantPoolGen
• addObserver() : MethodGen, InstructionList, FieldGen, ClassGen
• addParameterVariable() : Method
• addPreds() : BasicBlock
• addStatementToCriterion() : CriterionViewer
• addStmt() : BasicBlock
• addString() : ConstantPoolGen
• addSuccs() : BasicBlock
• addTargeter() : InstructionHandle
• addToWorkList() : SlicingMethod
• addTrans() : TransSystem, Location, BirTrace
• addUpdate() : SmvVar
• addUtf8() : ConstantPoolGen
• addValuePredicate() : PredicateSet
• addVarToCriterion() : CriterionViewer
• adjustBeginLineColumn() : ASCII_UCodeESC_CharStream
• adjustSize() : ConstantPoolGen
• advance_lookahead() : lr_parser
• allCalculated() : MethodCallAnalysis
• allLocalVarsOf() : SlicingMethod
• allMODREFFields() : SlicingMethod
• allocatedTokens : ClassTokenSimple, ClassTokenManaged, ClassTokenArray
• allSliceTraceNodes : Slicer
• allVarsOf() : PostProcess
• ALOAD() : ALOAD
• alreadyGenCritByReadyCallSite : SlicingMethod
• alreadyGenerateCriterionForExits : SlicingMethod
• analyser : TempExpr
• Analysis() : Analysis
• analyze() : Demo, BOFA
• analyzeCondition() : DecompilerUtil
• ANEWARRAY() : ANEWARRAY
• annotationContainsReturn() : IndexMaps
• anyChanged : ThreadInfo, Area
• append() : InstructionList
• appendPatterns() : FindPattern
• apply() : LogicalNotExpr, InExpr, HookExpr
• applyTo() : SpinTrans
• ARETURN() : ARETURN
• areValidClassFieldModifiers() : Field
• areValidClassMethodModifiers() : Method
• areValidInterfaceFieldModifiers() : Field
• areValidInterfaceMethodModifiers() : Method
• areValidModifiers() : Method, Field
• arg_b : Instruction_bytevar, Instruction_byteindex
• argCount : FGActionInvoke
• argNodes : FGActionInvoke
• args : VirtualMachine
• argsep : Instruction
• arguments : Engine
• ArithmeticInstruction() : ArithmeticInstruction
• arrayClassMap : ArrayVariantManager
• arrayIndex : ArrayVariant
• arrayIndexManager : ArrayVariantManager
• ArrayIndexManagerValueVariant() : ArrayIndexManagerValueVariant
• ArrayIndexValueVariant() : ArrayIndexManagerValueVariant::ArrayIndexValueVariant
• ArrayInstruction() : ArrayInstruction
• ARRAYLENGTH() : ARRAYLENGTH
• arrayName() : TypeExtractor
• arrayRefNode : FGActionArrayRef
• ArraySet() : ArraySet
• arrayStoreNode : FGActionArrayStore
• ArrayType() : ArrayType
• arrayType : TransSystem, ClassTokenArray
• arrayTypeToComponentType() : ClassTokenArray
• arrayVariant : FGNodeArray
• ArrayVariant() : ArrayVariant
• arrayVector : DynamicMap
• assignmentByMdCall() : MethodCallAnalysis
• assignTypesToLocals() : TypeResolver
• assToRelVars() : SlicingMethod
• assToVarsNoRelVars() : SlicingMethod
• astNodes : FGStmt, FGExpr
• ASTNodes : MethodVariant
• ASTORE() : ASTORE
• ATHROW() : ATHROW
• atomicData : ThreadInfo
• atomicLevel : KernelState
• ATTR_UNKNOWN : Constants
• attribute_length : attribute_info
• attribute_name : attribute_info
• attributes : method_info, field_info, Code_attribute, ClassFile
• attributes_count : method_info, field_info, Code_attribute, ClassFile
• atype : Instruction_Newarray

- b -

• b : exception_table_entry
• Backtrack() : VirtualMachine
• backtrackStack : VirtualMachine
• backtrackTo() : ThreadList, ThreadInfo
• BALOAD() : BALOAD
• baseIndex() : Index
• baseType : ArrayType
• baseValue : CallSite
• BasicBlock() : BasicBlock
• basicInformation() : Slicer
• BasicType() : BasicType
• BASTORE() : BASTORE
• becomes() : SmvTrans
• begin : ExceptionHandler
• beginCode : BasicBlock
• beginColumn : Token
• beginException : BasicBlock
• beginLine : Token
• below() : TreeNode
• bh_list : BranchHandle
• BIPUSH() : BIPUSH
• bitSetAndNot() : SetUtil
• bitSetToStmtSet() : SetUtil
• bla : InstructionConstants
• BLOCKLEVEL : BlockMap
• BlockMap() : BlockMap
• booleanType() : TransSystem
• BoundedBuffer() : BoundedBuffer
• branches : Instruction
• BranchInstruction() : BranchInstruction
• branchpoints() : Instruction_Tableswitch, Instruction_New, Instruction_Lookupswitch, Instruction_longbranch, Instruction_Jsr_w, Instruction_Jsr, Instruction_intbranch, Instruction_Goto_w, Instruction_Goto, Instruction_Athrow, Instruction
• bsg : TempStmt
• buchi : JPF
• build() : TempStmt, TempExpr, FGStmt, FGExpr, Analysis::RefValueSwitch, ByteCode
• buildAssertAction() : TransExtractor
• buildBodyOfFrom() : ClassFile
• buildCallGraphTree() : CallGraphDialog
• buildCallMeSiteMap() : MethodCallAnalysis
• buildCallSiteMap() : IndexMaps
• buildClassNode() : CodeBrowserPane
• buildCriterionForCurrentNode() : CriterionViewer
• buildDiffSet() : FASet
• buildInterfaceAndSuperClassMap() : Slicer
• buildJumpTargetMap() : IndexMaps
• buildLocalAssIndexMap() : IndexMaps
• buildLockPairList() : LockAnalysis
• buildMethodPDG() : MethodCallAnalysis
• buildNewInvokeExpr() : PostProcess
• buildPackageNode() : CodeBrowserPane
• buildPath() : VirtualMachine
• BuildPDG() : BuildPDG
• buildPDG() : Slicer
• buildPrintAction() : TransExtractor
• buildThread() : Builder
• buildTransExpr() : SmvTrans
• ByteCode() : ByteCode
• bytes : CONSTANT_Utf8_info, CONSTANT_Integer_info, CONSTANT_Float_info
• byteToShort() : Utility

- c -

• c : Utf8_Enumeration
• calculateLength() : Code
• calculateLocalsFor() : CriterionViewer
• calculateSlicePoint() : CriterionViewer
• calculateSliceStatements() : CriterionViewer
• callback() : VInvokeCallBack, CallBack
• callbackReg : BOFA
• CallBackRegistry() : CallBackRegistry
• callerIsRelevant() : SlicingMethod
• callerPop() : ThreadInfo
• callerSootMethod : CallSite
• CallGraphDialog() : CallGraphDialog
• calls : Instruction
• callSiteIndex() : SlicingMethod
• callSiteInSlice() : SlicingMethod, PostProcessOnAnnotation, PostProcess
• callSiteMap : IndexMaps, BuildPDG
• callStmt : CallSite
• callVInvoke() : CallBackRegistry
• CALOAD() : CALOAD
• cancelInitValue() : FieldGen
• canLock() : Monitor
• caseAddExpr() : FGExpr
• caseAndExpr() : FGExpr
• caseArray() : SmvTypeDecl
• caseArrayExpr() : SpinTrans, SmvTrans
• caseArrayRef() : TempExpr, FGExpr, Analysis::RefValueSwitch
• caseAssertAction() : SpinTrans
• caseAssignAction() : SpinTrans, BirState
• caseAssignStmt() : DecompilerStmtSwitch, TempStmt, FGStmt
• caseBlockStmtAnnotation() : DecompilerSwitch
• caseBool() : SmvTypeDecl
• caseBreakpointStmt() : DecompilerStmtSwitch
• caseBreakStmtAnnotation() : DecompilerSwitch
• caseCastExpr() : FGExpr
• caseCatchAnnotation() : DecompilerSwitch
• caseCaughtExceptionRef() : FGExpr
• caseChooseExpr() : SpinTrans, SmvTrans, DecompilerValueSwitch, AbstractBanderaValueSwitch, FGExpr, ExprExtractor
• caseClassDeclarationAnnotation() : DecompilerSwitch
• caseCmpExpr() : FGExpr
• caseCmpgExpr() : FGExpr
• caseCmplExpr() : FGExpr
• caseCollection() : SmvTypeDecl
• caseComplementExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseConstructorDeclarationAnnotation() : DecompilerSwitch
• caseContinueStmtAnnotation() : DecompilerSwitch
• caseDefinitionStmt() : TransExtractor
• caseDerefExpr() : SpinTrans, SmvTrans
• caseDivExpr() : SpinTrans, FGExpr
• caseDoubleConstant() : FGExpr
• caseDoWhileStmtAnnotation() : DecompilerSwitch
• caseEmptyStmtAnnotation() : DecompilerSwitch
• caseEnterMonitorStmt() : DecompilerStmtSwitch, FGStmt, TransExtractor
• caseEnumerated() : SmvTypeDecl
• caseEqExpr() : FGExpr
• caseExitMonitorStmt() : DecompilerStmtSwitch, FGStmt, TransExtractor
• caseExpStmtAnnotation() : DecompilerSwitch
• caseField() : SmvTypeDecl
• caseFieldDeclarationAnnotation() : DecompilerSwitch
• caseFloatConstant() : FGExpr
• caseForStmtAnnotation() : DecompilerSwitch
• caseGeExpr() : FGExpr
• caseGotoStmt() : DecompilerStmtSwitch, TempStmt, TransExtractor
• caseGtExpr() : FGExpr
• caseIdentityStmt() : DecompilerStmtSwitch, TempStmt, FGStmt
• caseIfStmt() : DecompilerStmtSwitch, TempStmt, FGStmt, TransExtractor
• caseIfStmtAnnotation() : DecompilerSwitch
• caseInExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseInstanceFieldRef() : TempExpr, FGExpr, Analysis::RefValueSwitch
• caseInstanceInitializerAnnotation() : DecompilerSwitch
• caseInstanceOfExpr() : SpinTrans, SmvTrans, FGExpr
• caseIntConstant() : FGExpr
• caseInterfaceInvokeExpr() : TempExpr, FGExpr
• caseInvokeStmt() : DecompilerStmtSwitch, TempStmt, FGStmt, TransExtractor
• caseLabeledStmtAnnotation() : DecompilerSwitch
• caseLeExpr() : FGExpr
• caseLengthExpr() : SpinTrans, SmvTrans, FGExpr
• caseLocal() : TempExpr, FGExpr, Analysis::RefValueSwitch
• caseLocalDeclarationStmtAnnotation() : DecompilerSwitch
• caseLocalExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseLocationTestExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseLock() : SmvTypeDecl
• caseLockAction() : SpinTrans
• caseLockTest() : SpinTrans, SmvTrans
• caseLogicalAndExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseLogicalOrExpr() : AbstractBanderaValueSwitch, AbstractBanderaExprSwitch, FGExpr, ExprExtractor
• caseLongConstant() : FGExpr
• caseLookupSwitchStmt() : DecompilerStmtSwitch, TempStmt, TransExtractor
• caseLtExpr() : FGExpr
• caseMethodDeclarationAnnotation() : DecompilerSwitch
• caseMulExpr() : FGExpr
• caseNeExpr() : FGExpr
• caseNegExpr() : FGExpr
• caseNewArrayExpr() : SpinTrans, SmvTrans, FGExpr
• caseNewExpr() : SpinTrans, SmvTrans, FGExpr
• caseNewMultiArrayExpr() : FGExpr
• caseNopStmt() : DecompilerStmtSwitch
• caseNullConstant() : FGExpr
• caseOrExpr() : FGExpr
• caseParameterRef() : TempExpr, FGExpr, Analysis::RefValueSwitch
• casePrintAction() : SpinTrans
• caseRange() : SmvTypeDecl
• caseRecord() : SmvTypeDecl
• caseRecordExpr() : SpinTrans, SmvTrans
• caseRef() : SmvTypeDecl
• caseRemExpr() : FGExpr
• caseRetStmt() : DecompilerStmtSwitch
• caseReturnStmt() : DecompilerStmtSwitch, TempStmt, FGStmt
• caseReturnStmtAnnotation() : DecompilerSwitch
• caseReturnVoidStmt() : DecompilerStmtSwitch
• caseSequentialAnnotation() : DecompilerSwitch
• caseShlExpr() : FGExpr
• caseShrExpr() : FGExpr
• caseSpecialInvokeExpr() : TempExpr, FGExpr
• caseStaticFieldRef() : TempExpr, FGExpr, Analysis::RefValueSwitch
• caseStaticInitializerAnnotation() : DecompilerSwitch
• caseStaticInvokeExpr() : FGExpr
• caseStringConstant() : FGExpr
• caseSubExpr() : FGExpr
• caseSuperConstructorInvocationStmtAnnotation() : DecompilerSwitch
• caseSwitchStmtAnnotation() : DecompilerSwitch
• caseSynchronizedStmtAnnotation() : DecompilerSwitch
• caseTableSwitchStmt() : DecompilerStmtSwitch, TempStmt, TransExtractor
• caseThisConstructorInvocationStmtAnnotation() : DecompilerSwitch
• caseThisRef() : TempExpr, FGExpr, Analysis::RefValueSwitch
• caseThreadAction() : SpinTrans
• caseThreadLocTest() : SpinTrans
• caseThreadTest() : SpinTrans
• caseThrowStmt() : DecompilerStmtSwitch, FGStmt
• caseThrowStmtAnnotation() : DecompilerSwitch
• caseTryFinallyStmtAnnotation() : DecompilerSwitch
• caseTryStmtAnnotation() : DecompilerSwitch
• caseUshrExpr() : FGExpr
• caseVirtualInvokeExpr() : TempExpr, FGExpr
• caseWhileStmtAnnotation() : DecompilerSwitch
• caseXorExpr() : FGExpr
• CASTORE() : CASTORE
• cat : VInvokeCallBack, Util, TempStmt, MethodVariantManager, MethodVariant, FGStmt, FGExpr, FGActionInvoke, FA, Demo, ClassTokenSimple, CallBackRegistry, Analysis
• catch_type : exception_table_entry
• cdAnalysisForReturnOfInit() : BuildPDG
• cdAnalysisForStmtsInCatch() : BuildPDG
• CFG() : CFG
• cfg : method_info, CFG
• CFGSkel() : CFGSkel
• changePreds() : BasicBlock
• changeReturnTypeToVoidMds : PostProcessOnAnnotation, PostProcess
• changeStateFromDepend() : DependencyValueViewer
• changeStateFromDependValue() : DependencyValueViewer
• changeStateFromEmpty() : DependencyValueViewer
• changeStateFromEmptyTo() : DependencyValueViewer
• changeStateFromValue() : DependencyValueViewer
• changeStateFromValueDepend() : DependencyValueViewer
• changeSuccs() : BasicBlock
• changeTarget() : PostProcess
• changeViewerState() : DependencyValueViewer
• checkAssign() : SmvTrans
• CHECKCAST() : CHECKCAST
• checkCode() : CodeConstraint
• checkForStatics() : Builder
• checkOneMdForInsFdsNotInCurrentClass() : InterClassAnalysis
• checkOneMethod() : InterClassAnalysis
• children : TreeNode, SliceTraceNode
• ChooseExpr() : ChooseExpr
• ci : FieldInfo, MethodInfo, Fields
• Class2HTML() : Class2HTML
• CLASS_CIRCULARITY_ERROR : ExceptionConstants
• class_index : CONSTANT_Methodref_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Fieldref_info, ConstantCP
• classes : DeadlockRelatedCriterion
• ClassFile() : ClassFile
• ClassGen() : ClassGen
• classHierarchy : TypeResolver
• classHierarchyHashtable : ClassHierarchy
• ClassInfo() : ClassInfo
• classInfoList : Slicer, PreProcess
• classList : PostProcessOnAnnotation, PostProcess, InterClassAnalysis
• classManager : FA, ClassHierarchy
• classMap : ValueVariantManager
• classname : VirtualMachine
• classNum : Slicer
• classOrInterface() : Utility
• ClassParser() : ClassParser
• ClassPath() : ClassPath
• classToken : ValueVariant
• classTokenArray : ArrayVariant
• ClassTokenArray() : ClassTokenArray
• ClassTokenManaged() : ClassTokenManaged
• ClassTokenSimple() : ClassTokenSimple
• classVector : DynamicMap
• clear() : WorkList, BBQ
• clearBit() : Utility
• clearCache() : Repository
• clearOperandStack() : ThreadInfo
• clone() : Monitor, Fields, CaseNode, Attribute
• cloneAndChangeBase() : BuildPDG
• code : MethodInfo, Instruction, Code_attribute
• Code : Code, attribute_info
• code_length : Code_attribute
• CodeBrowserPane() : CodeBrowserPane
• CodeException() : CodeException
• CodeExceptionGen() : CodeExceptionGen
• codeIndex : ValueIndexManagerAlloc::ValueIndexAlloc
• CodeIndexAlloc() : CodeIndexManagerAlloc::CodeIndexAlloc
• codeIndexManager : ValueVariantManager
• CodeIndexManagerAlloc() : CodeIndexManagerAlloc
• codeToHTML() : CodeHTML
• codeToString() : Utility
• collapse() : BlockMap
• collapseStronglyConnectedComponents() : TypeResolver
• collect() : Analysis::RefValueSwitch
• collectCallSitesFrom() : SlicingMethod
• collectCallSitesMdInfoFrom() : SlicingMethod
• collectCases() : SmvCaseExpr
• collectFieldReferences() : IndexMaps
• collectInstanceFieldDefStmt() : BuildPDG
• COLLECTION_SIZE : Builder
• collectionType() : TransSystem
• collectOriginalMethods() : Slicer
• collectPossibleReadyDependCallSite() : MethodCallAnalysis
• collectReachableMethods() : Slicer
• collectReturnAnnotations() : IndexMaps
• collectSpecialInvokes() : IndexMaps
• collectTable : DynamicMap
• collectVarsDefined() : BuildPDG
• collectWaitNotifyStmt() : LockAnalysis
• combineStrings() : Util
• commonTokens : FGExpr
• compactClassName() : Utility
• compare() : Analysis::classComparator
• compareTo() : cp_info, CONSTANT_Utf8_info, CONSTANT_String_info, CONSTANT_NameAndType_info, CONSTANT_Methodref_info, CONSTANT_Long_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Integer_info, CONSTANT_Float_info, CONSTANT_Fieldref_info, CONSTANT_Double_info, CONSTANT_Class_info
• compile() : BOFA, Instruction_Tableswitch, Instruction_noargs, Instruction_Newarray, Instruction_Multianewarray, Instruction_Lookupswitch, Instruction_longbranch, Instruction_Invokeinterface, Instruction_intvar, Instruction_intindex, Instruction_intbranch, Instruction_int, Instruction_Iinc, Instruction_bytevar, Instruction_byteindex, Instruction_byte, Instruction
• completeTrans() : BirState
• componentToArrayType() : ClassTokenArray
• compose() : ExprNode, CaseNode
• computeImmedDom() : BuildPDG
• computeTargetType() : Ref
• conditionInconsistent() : CaseNode
• conditionRedundant() : CaseNode
• connEtoC1() : ViewerTabbedPane, QueryPanel, DependencyValueViewer, CriterionViewer, CodeBrowserPane, CallGraphDialog
• connEtoC2() : QueryPanel, DependencyValueViewer, CriterionViewer, CallGraphDialog
• connEtoC3() : QueryPanel, DependencyValueViewer, CriterionViewer, CodeBrowserPane
• connEtoC4() : DependencyValueViewer, CriterionViewer, CodeBrowserPane
• connEtoC5() : CriterionViewer
• connEtoC6() : CriterionViewer
• connEtoC7() : CriterionViewer
• connEtoC8() : CriterionViewer
• connEtoC9() : CriterionViewer
• connEtoM1() : DependencyValueViewer, CallGraphDialog
• connEtoM1_ABoolean() : DependencyValueViewer
• constant_pool : ClassFile
• constant_pool_count : ClassFile
• CONSTANT_Utf8 : Constants
• ConstantClass() : ConstantClass
• ConstantCP() : ConstantCP
• ConstantDouble() : ConstantDouble
• ConstantFieldref() : ConstantFieldref
• ConstantFloat() : ConstantFloat
• ConstantInteger() : ConstantInteger
• ConstantInterfaceMethodref() : ConstantInterfaceMethodref
• ConstantLong() : ConstantLong
• ConstantMethodref() : ConstantMethodref
• ConstantNameAndType() : ConstantNameAndType
• ConstantPool() : ConstantPool
• ConstantPoolGen() : ConstantPoolGen
• ConstantString() : ConstantString
• constantToString() : ConstantPool
• ConstantUtf8() : ConstantUtf8
• ConstantValue : ConstantValue, attribute_info
• constantvalue_index : ConstantValue_attribute
• constClassMap : ValueVariantManager
• constraintCollector : TypeResolver
• CONSUME_STACK : Constants
• consumeStack() : StackConsumer, PUTSTATIC, PUTFIELD, MULTIANEWARRAY, INVOKEINTERFACE, InvokeInstruction, Instruction, PUTSTATIC, PUTFIELD, MULTIANEWARRAY, INVOKEINTERFACE, InvokeInstruction, Instruction
• contains() : GenericSet, BBQ
• containsField() : InterClassAnalysis, ClassGen
• containsLoc() : TransSequence
• containsMethod() : ClassGen
• containsTarget() : Select, LocalVariableGen, CodeExceptionGen, BranchInstruction, Select, LocalVariableGen, CodeExceptionGen, BranchInstruction
• controlDependAnalysis() : BuildPDG
• controlNodesOf() : BuildPDG
• controlSuccNodesOf() : BuildPDG
• ConversionInstruction() : ConversionInstruction
• convert() : Util, CONSTANT_Utf8_info, CONSTANT_Long_info, CONSTANT_Float_info, CONSTANT_Double_info
• convertModifiers() : Util
• convertString() : ConstantValue
• convertType() : Util
• copy() : BirState, InstructionList, Instruction, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantPool, Constant, CodeException, Code, Attribute, InstructionList, Instruction, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantPool, Constant, CodeException, Code, Attribute
• copy_() : FieldOrMethod
• countArrayDimensions() : Util
• countFields() : Fields
• countParams() : cp_info
• countStackFrames() : ThreadInfo
• CPInstruction() : CPInstruction
• createAndThrowException() : ThreadInfo
• createArrayLoad() : InstructionFactory
• createArrayStore() : InstructionFactory
• createArrayType() : TypeExtractor
• createBinaryOperation() : InstructionFactory
• createBranchInstruction() : InstructionFactory
• createCast() : InstructionFactory
• createClassFields() : ClassInfo
• createCollections() : Builder
• createCollectionType() : TypeExtractor
• createDup() : InstructionFactory
• createDup_1() : InstructionFactory
• createDup_2() : InstructionFactory
• createFieldAccess() : InstructionFactory
• createInvoke() : InstructionFactory
• createListSelectionListener() : JTreeTable::ListToTreeSelectionModelWrapper
• createLoad() : InstructionFactory
• createMainThread() : ClassInfo
• createMethod() : BlockMap
• createMethodStackFrame() : ThreadInfo
• createName() : TransSystem
• createNewArray() : InstructionFactory
• createNull() : InstructionFactory
• createObjectFields() : ClassInfo
• createPop() : InstructionFactory
• createRecordAndArrayTypes() : Builder
• createRecordType() : TypeExtractor
• createRefType() : TypeExtractor
• createRefTypes() : Builder
• createReturn() : InstructionFactory
• createStore() : InstructionFactory
• createThis() : InstructionFactory
• createThread() : TransSystem
• createTransSystem() : Builder
• CriterionViewer() : CriterionViewer
• ctrlRelVarCompute() : SlicingMethod
• cur_err_token() : lr_parser
• cur_token : lr_parser
• currentMethod : TypeResolver
• currentToken : ParseException
• cuttingTreeWRT() : QueryPanel

- d -

• D2F() : D2F
• D2I() : D2I
• D2L() : D2L
• da : KernelState
• DADD() : DADD
• DALOAD() : DALOAD
• DASTORE() : DASTORE
• data : ThreadInfo, KernelState, Area
• DataBox() : DataBox
• dataBoxesContains() : BuildPDG
• dataDependAnalysis() : BuildPDG
• dataDependOfInstanceFieldRef() : BuildPDG
• dataDependOfStaticFieldRef() : BuildPDG
• dataNodesOf() : BuildPDG
• dataRelVarCompute() : SlicingMethod
• dataSuccNodesOf() : BuildPDG
• DCONST() : DCONST
• ddForArray() : BuildPDG
• ddForParameters() : BuildPDG
• ddForStaticAndInstanceFd() : BuildPDG
• DDIV() : DDIV
• DeadlockRelatedCriterion() : DeadlockRelatedCriterion
• deadlockRelatedInvokes : DeadlockRelatedCriterion
• debug : ClassFile
• debug_message() : lr_parser
• debug_parse() : lr_parser
• debug_reduce() : lr_parser
• debug_shift() : lr_parser
• debug_stack() : lr_parser
• declareClassGlobals() : Builder
• declareGlobals() : Builder
• declarePredicate() : TransSystem
• declarePredicates() : Builder
• declaresField() : SootClass
• declaresMethod() : SootClass
• declareVar() : SmvTrans, Builder, TransSystem
• declareVariables() : SmvTrans
• declClass : VInvokeCallBack
• decodeString() : Util
• decompile() : Decompiler
• Decompiler() : Decompiler
• DecompilerField() : DecompilerField
• DecompilerPrinter() : DecompilerPrinter
• DecompilerStmtSwitch() : DecompilerStmtSwitch
• defaultCase() : DecompilerStmtSwitch, TempStmt, TempExpr, FGStmt, FGExpr, Analysis::RefValueSwitch
• DefaultVisitor() : DefaultVisitor
• define() : TransSystem
• definitions() : SpinTrans, SmvTrans
• DEFS : Analysis
• defsNotPreserves() : BuildPDG
• defVarsOf() : SlicingMethod
• delayedFireTableDataChanged() : TreeTableModelAdapter
• delete() : InstructionList
• delta : Area
• dependency() : BuildPDG
• dependencyTree_MouseClicked() : DependencyValueViewer
• dependencyTree_TreeSelectionEvents() : DependencyValueViewer
• DependencyValueViewer() : DependencyValueViewer
• dependOnMonitorPairs() : LockAnalysis
• dependOnMonitors() : LockAnalysis
• dependOnMonitorSet() : LockAnalysis
• Deprecated() : Deprecated
• DESC_ARRAY : ClassFile
• DESC_BOOLEAN : ClassFile
• DESC_BYTE : ClassFile
• DESC_CHAR : ClassFile
• DESC_DOUBLE : ClassFile
• DESC_FLOAT : ClassFile
• DESC_INT : ClassFile
• DESC_LONG : ClassFile
• DESC_OBJECT : ClassFile
• DESC_SHORT : ClassFile
• DESC_VOID : ClassFile
• descendsFrom() : ClassFile
• descriptor_index : method_info, local_variable_table_entry, field_info, CONSTANT_NameAndType_info
• dest : FGWork
• difference() : GenericSet
• disassemble_bytecode() : ByteCode
• display() : ClassTokenManaged
• dispose() : Select, InstructionList, InstructionHandle, Instruction, BranchInstruction, Select, InstructionList, InstructionHandle, Instruction, BranchInstruction
• distributeToMdInfo() : MethodCallAnalysis
• divergenceDependenceAnalysis() : BuildPDG
• divergenceMap : BuildPDG
• DLOAD() : DLOAD
• DMUL() : DMUL
• do_action() : lr_parser, parser, actions, parser, actions
• doAction() : FGActionInvoke, FGActionArrayStore, FGActionArrayRef, FGAction
• domination() : BuildPDG
• done : BirTrace, BasicBlock
• done_parsing() : lr_parser
• doWork() : WorkList, FGWorkSendVals, FGWork
• DraggableHierTree() : DraggableHierTree
• DraggableMethodTree() : DraggableMethodTree
• DraggableVariablesList() : DraggableVariablesList
• dragGestureRecognized() : DraggableVariablesList
• dRefs : ClassInfo
• DREM() : DREM
• DRETURN() : DRETURN
• DroppableLocationsList() : DroppableLocationsList
• DroppableStatementsList() : DroppableStatementsList
• DroppableVariablesList() : DroppableVariablesList
• DSTORE() : DSTORE
• DSUB() : DSUB
• dump : ClassTokenManaged, TABLESWITCH, SIPUSH, Select, RET, NEWARRAY, MULTIANEWARRAY, LOOKUPSWITCH, LocalVariableInstruction, LDC, JSR_W, JSR, INVOKEINTERFACE, Instruction, IINC, GOTO_W, GOTO, CPInstruction, BranchInstruction, BIPUSH, Unknown, Synthetic, SourceFile, Signature, PMGClass, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, FieldOrMethod, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, ConstantCP, ConstantClass, CodeException, Code, Attribute, TABLESWITCH, SIPUSH, Select, RET, NEWARRAY, MULTIANEWARRAY, LOOKUPSWITCH, LocalVariableInstruction, LDC, JSR_W, JSR, INVOKEINTERFACE, Instruction, IINC, GOTO_W, GOTO, CPInstruction, BranchInstruction, BIPUSH, Unknown, Synthetic, SourceFile, Signature, PMGClass, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, FieldOrMethod, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, ConstantCP, ConstantClass, CodeException, Code, Attribute, BOFA
• dump_stack() : lr_parser
• dumpFile() : BOFA
• dumpJimpleCode() : Slicer
• dup() : ThreadInfo
• dup2() : ThreadInfo
• dup2_x1() : ThreadInfo
• dup2_x2() : ThreadInfo
• dup_x1() : ThreadInfo
• dup_x2() : ThreadInfo
• dynamicFieldIndex() : ClassInfo
• dynamicFields : ClassInfo
• dynamicMethods : ClassInfo

- e -

• elements : InstructionList, Area
• empty() : virtual_parse_stack
• emptyBitSet() : SetUtil
• emptyBitSetWithLength() : SetUtil
• emptyBody() : PostProcessOnAnnotation, PostProcess
• emptyList : Util
• emptySliceCriterion() : PreProcess
• encodeString() : Util
• end : ExceptionHandler
• end_inst : exception_table_entry
• end_pc : exception_table_entry
• endColumn : Token
• endLine : Token
• enterSoftAtomic() : ThreadInfo
• enumeratedType() : TransSystem
• EOF_sym() : lr_parser, parser
• eol : ParseException
• equals() : Ref, Monitor, Fields, CFGSkel::node, Type, ChooseExpr, Analysis::ExprStmtMethodTriple, Analysis::StmtMethodPair, Ref, Record, Range, Field, Enumerated, Bool, Array, ObjectType, LocalVariableGen, BasicType, ArrayType, Collection, Instruction, CONSTANT_Utf8_info, BasicBlock, ArrayType, Lock, Ref, ObjectType, LocalVariableGen, ArrayType
• error_recovery() : lr_parser
• error_sym() : lr_parser, parser
• error_sync_size() : lr_parser
• ErrorBackward() : VirtualMachine
• ErrorForward() : VirtualMachine
• ErrorInit() : VirtualMachine
• errorPath : VirtualMachine
• ErrorPathLength() : VirtualMachine
• exception_index_table : Exception_attribute
• exception_table : Code_attribute
• exception_table_length : Code_attribute
• ExceptionHandler() : ExceptionHandler
• exceptions : MethodInfo
• Exceptions : attribute_info
• ExceptionTable() : ExceptionTable
• EXCS_CLASS_AND_INTERFACE_RESOLUTION : ExceptionConstants
• executeAtomicLinesStep() : ThreadInfo
• executeInstruction() : ThreadInfo
• executeMethod() : ThreadInfo, ClassInfo
• executeNoAtomicLinesStep() : ThreadInfo
• executeStaticMethod() : ThreadInfo, ClassInfo
• executeStep() : ThreadInfo
• executingPath : VirtualMachine
• exitMonitors : MonitorPair
• exitMonitorsIn() : LockAnalysis
• exitNodes : IndexMaps, BuildPDG
• exitNodesNoThrow : BuildPDG
• exitNodesWithoutThrow() : IndexMaps
• expandAndCollapseFrom() : DependencyValueViewer
• expectedModCount : RefHashTable::Enumerator
• expectedTokenSequences : ParseException
• expr : ValueVariant, TempStmt, Analysis::ExprStmtMethodTriple
• ExprStmtMethodTriple() : Analysis::ExprStmtMethodTriple
• extracting() : PreProcess
• extractingAssertLine() : SlicingMethod
• extractingForDL() : PreProcess
• extractingVarsInAssert() : SlicingMethod
• extractRelVarMapFromCriterion() : PreProcess
• extractSliceInterestForDL() : DeadlockRelatedCriterion
• extractSliceInterestFromMethod() : DeadlockRelatedCriterion

- f -

• F2D() : F2D
• F2I() : F2I
• F2L() : F2L
• FADD() : FADD
• fairness() : SmvTrans
• FALOAD() : FALOAD
• FASet() : FASet
• FASTORE() : FASTORE
• FCONST() : FCONST
• FDIV() : FDIV
• FGActionArrayRef() : FGActionArrayRef
• FGActionArrayStore() : FGActionArrayStore
• FGActionInvoke() : FGActionInvoke
• fgExpr : FGStmt
• FGExpr() : FGExpr
• FGNode() : FGNode
• FGNodeArray() : FGNodeArray
• FGNodeAST() : FGNodeAST
• FGNodeField() : FGNodeField
• FGNodeParameter() : FGNodeParameter
• FGNodeThis() : FGNodeThis
• fgStmt : MethodVariant
• FGStmt() : FGStmt
• FGWorkSendVals() : FGWorkSendVals
• field : FGNodeField
• Field() : Field
• FieldGen() : FieldGen
• FieldInfo() : FieldInfo
• FieldInstruction() : FieldInstruction
• fieldMap : StaticFieldManager
• fieldName() : ClassFile
• FieldOrMethod() : FieldOrMethod
• fieldRefToField() : PostProcessOnAnnotation, PostProcess
• fieldRefToSootField() : BuildPDG
• Fields() : Fields
• fields : ClassFile
• fields_count : ClassFile
• fieldType() : cp_info
• fillup() : Utility
• filterOutFields() : PostProcessOnAnnotation, PostProcess
• find() : CFGSkel
• find_recovery_config() : lr_parser
• findComponentAt() : ViewerTabbedPane
• findConstantValue_attribute() : field_info
• findDeclaringMethod() : MethodVariantManager
• findGotos() : CodeHTML
• findHandle() : InstructionList
• findInstruction1() : InstructionList
• findInstruction2() : InstructionList
• findLocalAssign() : SmvTrans
• findLocalVariableTable() : Code_attribute
• findMethod() : ClassFile
• FindPattern() : FindPattern
• fixDescendants() : ClassHierarchy::TypeNode
• flattenStmts() : DecompilerUtil
• FLOAD() : FLOAD
• flush() : JimpleLiteralPrinter
• FMUL() : FMUL
• fn : ClassFile
• format() : Utility
• Forward() : VirtualMachine
• frame() : ThreadInfo
• frameClone() : ThreadInfo
• FREM() : FREM
• FRETURN() : FRETURN
• fromLoc() : TransSequence
• FSTORE() : FSTORE
• FSUB() : FSUB

- g -

• GCRuns : Status
• GCs : Status
• generateNewCriterion() : SlicingMethod
• generateNewCriterionForCaller() : SlicingMethod
• GenericSet() : GenericSet
• genNewCritForExit() : SlicingMethod
• get() : TreeNode, Tree, ThreadList, BasicBlock, StaticFieldManager
• get_action() : lr_parser
• get_from_real() : virtual_parse_stack
• get_reduce() : lr_parser
• getAccessFlags() : AccessFlags
• getActions() : FGNode
• getActualLock() : LockAnalysis
• getAllClassesFor() : PostProcessOnAnnotation
• getAllocsOfClass() : DynamicMap
• getAllPackages() : PostProcessOnAnnotation
• getAllVariables() : SlicingMethod
• getAllVarsOf() : PostProcessOnAnnotation, PostProcess
• getArgumentsSize() : MethodInfo
• getArgumentTypes() : Type, InvokeInstruction, Type, InvokeInstruction
• getArrayType() : ClassTokenArray, TypeExtractor
• getArrayVariant() : FGNodeArray
• getASTNode() : MethodVariant
• getASTNodes() : MethodVariant
• getASTValues() : MethodVariant
• getAttribute() : InstructionHandle
• getAttributes() : FieldGenOrMethodGen, JavaClass, FieldOrMethod, Code, MethodGen, FieldGen, JavaClass, FieldOrMethod, Code
• getBacktrackData() : ThreadList, ThreadInfo
• getBaseFrom() : SlicingMethod
• getBaseValueFrom() : MethodCallAnalysis
• getBasicType() : ArrayType
• getBegin() : ExceptionHandler
• getByteCode() : InstructionList
• getBytes() : ClassPath, Unknown, Synthetic, JavaClass, Deprecated, ConstantUtf8, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, ClassPath, Unknown, Synthetic, JavaClass, Deprecated, ConstantUtf8, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble
• getCalleeThis() : ThreadInfo
• getCallGraphDialogContentPane() : CallGraphDialog
• getCallGraphToolBar() : CallGraphDialog
• getCallGraphTree() : CallGraphDialog
• getCallGraphTreeScrollPane() : CallGraphDialog
• getCallSiteMap() : IndexMaps
• getCanonicalArrayTypeInstance() : ClassTokenArray
• getCanonicalTag() : LocalVariableInstruction
• getCatchType() : CodeException
• getCdMap() : BuildPDG
• getCellEditor() : JTreeTable
• getCellRenderer() : JTreeTable
• getChoices() : ChooseExpr
• getClass() : SootClassManager
• getClasses() : ValueVariantManager
• getClassFile() : ClassPath
• getClassHierarchy() : ClassHierarchy
• getClassIndex() : ConstantCP
• getClassInfo() : ThreadInfo, MethodInfo, Fields, ClassInfo
• getClassname() : cp_info
• getClassName() : ObjectType, MethodGen, FieldOrMethod, JavaClass, ObjectType, FieldOrMethod, JavaClass
• getClassNameIndex() : JavaClass
• getClassToken() : ValueVariant
• getClassTokens() : ArrayVariantManager
• getClassType() : FieldOrMethod
• getCode() : Method, Code, Method, Code
• getCodeAttributes() : MethodGen
• getCodeException() : CodeExceptionGen
• getCodeExceptions() : MethodGen
• getCodeSplitPane() : CodeBrowserPane
• getCollectionArray() : DynamicMap
• getCollectionClass() : DynamicMap
• getCollectionSize() : DynamicMap
• getColumn() : ASCII_UCodeESC_CharStream
• getColumnClass() : TreeTableModel, AbstractTreeTableModel
• getColumnCount() : TreeTableModel
• getColumnName() : TreeTableModel
• getCompleteLocalCopiesList() : SlicingMethod
• getCompleteName() : MethodInfo
• getConditionalStmtFrom() : BuildPDG
• getConstant() : ConstantPoolGen, ConstantPool, ConstantPoolGen, ConstantPool
• getConstantPool() : ConstantPoolGen, LocalVariable, JavaClass, FieldOrMethod, ConstantPool, Attribute, ConstantPoolGen, LocalVariable, JavaClass, FieldOrMethod, ConstantPool, Attribute
• getConstants() : Enumerated
• getConstantString() : ConstantPool
• getConstantValue() : Field
• getConstantValueIndex() : ConstantValue
• getCopiesOfTheBase() : SlicingMethod
• getCounterExample() : SpinTrans, SmvTrans, DSpinTrans
• getCriterionViewer() : ViewerTabbedPane
• getCurrentResidualClasses() : PostProcessOnAnnotation
• getDdMap() : BuildPDG
• getDeclaringClass() : Util
• getDeclaringClassOrInterface() : Method, Field
• getDefaultValue() : DecompilerField
• getDefinedPredicates() : PredicateSet
• getDefinition() : TransSystem
• getDefs() : Analysis
• getDefSetFrom() : IndexMaps
• getDefsOrUses() : Analysis
• getDependencyLabel() : DependencyValueViewer
• getDependencyPanel() : DependencyValueViewer
• getDependencyTree() : DependencyValueViewer
• getDependScrollPane() : DependencyValueViewer
• getDependValueSplitPane() : DependencyValueViewer
• getDependVar() : DataBox
• getDimensions() : MULTIANEWARRAY, ArrayType, MULTIANEWARRAY, ArrayType
• getDivergenceMap() : BuildPDG
• getDynamicField() : ClassInfo
• getDynamicFieldName() : ClassInfo
• getDynamicMethod() : ClassInfo
• getElementType() : ArrayType
• getEnd() : ExceptionHandler, InstructionList
• getEndPC() : CodeException
• getEnumeratedSize() : Enumerated
• getErrorTrail() : VirtualMachine
• getErrorTrail1() : VirtualMachine
• getErrorTrail_from_file() : VirtualMachine
• getExceptionIndexTable() : ExceptionTable
• getExceptionNames() : ExceptionTable
• getExceptions() : Method, IREM, IDIV, CHECKCAST, ATHROW, ARRAYLENGTH
• getExceptionTable() : MethodGen, Method, Code, MethodGen, Method, Code
• getExpr() : ValueVariant, Analysis::ExprStmtMethodTriple
• getField() : Fields, InstanceVariant, FGNodeField, FieldGen, SootClass, FieldGen
• GETFIELD() : GETFIELD
• getFieldCount() : SootClass
• getFieldName() : Fields, FieldInstruction
• getFields() : InstanceVariantManager, ClassLiteral, JavaClass, SootClass, JavaClass
• getFieldSize() : FieldInstruction
• getFieldType() : FieldInstruction
• getFieldValue() : ClassLiteral
• getFileName() : JavaClass
• getFinalBlocks() : BlockMap
• getFinalConstantPool() : ConstantPoolGen
• getFullName() : MethodInfo
• getFullyQualifiedName() : Type, ArrayType
• getGoOn() : BasicBlock
• getHandler() : ExceptionHandler
• getHandlerPC() : CodeException
• getHandlerStmtSet() : BuildPDG
• getHierTree() : CodeBrowserPane
• getHierTreeScrollPane() : CodeBrowserPane
• getId() : ClassLiteral, ArrayLiteral, ClassHierarchy::TypeNode
• getImplementedMd() : IndexMaps
• getImplementingClassByBOFA() : IndexMaps
• getIncrement() : IINC
• getIndex() : BasicBlock, ValueVariant, RET, LocalVariableInstruction, IINC, CPInstruction, BranchInstruction, LocalVariable, RET, LocalVariableInstruction, IINC, CPInstruction, BranchInstruction, LocalVariable
• getIndices() : Select
• getInit() : BlockMap
• getInnerAccessFlags() : InnerClass
• getInnerClasses() : InnerClasses
• getInnerClassIndex() : InnerClass
• getInnerNameIndex() : InnerClass
• getInputStream() : ClassPath
• getInsertIndexOf() : DependencyValueViewer
• getInstanceDefIndexOf() : BuildPDG
• getInstanceFieldDefStmtList() : BuildPDG
• getInstanceFieldRef() : PreProcess
• getInstanceIndex() : InstanceVariant
• getInstruction() : MethodInfo
• getInstructionAt() : MethodInfo
• getInstructionHandle() : InstructionHandle
• getInstructionHandles() : InstructionList
• getInstructionList() : FindPattern
• getInstructionPositions() : InstructionList
• getInstructions() : MethodInfo, InstructionList
• getInt() : Instruction
• getInterfaceClasses() : TypeExtractor
• getInterfaceCount() : SootClass
• getInterfaceNames() : JavaClass
• getInterfaces() : DynamicMap, Repository, JavaClass, SootClass, Repository, JavaClass
• getInterferenceMap() : BuildPDG
• getInterferStmt() : DataBox
• getInterferVars() : DataBox
• getInternalLength() : Code
• getInvokedMdsFrom() : Slicer
• getInvokeExprFrom() : IndexMaps
• getInvokeMethodForStart() : IndexMaps
• getJavaClass() : ClassGen
• getJFrameContentPane() : DependencyValueViewer
• getJimpleTextArea() : JimpleViewer
• getJimpleTextScrollPane() : JimpleViewer
• getJimpleTitleLabel() : JimpleViewer
• getJimpleViewer() : ViewerTabbedPane
• getJimpleViewerBorderLayout() : JimpleViewer
• getJPF() : Engine
• getJumpTargetMap() : IndexMaps
• getKeepedParaOriginalIndex() : PostProcessOnAnnotation, PostProcess
• getKeyOf() : TransSystem
• getLeafCases() : CaseNode
• getLeaves() : CaseNode
• getLength() : InstructionList, Instruction, LocalVariable, ConstantPool, Attribute, InstructionList, Instruction, LocalVariable, ConstantPool, Attribute
• getLHSNode() : FGStmt
• getLine() : ThreadInfo, ASCII_UCodeESC_CharStream
• getLineNumber() : MethodInfo, LineNumberGen, LineNumber, LineNumberGen, LineNumber
• getLineNumbers() : MethodInfo
• getLineNumberTable() : MethodGen, LineNumberTable, Code, MethodGen, LineNumberTable, Code
• getListBody() : BlockMap
• getListSelectionModel() : JTreeTable::ListToTreeSelectionModelWrapper
• getLiveVars() : TransExtractor
• getLocal() : BlockMap
• getLocalDecState() : CodeBrowserPane
• getLocalNode() : MethodVariant
• getLocalNodes() : MethodVariant
• getLocals() : BlockMap
• getLocalStateVars() : TransSystem
• getLocalValue() : JimpleStore
• getLocalValues() : MethodVariant
• getLocalVariable() : ThreadInfo, LocalVariableGen
• getLocalVariableName() : LocalVariableTable_attribute
• getLocalVariableTable() : MethodGen, LocalVariableTable, Code, MethodGen, LocalVariableTable, Code
• getLocalVariableType() : ThreadInfo
• getLocationsLabel() : CriterionViewer
• getLocationsList() : CriterionViewer
• getLocationsPanel() : CriterionViewer
• getLocationsScrollPane() : CriterionViewer
• getLocationsVarsSplitPane() : CriterionViewer
• getLocationVarsList() : CriterionViewer
• getLocationVarsScrollPane() : CriterionViewer
• getLock() : SynchroStmt
• getLockAnalysis() : BuildPDG
• getLockCount() : ThreadInfo, Monitor
• getLockFieldExpr() : TransExtractor
• getLockingThread() : Monitor
• getLockPairList() : LockAnalysis
• getLockValue() : ClassLiteral
• getLongLocalVariable() : ThreadInfo
• getMajor() : ClassGen, JavaClass
• getManager() : SootClass
• getMatch() : FindPattern
• getMatchLength() : FindPattern
• getMatchs() : Select
• getMaxLocals() : Code
• getMaxStack() : MethodGen, Code, MethodGen, Code
• getMessage() : ParseException
• getMethod() : ThreadInfo, MethodVariant, MethodGen, SootClass, MethodGen
• getMethodCount() : SootClass
• getMethodIndex() : MethodVariant
• getMethodName() : MethodGen, InvokeInstruction
• getMethods() : MethodVariantManager, JavaClass, SootClass, JavaClass
• getMethodSignature() : Type, MethodGen, Type
• getMethodsInfoList() : InfoAnalysis
• getMethodTree() : CodeBrowserPane
• getMethodTreeScrollPane() : CodeBrowserPane
• getMethodVariant() : FGNodeThis, FGNodeParameter
• getMinor() : ClassGen, JavaClass
• getMOD() : IndexMaps
• getModifiedPackages() : PostProcessOnAnnotation
• getModifiedSootClasses() : PostProcessOnAnnotation
• getModifiedSootMethods() : PostProcessOnAnnotation
• getModifier() : DecompilerField
• getModifiers() : Method, Field, SootClass
• getMonitorPair() : LockAnalysis
• getMonitorPairFromEnter() : LockAnalysis
• getMonitorPairFromExit() : LockAnalysis
• getName() : MethodInfo, FieldInfo, ExceptionHandler, ClassInfo, PredicateSet, Method, Field, ArrayType, DecompilerField, Field, FieldOrMethod, FieldGenOrMethodGen, Unknown, LocalVariable, FieldOrMethod, SootClass, cp_info, FieldOrMethod, FieldGen, Unknown, LocalVariable, FieldOrMethod
• getNameAndTypeIndex() : ConstantCP
• getNameIndex() : LocalVariable, FieldOrMethod, ConstantNameAndType, ConstantClass, Attribute, LocalVariable, FieldOrMethod, ConstantNameAndType, ConstantClass, Attribute
• getNameOf() : TransSystem
• getNewInsFieldRefSet() : SlicingMethod
• getNewJumpTarget() : PostProcess
• getNewSootMethod() : CallGraphDialog
• getNode() : InstanceVariant, ArrayVariant
• getNotifyStmtList() : LockAnalysis
• getNumberOfExceptions() : ExceptionTable
• getObj() : FGNodeAST
• getObjectReference() : ThreadInfo
• getOkButton() : CallGraphDialog
• getOp1() : InExpr
• getOp1Box() : InExpr
• getOp2() : InExpr
• getOp2Box() : InExpr
• getOriginalStmtList() : IndexMaps
• getOuput() : JimpleStore
• getOuterClassIndex() : InnerClass
• getPackageName() : JavaClass
• getParaIdentityStmts() : IndexMaps
• getParaIndex() : Fields
• getParaLocalSet() : IndexMaps
• getParameterModifiedMethods() : PostProcessOnAnnotation
• getParameterNode() : MethodVariant
• getParameterNodes() : MethodVariant
• getParameters() : Method
• getParameterTypes() : Method
• getParameterValues() : MethodVariant
• getParent() : TreeNode
• getPath() : ClassPath
• getPattern() : FindPattern
• getPC() : ThreadInfo
• getPMGClassIndex() : PMGClass
• getPMGClassName() : PMGClass
• getPMGIndex() : PMGClass
• getPMGName() : PMGClass
• getPointVarSplitPane() : CriterionViewer
• getPosition() : CodeIndexManagerAlloc::CodeIndexAlloc, InstructionHandle
• getPostProcessOnAnnotation() : Slicer
• getPredicate() : PredicateSet
• getPredicateSet() : PredicateSet
• getPredicateSetTable() : PredicateSet
• getPredicateTable() : PredicateSet
• getPreds() : BasicBlock, FGNode
• getPredToolBarButton() : CallGraphDialog
• getQueryKindComboBox() : QueryPanel
• getQueryKindLabel() : QueryPanel
• getQueryPanel() : ViewerTabbedPane
• getQueryResultScrollPane() : QueryPanel
• getQueryResultTree() : QueryPanel
• getReadyDependMap() : BuildPDG
• getRecordType() : TypeExtractor
• getREF() : IndexMaps
• getReflection() : ClassInfo
• getRefsWithCommonField() : BuildPDG
• getRefType() : TypeExtractor
• getRelevantLocals() : PostProcess
• getRemovableLocals() : PostProcessOnAnnotation
• getRemovablePackages() : PostProcessOnAnnotation
• getRemovableSootClasses() : PostProcessOnAnnotation
• getRemovableSootFields() : PostProcessOnAnnotation
• getRemovableSootMethods() : PostProcessOnAnnotation
• getRemoveLocationButton() : CriterionViewer
• getRemoveStatementButton() : CriterionViewer
• getRemoveVarsButton() : CriterionViewer
• getReturnAnnotations() : IndexMaps
• getReturnNode() : MethodVariant
• getReturnType() : Method, Type, InvokeInstruction, Type, InvokeInstruction
• getReturnValues() : MethodVariant
• getRoot() : Tree
• getScanner() : lr_parser
• getSelectedStmtTreeNode() : DependencyValueViewer
• getSet() : InExpr
• getShort() : Instruction
• getSignature() : MethodInfo, Type, MethodGen, FieldOrMethod, FieldGenOrMethodGen, FieldGen, Utility, Signature, LocalVariable, FieldOrMethod, Type, FieldOrMethod, FieldGen, Signature, LocalVariable, FieldOrMethod
• getSignatureIndex() : Signature, LocalVariable, FieldOrMethod, ConstantNameAndType, Signature, LocalVariable, FieldOrMethod, ConstantNameAndType
• getSimpleResult() : SpinTrans
• getSize() : Collection, Array, Type, ConstantPoolGen, Type, ConstantPoolGen
• getSliceInterestForDL() : DeadlockRelatedCriterion
• getSliceInterests() : CriterionViewer
• getSliceStatements() : SliceCriterion
• getSlot() : LocalVariableGen
• getSootClass() : ClassTokenSimple, ClassTokenManaged
• getSootMethod() : Analysis::StmtMethodPair
• getSource() : ClassLiteral, TransSystem, JavaClass
• getSourceFileIndex() : SourceFile
• getSourceFileName() : SourceFile, JavaClass, SourceFile, JavaClass
• getSourceLine() : LineNumberTable
• getSpecialInvokeFor() : IndexMaps
• getSpecialInvokeForThread() : IndexMaps
• getSpecialInvokeList() : IndexMaps
• getSpecialInvokeStmtOf() : BuildPDG
• getSS() : VirtualMachine
• getStart() : InstructionList
• getStartingMethods() : Slicer
• getStartPC() : LocalVariable, LineNumber, CodeException, LocalVariable, LineNumber, CodeException
• getStatementLabel() : CriterionViewer
• getStatementPanel() : CriterionViewer
• getStatements() : JimpleTrace
• getStatementScrollPane() : CriterionViewer
• getStatementsList() : CriterionViewer
• GETSTATIC() : GETSTATIC
• getStaticDefIndexOf() : BuildPDG
• getStaticField() : ClassInfo
• getStaticFieldName() : ClassInfo
• getStaticFieldRef() : PreProcess
• getStaticFieldValue() : JimpleStore
• getStaticMethod() : ClassInfo
• getStatus() : ThreadInfo
• getStmt() : DataBox, DecompilerGotoMapper, ValueVariant, FGNodeAST, Analysis::StmtMethodPair
• getStmtControlSplitPane() : CriterionViewer
• getStmtGraph() : IndexMaps
• getStmtList() : IndexMaps
• getStmtMethodPair() : Analysis, Analysis::ExprStmtMethodTriple
• getStmtToIndex() : BlockMap
• getStmtTreeNodeFromLocationNode() : CriterionViewer
• getStore() : JimpleTrace
• getStoringData() : ThreadList, ThreadInfo
• getStringIndex() : ConstantString
• getSuccs() : BasicBlock, FGNode
• getSuccToolBarButton() : CallGraphDialog
• getSuperClass() : ClassInfo, SootClass
• getSuperClasses() : TypeExtractor, Repository
• getSuperclassName() : JavaClass
• getSuperclassNameIndex() : JavaClass
• getSymbol() : InExpr
• getSynchAnnotation() : LockAnalysis
• getSystemState() : VirtualMachine
• getTableCellRendererComponent() : JTreeTable::TreeTableCellRenderer
• getTag() : Instruction, Constant, Attribute, Instruction, Constant, Attribute
• getTarget() : ThreadInfo, BranchInstruction, BranchHandle, BranchInstruction, BranchHandle
• getTargeters() : InstructionHandle
• getTargetOffset() : BranchInstruction
• getTargets() : TargetLostException, Select, TargetLostException, Select
• getThis() : ThreadInfo
• getThisNode() : MethodVariant
• getThisRefLocal() : IndexMaps
• getThisRefStmt() : IndexMaps
• getThisRefStmtIndex() : IndexMaps
• getThisValues() : MethodVariant
• getThreads() : JimpleStore
• getToken() : FGExpr
• getTransformations() : TransSystem
• getTrapHandlers() : PostProcessOnAnnotation, PostProcess
• getTrapName() : JimpleTrace
• getTrapStmt() : JimpleTrace
• getTree() : TreeNode, JTreeTable
• getType() : Fields, FieldInfo, ClassInfo, Type, Method, Field, DecompilerField, LogicalNotExpr, InExpr, HookExpr, ChooseExpr, Field, Type, StackInstruction, SIPUSH, ReturnInstruction, NEWARRAY, LocalVariableInstruction, LDC2_W, LDC, LCONST, InvokeInstruction, ICONST, FieldInstruction, FCONST, FCMPL, FCMPG, DCONST, DCMPL, DCMPG, CPInstruction, ConversionInstruction, BIPUSH, ArrayInstruction, ArithmeticInstruction, ACONST_NULL, ClassHierarchy::TypeNode, Type, NEWARRAY, LDC2_W, LDC, InvokeInstruction, FieldInstruction, CPInstruction
• getTypecode() : NEWARRAY
• getTypeDescr() : cp_info
• getTypeNode() : ClassHierarchy
• getTypeVariable() : TypeResolver
• getUnknownAttributes() : Unknown
• getUnreachableSootClasses() : PostProcessOnAnnotation
• getUnreachableSootMethods() : PostProcessOnAnnotation
• getUnusedLocals() : PostProcessOnAnnotation
• getUpdateExpr() : SmvVar
• getUseBoxes() : LogicalNotExpr, InExpr, HookExpr, ChooseExpr
• getUses() : Analysis
• getValue() : FGExpr
• getValueAt() : TreeTableModel
• getValueLabel() : DependencyValueViewer
• getValues() : ValueVariantManager, FGNode, ArrayVariantManager
• getValueScrollPane() : DependencyValueViewer
• getValuesPanel() : DependencyValueViewer
• getValueString() : SlicingMethod
• getValueTree() : DependencyValueViewer
• getVar() : SmvTrans
• getVariants() : MethodVariantManager, InstanceVariantManager
• getVarOffset() : JimpleStoreBuilder
• getVarOfKey() : TransSystem
• getVarsLabel() : CriterionViewer
• getVarsList() : CriterionViewer
• getVarsPanel() : CriterionViewer
• getVarsScrollPane() : CriterionViewer
• getVarValue() : JimpleStoreBuilder
• getViewersCurrentState() : DependencyValueViewer
• getWaitingThreads() : Monitor
• getWaitNotify() : SynchroStmt
• getWaitStmtList() : LockAnalysis
• GOTO() : GOTO
• GOTO_W() : GOTO_W
• guard() : TransSequence
• guardPresent() : SpinTrans

- h -

• h : CFG
• HAMMOCK : BlockMap
• handleException() : ViewerTabbedPane, QueryPanel, JimpleViewer, DependencyValueViewer, CriterionViewer, CodeBrowserPane, CallGraphDialog
• handler : ExceptionHandler
• handler_inst : exception_table_entry
• handler_pc : exception_table_entry
• hasAncestor() : ClassHierarchy::TypeNode
• hasChanged : ThreadInfo, Area
• hash() : Fields
• hash_data() : KernelState
• hash_reverse_data() : KernelState
• hashcode() : ArrayType
• hashCode() : Fields, Field, ObjectType, Instruction, BasicBlock
• HashSet() : HashSet
• hasJavaPrefix() : Util
• hasMoreElements() : Utf8_Enumeration
• hasSameSignature() : Method
• hasSignature() : Method
• hasSuperClass() : SootClass
• haveStaticFields() : Slicer
• head : BasicBlock
• header() : SpinTrans, SmvTrans
• hierTree_MouseClicked() : CodeBrowserPane
• hierTree_TreeSelectionAction() : CodeBrowserPane
• hierTree_TreeSelectionEvents() : CodeBrowserPane
• high : CONSTANT_Long_info, CONSTANT_Double_info

- i -

• I2B() : I2B
• I2C() : I2C
• I2D() : I2D
• I2F() : I2F
• I2L() : I2L
• IADD() : IADD
• IALOAD() : IALOAD
• IASTORE() : IASTORE
• ICONST() : ICONST
• id : TypeResolver::TypeVariable, BasicBlock
• identifyAllocatorsLocks() : Builder
• IDIV() : IDIV
• IF_ACMPEQ() : IF_ACMPEQ
• IF_ACMPNE() : IF_ACMPNE
• IF_ICMPEQ() : IF_ICMPEQ
• IF_ICMPGE() : IF_ICMPGE
• IF_ICMPGT() : IF_ICMPGT
• IF_ICMPLE() : IF_ICMPLE
• IF_ICMPLT() : IF_ICMPLT
• IF_ICMPNE() : IF_ICMPNE
• IFEQ() : IFEQ
• IFGE() : IFGE
• IFGT() : IFGT
• IfInstruction() : IfInstruction
• IFLE() : IFLE
• IFLT() : IFLT
• IFNE() : IFNE
• IFNONNULL() : IFNONNULL
• IFNULL() : IFNULL
• ignoringMethodCall() : TransExtractor
• ih_list : InstructionHandle
• IINC() : IINC
• ILOAD() : ILOAD
• image : Token
• immediateDominators() : BuildPDG
• immediatePostdominatorOf() : BuildPDG
• implementationOf() : Repository
• implementsInterface() : SootClass
• IMUL() : IMUL
• increCriterion : MethodInfo
• indefiniteFrom() : BuildPDG
• Index() : Index
• index : Index, ThreadInfo, Index, FGNodeParameter, local_variable_table_entry
• IndexMaps() : IndexMaps
• indexSetOf() : SlicingMethod
• indexSetWithoutExceptionHandling() : IndexMaps
• InExpr() : InExpr
• info : Generic_attribute
• InfoAnalysis() : InfoAnalysis
• init() : VirtualMachine, Engine, SmvTrans, ValueVariantManager, TempStmt, TempExpr, StaticFieldManager, MethodVariantManager, InstanceVariantManager, FA, ArrayVariantManager, Analysis
• init_actions() : lr_parser, parser
• initAllComponents() : SmvTrans
• initBlock() : SpinTrans
• initClass() : ClassTokenSimple
• initConnections() : ViewerTabbedPane, QueryPanel, DependencyValueViewer, CriterionViewer, CodeBrowserPane, CallGraphDialog
• initFromFile() : TABLESWITCH, SIPUSH, Select, RET, NEWARRAY, MULTIANEWARRAY, LOOKUPSWITCH, LocalVariableInstruction, LDC_W, LDC, JSR_W, INVOKEINTERFACE, Instruction, IINC, GOTO_W, CPInstruction, BranchInstruction, BIPUSH, TABLESWITCH, SIPUSH, Select, RET, NEWARRAY, MULTIANEWARRAY, LOOKUPSWITCH, LocalVariableInstruction, LDC_W, LDC, JSR_W, INVOKEINTERFACE, Instruction, IINC, GOTO_W, CPInstruction, BranchInstruction, BIPUSH
• initialize() : ViewerTabbedPane, QueryPanel, JimpleViewer, DependencyValueViewer, CriterionViewer, CodeBrowserPane, CallGraphDialog
• initializeBitSetToAllFalse() : SetUtil
• initializeBitSetToAllTrue() : SetUtil
• initialized() : JPF
• initializeGlobal() : Builder
• initializeMdInfoAndAnnotation() : PostProcessOnAnnotation
• initializeWorkList() : BuildPDG
• initialState : BirState, VirtualMachine
• initInterferenceMap() : InterClassAnalysis
• initValue() : SmvTypeDecl
• InnerClass() : InnerClass
• InnerClasses() : InnerClasses
• insert() : WorkList, InstructionList
• insertTrap() : Case
• installedArrayVariants : FGActionArrayStore, FGActionArrayRef
• installedMethodVariants : FGActionInvoke
• instanceDefsNotPreserves() : BuildPDG
• instanceFdInTargetMd() : SlicingMethod
• instanceFieldDefStmtList : BuildPDG
• instanceFields : Fields
• instanceIndex : InstanceVariant
• instanceIndexManager : InstanceVariantManager
• InstanceIndexManagerPoint() : InstanceIndexManagerPoint
• instanceMap : InstanceVariantManager
• INSTANCEOF() : INSTANCEOF
• instanceOf() : ClassInfo, Repository
• instanceReachDef : BuildPDG
• InstanceVariant() : InstanceVariant
• Instruction() : Instruction
• InstructionFactory() : InstructionFactory
• InstructionList() : InstructionList
• instructions : Status, method_info
• INSTRUCTIONS : InstructionConstants
• intClassToken : ClassTokenSimple
• InterClassAnalysis() : InterClassAnalysis
• interfaceImplementedByMap : Slicer
• interfaces : ClassInfo, ClassFile
• interfaces_count : ClassFile
• interferenceDependence() : InterClassAnalysis
• interferenceMap : BuildPDG
• interferForMethod() : InterClassAnalysis
• intermediateStep : KernelState
• intermediateThread : KernelState
• intermediateTransitions : Status
• interpretTrace() : Builder
• interrupt() : Monitor
• intersect() : GenericSet
• interStmt : DataBox
• ints2long() : cp_info
• intToBytes() : Instruction
• invokeExpr : CallSite
• invokeExprResolution() : Analysis
• InvokeInstruction() : InvokeInstruction
• INVOKEINTERFACE() : INVOKEINTERFACE
• invokeNode : FGActionInvoke
• INVOKESPECIAL() : INVOKESPECIAL
• INVOKESTATIC() : INVOKESTATIC
• INVOKEVIRTUAL() : INVOKEVIRTUAL
• IREM() : IREM
• IRETURN() : IRETURN
• isAbstracted() : DecompilerUtil
• isAccessible() : Method, Field
• isActive() : JimpleStore
• isAlive() : ThreadInfo
• isAllowField() : DecompilerUtil
• isAncestorOf() : Util
• isApplicable() : Method
• isArray() : Fields
• isBanderaInvoke() : SlicingMethod
• isCallSite() : SlicingMethod
• isCellEditable() : TreeTableModel, JTreeTable::TreeTableCellEditor, AbstractTreeTableModel
• isChild() : SliceTraceNode
• isClass : Fields
• isComplete() : JimpleTrace
• isDebugInfo() : DecompilerUtil
• isDepthExceeded() : JimpleTrace
• isEmpty() : WorkList, InstructionList, BBQ, BoundedBuffer, InstructionList
• isEnabled() : ThreadInfo
• isIfBranch() : SpinTrans
• isImplementingOneAbstractMd() : PostProcessOnAnnotation, PostProcess
• isImplementingOneInterfaceMd() : PostProcessOnAnnotation, PostProcess
• isLimitViolation() : JimpleTrace
• isLocalVariableRef() : ThreadInfo
• isManaged() : MethodVariantManager, SootClass
• isMethodDeterministic() : ClassInfo
• isMethodExecutable() : ClassInfo
• isMethodOfObject() : Slicer
• isMoreSpecific() : Method
• isNative : MethodInfo
• isNewExprStmt() : DataBox
• isNotifyStmt() : SynchroStmt
• isObjectClass() : Slicer
• isOperandRef() : ThreadInfo
• isOutOfMemory() : JimpleTrace
• isParaField() : IndexMaps
• isPublicAndStatic() : PostProcessOnAnnotation, PostProcess
• isReachable() : FA
• isRef() : Fields
• isRemovableClass() : Slicer
• isResolved() : SootClass
• isRunnable() : ThreadInfo
• isSafe() : ThreadInfo, ClassInfo
• isSet() : Utility
• isSpecialInvokeInit() : DataBox
• isStatic : MethodInfo, FieldInfo, MethodInfo, FieldInfo, Area
• isStaticMethodDeterministic() : ClassInfo
• isStaticMethodExecutable() : ClassInfo
• isSterile() : ClassFile
• isSubtypeOf() : Ref
• isSynchronized : MethodInfo
• isSystemClass() : ClassInfo
• isSystemMethod() : MethodInfo
• isTerminated() : KernelState
• isThisRef() : Fields
• ISTORE() : ISTORE
• ISUB() : ISUB
• isValidCastingConversion() : Type
• isValidId() : Util
• isValidIdentityConversion() : Type
• isValidMethodInvocationConversion() : Type
• isValidNarrowingConversion() : Type, ArrayType
• isValidWideningConversion() : Type, ArrayType
• isVectorExceeded() : JimpleTrace
• isVerified() : JimpleTrace
• isVisible() : Location
• isWaitStmt() : SynchroStmt
• iterator : WorkList, RefHashTable::Enumerator

- j -

• JavaClass() : JavaClass
• jimple : VInvokeCallBack
• jimpleTargetFixup() : CFG
• JimpleTrace() : JimpleTrace
• JimpleViewer() : JimpleViewer
• jimplify() : CFG
• jjjc() : Demo
• JPF() : JPF
• JSR() : JSR
• JSR_W() : JSR_W
• jumpTargetMap : IndexMaps

- k -

• keepParasOfMainMd() : PostProcessOnAnnotation, PostProcess
• KernelState() : KernelState
• kind : Token
• ks : ThreadList, Area

- l -

• label : Instruction
• labelled : Instruction
• LALOAD() : LALOAD
• lastElement : Area
• LASTORE() : LASTORE
• lastReportTime : JPF
• lastReportTransitions : JPF
• LCONST() : LCONST
• LDC() : LDC
• LDC2_W() : LDC2_W
• LDC_QUICK : Constants
• LDC_W() : LDC_W
• leaveSoftAtomic() : ThreadInfo
• length : ThreadList, CONSTANT_Utf8_info, local_variable_table_entry
• liftCollectionType() : Ref
• line_number : line_number_table_entry
• line_number_table : LineNumberTable_attribute
• line_number_table_length : LineNumberTable_attribute
• LineNumber() : LineNumber
• LineNumberGen() : LineNumberGen
• lineNumbers : MethodInfo
• LineNumberTable : LineNumberTable, attribute_info
• LINKING_EXCEPTION : ExceptionConstants
• list : ThreadInfo, WorkList
• listConstantPool() : ClassFile
• listFields() : ClassFile
• listMethods() : ClassFile
• LLOAD() : LLOAD
• loadClassFile() : ClassFile
• loadCode() : MethodInfo
• loadDynamicFields() : ClassInfo
• loadDynamicMethods() : ClassInfo
• loadedClasses : ClassInfo
• loadExceptions() : MethodInfo
• loadInterfaces() : ClassInfo
• loadLineNumbers() : MethodInfo
• loadLocalVariableNames() : MethodInfo
• loadLocalVariableTypes() : MethodInfo
• loadReflection() : ClassInfo
• loadSafeBlocks() : ClassInfo
• loadStaticFields() : ClassInfo
• loadStaticMethods() : ClassInfo
• loadSuperClass() : ClassInfo
• local_variable_table : LocalVariableTable_attribute
• local_variable_table_length : LocalVariableTable_attribute
• localAssMap() : IndexMaps
• localKey() : ExprExtractor
• localNodes : MethodVariant
• LOCALPREFIX : Instruction
• locals : StackFrame
• LocalVariable() : LocalVariable
• LocalVariableGen() : LocalVariableGen
• LocalVariableInstruction() : LocalVariableInstruction
• localVariableNames : MethodInfo
• LocalVariableTable : LocalVariableTable, attribute_info
• localVariableTypes : MethodInfo
• locAssIndex : IndexMaps
• locate_code_attribute() : method_info
• locateInst() : ByteCode
• locateInstr() : ByteCode
• locationOfKey() : TransSystem
• locationOfNextStmt() : TransExtractor
• locationOfStmt() : TransExtractor
• locationsList_ListSelectionEvents() : CriterionViewer
• locationsList_MouseClicked() : CriterionViewer
• locationVarsList_ListSelectionEvents() : CriterionViewer
• Lock() : Lock
• lock : Monitor, SynchroStmt, MonitorPair
• LockAction() : LockAction
• lockAnalysis : BuildPDG
• LockAnalysis() : LockAnalysis
• lockCount : Monitor
• lockingThread : Monitor
• lockNotified() : Monitor
• lockOperation() : TransExtractor
• lockPairList : LockAnalysis
• LockTest() : LockTest
• lockType() : TransSystem
• lockValueSet() : LockAnalysis
• locLabel() : SpinTrans
• locName() : SmvTrans
• log() : Fields
• logicalSizeOfBitSet() : SetUtil
• longPeek() : ThreadInfo
• longPop() : ThreadInfo
• longPush() : ThreadInfo
• lookahead : lr_parser
• lookahead_pos : lr_parser
• lookupClass() : Repository, ConstantPoolGen, Repository, ConstantPoolGen
• lookupClassFile() : Repository
• lookupDouble() : ConstantPoolGen
• lookupFieldref() : ConstantPoolGen
• lookupFloat() : ConstantPoolGen
• lookupInteger() : ConstantPoolGen
• lookupInterfaceMethodref() : ConstantPoolGen
• lookupInterferDefStmt() : InterClassAnalysis
• lookupLong() : ConstantPoolGen
• lookupMethodref() : ConstantPoolGen
• lookupNameAndType() : ConstantPoolGen
• lookupReadyDependStmt() : InterClassAnalysis
• lookupSootClassByName() : IndexMaps
• lookupSootClassByThread() : IndexMaps
• lookupString() : ConstantPoolGen
• LOOKUPSWITCH() : LOOKUPSWITCH
• lookupUtf8() : ConstantPoolGen
• low : CONSTANT_Long_info, CONSTANT_Double_info
• lowestChanged : ThreadInfo
• lr_parser() : lr_parser
• lRefs : StackFrame
• LSTORE() : LSTORE

- m -

• MAGIC : ClassFile
• magic : ClassFile
• main() : Main, Test, ViewerTabbedPane, QueryPanel, JimpleViewer, DependencyValueViewer, CriterionViewer, CodeBrowserPane, CallGraphDialog, Demo, BOFA, Main
• MAJOR_1_1 : Constants
• major_version : ClassFile
• make : ClassHierarchy
• makeArc() : CFGSkel, FGNode
• makeChar() : FindPattern
• makeLocation() : TransExtractor
• makeMethodEmpty() : PostProcessOnAnnotation, PostProcess
• makePattern() : FindPattern
• makeTrans() : TransExtractor
• mark() : ThreadInfo, Fields, CFGSkel
• markCPRefs() : Instruction_intindex, Instruction_byteindex, Instruction
• markDeleted() : Transformation
• matchCase() : TransExtractor
• matchIsOrdered() : SWITCH
• MAX_BYTE : Constants
• max_locals : Code_attribute
• MAX_SHORT : Constants
• max_stack : Code_attribute
• maxDepthReached : VirtualMachine
• maxLocals : MethodInfo
• maxStack : MethodInfo
• maxStackDepth : Status
• mayPointToTheSameRef() : BuildPDG
• mdCallsInSlice() : SlicingMethod
• memory : Status
• memoryGC : Status
• merge() : Fields
• mergeAll() : TypeResolver
• mergeFields() : MethodCallAnalysis
• Method() : Method
• method : Analysis::RefValueSwitch, CFG
• methodCritMap : PreProcess
• MethodGen() : MethodGen
• methodIndex : MethodVariant
• methodIndexManager : MethodVariantManager
• MethodIndexManagerPoint() : MethodIndexManagerPoint
• MethodInfo() : MethodInfo
• methodInfo : SliceTraceNode, ReadyDependStmt
• methodMap : MethodVariantManager
• methodName : FGActionInvoke
• methods : ClassFile
• methods_count : ClassFile
• methodSignatureArgumentTypes() : Utility
• methodSignatureReturnType() : Utility
• methodSignatureToString() : Utility
• methodsInClass : InfoAnalysis
• methodsInfoList : ClassInfo
• methodTree_MouseClicked() : CodeBrowserPane
• methodTree_TreeSelectionAction() : CodeBrowserPane
• methodTree_TreeSelectionActionByProgram() : CodeBrowserPane
• methodTree_TreeSelectionEvents() : CodeBrowserPane
• methodTypeToSignature() : Utility
• methodVariant : ValueIndexManagerAlloc::ValueIndexAlloc, FGStmt, FGNodeThis, FGNodeParameter, FGExpr, FGActionArrayRef
• MethodVariant() : MethodVariant
• methodVariantMap : ValueIndexManagerAlloc
• mi : StackFrame
• minor_version : ClassFile
• mname : VInvokeCallBack
• modifyJumpTargetMap() : PostProcess
• modifyMethod() : PostProcessOnAnnotation, PostProcess
• MODREFAnalysis() : MethodCallAnalysis
• Monitor() : Monitor
• moreInformation() : Slicer
• mouseClicked() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• mouseEntered() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• mouseExited() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• mousePressed() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• mouseReleased() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• move() : InstructionList
• moveMethod() : ClassFile
• MULTIANEWARRAY() : MULTIANEWARRAY

- n -

• name : MethodInfo, FieldInfo, ExceptionHandler, ClassInfo, BasicBlock, Method, Instruction
• name_and_type_index : CONSTANT_Methodref_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Fieldref_info, ConstantCP
• name_index : method_info, local_variable_table_entry, field_info, CONSTANT_NameAndType_info, CONSTANT_Class_info
• nativeMdSig : InfoAnalysis
• negate() : IFNULL, IFNONNULL, IFNE, IFLT, IFLE, IfInstruction, IFGT, IFGE, IFEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPLE, IF_ICMPGT, IF_ICMPGE, IF_ICMPEQ, IF_ACMPNE, IF_ACMPEQ, IFNULL, IFNONNULL, IFNE, IFLT, IFLE, IfInstruction, IFGT, IFGE, IFEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPLE, IF_ICMPGT, IF_ICMPGE, IF_ICMPEQ, IF_ACMPNE, IF_ACMPEQ
• nElements : Area
• NEW() : NEW
• new_relation : TypeResolver
• newAddExpr() : JimpleRepresentation, Jimple, Grimp
• newAndExpr() : JimpleRepresentation, Jimple, Grimp
• newArgBox() : JimpleRepresentation, Grimp
• NEWARRAY() : NEWARRAY
• newArrayRef() : JimpleRepresentation, Jimple, Grimp
• newAssignStmt() : JimpleRepresentation, Jimple, Grimp
• newBody() : JimpleRepresentation, Jimple, Grimp
• newBreakpointStmt() : JimpleRepresentation, Jimple, Grimp
• newCastExpr() : JimpleRepresentation, Jimple, Grimp
• newCaughtExceptionRef() : JimpleRepresentation, Jimple, Grimp
• newCmpExpr() : JimpleRepresentation, Jimple, Grimp
• newCmpgExpr() : JimpleRepresentation, Jimple, Grimp
• newCmplExpr() : JimpleRepresentation, Jimple, Grimp
• newDivExpr() : JimpleRepresentation, Jimple, Grimp
• newEnterMonitorStmt() : JimpleRepresentation, Jimple, Grimp
• newEqExpr() : JimpleRepresentation, Jimple, Grimp
• newExitMonitorStmt() : JimpleRepresentation, Jimple, Grimp
• newExpr() : Grimp
• newFrame() : ThreadInfo
• newGeExpr() : JimpleRepresentation, Jimple, Grimp
• newGotoStmt() : JimpleRepresentation, Jimple, Grimp
• newGtExpr() : JimpleRepresentation, Jimple, Grimp
• newIdentityStmt() : JimpleRepresentation, Jimple, Grimp
• newIfStmt() : JimpleRepresentation, Jimple, Grimp
• newInstanceFieldRef() : JimpleRepresentation, Jimple, Grimp
• newInstanceOfExpr() : JimpleRepresentation, Jimple, Grimp
• newInterfaceInvokeExpr() : JimpleRepresentation, Jimple, Grimp
• newInvokeStmt() : JimpleRepresentation, Jimple, Grimp
• newLeExpr() : JimpleRepresentation, Jimple, Grimp
• newLengthExpr() : JimpleRepresentation, Jimple, Grimp
• newLocal() : JimpleRepresentation, Jimple, Grimp
• newLookupSwitchStmt() : JimpleRepresentation, Jimple, Grimp
• newLtExpr() : JimpleRepresentation, Jimple, Grimp
• newMulExpr() : JimpleRepresentation, Jimple, Grimp
• newNeExpr() : JimpleRepresentation, Jimple, Grimp
• newNegExpr() : JimpleRepresentation, Jimple, Grimp
• newNewArrayExpr() : JimpleRepresentation, Jimple, Grimp
• newNewExpr() : Jimple, Grimp
• newNewInvokeExpr() : Grimp
• newNewMultiArrayExpr() : JimpleRepresentation, Jimple, Grimp
• newNopStmt() : JimpleRepresentation, Jimple, Grimp
• newOrExpr() : JimpleRepresentation, Jimple, Grimp
• newParameterRef() : JimpleRepresentation, Jimple, Grimp
• newRemExpr() : JimpleRepresentation, Jimple, Grimp
• newRetStmt() : JimpleRepresentation, Jimple, Grimp
• newReturnStmt() : JimpleRepresentation, Jimple, Grimp
• newReturnVoidStmt() : JimpleRepresentation, Jimple, Grimp
• newSearchAlgorithm() : Engine
• newShlExpr() : JimpleRepresentation, Jimple, Grimp
• newShrExpr() : JimpleRepresentation, Jimple, Grimp
• newSpecialInvokeExpr() : JimpleRepresentation, Jimple, Grimp
• newStaticFieldRef() : JimpleRepresentation, Jimple, Grimp
• newStaticInvokeExpr() : JimpleRepresentation, Jimple, Grimp
• newSubExpr() : JimpleRepresentation, Jimple, Grimp
• newTableSwitchStmt() : JimpleRepresentation, Jimple, Grimp
• newThisRef() : JimpleRepresentation, Jimple, Grimp
• newThread() : KernelState
• newThrowStmt() : JimpleRepresentation, Jimple, Grimp
• newToken() : Token
• newTrap() : JimpleRepresentation, Jimple, Grimp
• newUshrExpr() : JimpleRepresentation, Jimple, Grimp
• newVirtualInvokeExpr() : JimpleRepresentation, Jimple, Grimp
• newXorExpr() : JimpleRepresentation, Jimple, Grimp
• next : CFGSkel, Token, Instruction, BasicBlock
• next_token() : Scanner
• nextElement() : Utf8_Enumeration
• nextOffset() : Instruction_Tableswitch, Instruction_Newarray, Instruction_Multianewarray, Instruction_Lookupswitch, Instruction_longbranch, Instruction_Invokeinterface, Instruction_intvar, Instruction_intindex, Instruction_intbranch, Instruction_int, Instruction_Iinc, Instruction_bytevar, Instruction_byteindex, Instruction_byte, Instruction
• nextThreadToExecute() : VirtualMachine
• nFields : Fields
• NO_OF_OPERANDS : Constants
• node : CFGSkel::node, InstanceVariant, ArrayVariant
• nonNegative() : SpinTrans
• NOP : InstructionConstants, Constants
• NotDeclaredException() : NotDeclaredException
• notify() : Monitor
• notifyAll() : Monitor
• notifyStmtList : LockAnalysis
• notifyTarget() : BranchInstruction
• NULL_POINTER_EXCEPTION : ExceptionConstants
• nullClassToken : ClassTokenSimple, ClassTokenManaged
• nullReference() : Analysis
• number_of_exceptions : Exception_attribute
• numberLocations() : TransSystem

- o -

• obj : FGNodeAST
• objectTable : JimpleStoreBuilder
• ObjectType() : ObjectType
• observableInvokes : VirtualMachine
• observableLabels : VirtualMachine
• observableLoc() : TransExtractor
• observablePositions : VirtualMachine
• observableReturns : VirtualMachine
• observableValue() : TransExtractor
• offsetToPointer() : Instruction_Tableswitch, Instruction_Lookupswitch, Instruction_longbranch, Instruction_intbranch, Instruction
• oldThreadOperation() : TransExtractor
• oneParaFdIsRelevant() : SlicingMethod
• onstmt : DataBox
• OPCODE_NAMES : Constants
• operands : StackFrame
• options : VirtualMachine, Engine
• oRefs : StackFrame
• originalMethods : Slicer
• originalMethodsFromReady : SlicingMethod
• originalStmtList : IndexMaps
• otherInsFds : Fields
• outputResidualCls() : Slicer

- p -

• packageName : ClassInfo
• pad() : JimpleTrace
• padLeft() : StringUtil
• padRight() : StringUtil
• paint() : JTreeTable::TreeTableCellRenderer
• paraFields : Fields
• paraIdentityStmt : IndexMaps
• paraLocalSet : IndexMaps
• parameterNodes : MethodVariant
• parametersLocalize() : Fields
• parameterTypes : FGActionInvoke
• parent : TreeNode
• parents : SliceTraceNode
• parse() : lr_parser, ClassParser, Instruction_Tableswitch, Instruction_noargs, Instruction_Newarray, Instruction_Multianewarray, Instruction_Lookupswitch, Instruction_longbranch, Instruction_Invokeinterface, Instruction_intvar, Instruction_intindex, Instruction_intbranch, Instruction_int, Instruction_Iinc, Instruction_bytevar, Instruction_byteindex, Instruction_byte, Instruction, ClassFile, ClassParser
• parse_lookahead() : lr_parser
• parse_state : Symbol
• parseDesc() : ClassFile
• ParseException() : ParseException
• parseLine() : SmvTrans
• parseMethod() : ClassFile
• parseMethodDesc_params() : ClassFile
• parseMethodDesc_return() : ClassFile
• parseOutput() : SpinTrans, SmvTrans, DSpinTrans
• parser() : parser
• parseThreadStep() : SmvTrans
• parseTrap() : SmvTrans
• partitionPath : VirtualMachine
• path : VirtualMachine
• pattern2string() : FindPattern
• pc : StackFrame
• peek() : ThreadInfo
• PMGClass() : PMGClass
• pmname : VInvokeCallBack
• point : ValueIndexManagerPoint, MethodIndexManagerPoint, InstanceIndexManagerPoint
• pop() : virtual_parse_stack, ThreadInfo
• popFrame() : ThreadInfo
• popState() : VirtualMachine
• posInErrorPath : VirtualMachine
• position : CodeIndexManagerAlloc::CodeIndexAlloc
• positionMap : CodeIndexManagerAlloc
• possibleReadyDependCallSite : MethodInfo
• postDomAnalysis() : BuildPDG
• postdomFixPoint() : BuildPDG
• postdominatorsOf() : BuildPDG
• PostProcess() : PostProcess
• postProcessing() : Slicer
• postProcessingOnAnnotation() : Slicer
• PostProcessOnAnnotation() : PostProcessOnAnnotation
• pred : BasicBlock
• predicateName() : TransSystem
• predicates() : SpinTrans
• PredicateSet() : PredicateSet
• preDivergencePointsOf() : BuildPDG
• preds : BasicBlock, FGNode
• predToolBarButton_ActionEvents() : CallGraphDialog
• prepareParse() : SmvTrans
• prepareToBuild() : BuildPDG
• PreProcess() : PreProcess
• preProcessing() : Slicer
• previousThreadToExecute() : VirtualMachine
• print() : Status, SpinTrans, SmvTrans, TempExpr, JimpleTrace, JimpleStore, BirPrinter, method_info
• printBits() : cp_info
• printCriterion() : Slicer
• printGuard() : SpinTrans
• printJimpleClass() : Slicer
• printResults() : JPF
• printStackContent() : ThreadInfo
• printStackTrace() : VirtualMachine, ThreadInfo
• printStatement() : SpinTrans
• printStatistics() : Engine
• printUsage() : BOFA
• printVariableDecls() : SmvTrans
• printVersion() : Engine
• processAbstractions() : JTreeTable
• processTargetFixup() : CFG
• processTrail() : BirTrace
• PRODUCE_STACK : Constants
• produceStack() : StackProducer, InvokeInstruction, Instruction, GETSTATIC, GETFIELD, InvokeInstruction, Instruction, GETSTATIC, GETFIELD
• production_tab : lr_parser
• production_table() : lr_parser, parser
• propagateArrayConstraints() : TypeResolver
• property() : SpinTrans
• prototype() : method_info, field_info
• pull() : BBQ
• purge() : Transformation
• PUSH : PUSH, Constants
• push() : virtual_parse_stack, ThreadInfo, BBQ
• pushState() : VirtualMachine
• pushSystem() : VirtualMachine
• put() : StaticFieldManager
• putArrayVariant() : FGNodeArray
• PUTFIELD() : PUTFIELD
• putFieldToCritMap() : PreProcess
• putLocalToCritMap() : PreProcess
• putMdCritMapToMdInfo() : PreProcess
• putPointToCritMap() : PreProcess
• putPredicate() : PredicateSet
• putPredicateSet() : PredicateSet
• putPrivateInsFdToCritMap() : PreProcess
• putPubInstanceFdToCritMap() : PreProcess
• putStatementToCritMap() : PreProcess
• PUTSTATIC() : PUTSTATIC
• putStaticFieldToCritMap() : PreProcess
• putTargetIntoMap() : IndexMaps
• putToRelVarMap() : SlicingMethod
• putUsedVarIntoRelSet() : SlicingMethod

- q -

• queryKindComboBox_ActionEvents() : QueryPanel
• QueryPanel() : QueryPanel
• queryResultTree_MouseClicked() : QueryPanel
• queryResultTree_TreeSelectionEvents() : QueryPanel

- r -

• random : StackFrame
• rangeType() : TransSystem
• reachableFrom() : Builder
• reachableMethods : Slicer
• reachableStmtFrom() : SlicingMethod, LockAnalysis
• reachableStmtSetFrom() : SlicingMethod
• reachingDefOfInstanceField() : BuildPDG
• reachingDefOfStaticField() : BuildPDG
• read_lookahead() : lr_parser
• readAttributes() : ClassParser, ClassFile, ClassParser
• readClass() : ClassFile
• readClassInfo() : ClassParser
• readConstant() : Constant
• readConstantPool() : ClassParser, ClassFile, ClassParser
• readFields() : ClassParser, ClassFile, ClassParser
• readID() : ClassParser
• readInstruction() : Instruction
• readInterfaces() : ClassParser
• readMethods() : ClassParser, ClassFile, ClassParser
• readVersion() : ClassParser
• readyDependence() : InterClassAnalysis
• readyDependMap : BuildPDG
• readyDependOnEnters() : LockAnalysis
• readyDependOnWaits() : LockAnalysis
• ReadyDependStmt() : ReadyDependStmt
• readyForMethod() : InterClassAnalysis
• real_next : virtual_parse_stack
• real_stack : virtual_parse_stack
• reconstructInstructions() : CFG
• recordGlobalVarAssignments() : SmvTrans
• recordGlobalVarUpdates() : SmvTrans
• recordLockStatusUpdates() : SmvTrans
• recordThreadStatusUpdates() : SmvTrans
• recordType() : TransSystem
• redirectBranches() : InstructionList
• redirectCPRefs() : Instruction_intindex, Instruction_byteindex, Instruction
• redirectExceptionHandlers() : InstructionList
• redirectLocalVariables() : InstructionList
• reduce() : Reducer
• reduce_tab : lr_parser
• reduce_table() : lr_parser, parser
• Ref() : Ref
• refAnyType() : TransSystem
• refClassTokenArray : FGActionArrayStore, FGActionArrayRef
• referenceClass() : Class2HTML
• ReferenceType() : ReferenceType
• referenceValueSet() : Analysis
• refIndex() : SpinTrans, SmvTrans
• reflection : ClassInfo
• refType() : TransSystem
• refTypeTable : TypeExtractor
• refValue() : SmvTrans
• refVarsOf() : SlicingMethod
• regVInvoke() : CallBackRegistry
• reinit() : VirtualMachine
• relabel() : ClassFile
• relevantExceptionClasses() : PostProcessOnAnnotation, PostProcess
• relevantFDClass() : PostProcessOnAnnotation, PostProcess
• relevantFields : PostProcessOnAnnotation, PostProcess
• relevantInterfaceAndSuperClasses() : PostProcessOnAnnotation
• relVarMap : SliceCriterion
• removableClasses : PostProcess
• removableSootClasses : PostProcessOnAnnotation
• remove() : ThreadList, WorkList, InstructionList
• removeAllTargeters() : InstructionHandle
• removeArguments() : ThreadInfo
• removeAttribute() : InstructionHandle, FieldGenOrMethodGen, ClassGen, MethodGen, ClassGen
• removeClass() : Repository
• removeCodeAttribute() : MethodGen
• removeEmptyBlock() : PostProcessOnAnnotation, PostProcess
• removeEmptyConditionalBlock() : PostProcessOnAnnotation, PostProcess
• removeEmptyLock() : PostProcessOnAnnotation, PostProcess
• removeEmptyTry() : PostProcessOnAnnotation, PostProcess
• removeEmptyTryFinally() : PostProcessOnAnnotation, PostProcess
• removeException() : MethodGen
• removeExceptionCaught() : IndexMaps, BuildPDG
• removeExceptionHandler() : MethodGen
• removeExceptionHandlers() : MethodGen
• removeExceptions() : MethodGen
• removeField() : ClassGen, SootClass, ClassGen
• removeFieldInClinit() : PostProcessOnAnnotation, PostProcess
• removeIndirectRelations() : TypeResolver
• removeInterface() : ClassGen, SootClass, ClassGen
• removeIrrelevantFields() : PostProcessOnAnnotation, PostProcess
• removeLineNumber() : MethodGen
• removeLineNumbers() : MethodGen
• removeLocalVariable() : MethodGen
• removeLocalVariables() : MethodGen
• removeLocationButton_ActionEvents() : CriterionViewer
• removeLocationFrom() : CriterionViewer
• removeMethod() : ClassGen, SootClass, ClassGen
• removeNOPs() : MethodGen
• removeObserver() : MethodGen, InstructionList, FieldGen, ClassGen
• removeSourceFor() : PostProcess
• removeStatementButton_ActionEvents() : CriterionViewer
• removeTargeter() : InstructionHandle
• removeTrapsOf() : PostProcess
• removeVarsButton_ActionEvents() : CriterionViewer
• repaintTrees() : CodeBrowserPane
• replace() : Utility
• replaceField() : ClassGen
• replaceMethod() : ClassGen
• report() : JPF
• report_error() : lr_parser, parser
• report_fatal_error() : lr_parser
• reporter : JPF
• Reporter() : Reporter
• reread() : FindPattern
• resClassCons() : PostProcessOnAnnotation, PostProcess
• reservedNames : TransSystem
• reset() : ValueVariantManager, ValueIndexManager, StaticFieldManager, MethodVariantManager, MethodIndexManager, InstanceVariantManager, InstanceIndexManager, FA, CodeIndexManagerAlloc, CodeIndexManager, BOFA, ArrayVariantManager, ArrayIndexManagerValueVariant, ArrayIndexManager, Utf8_Enumeration
• resetDeadVariables() : SpinTrans
• resetRowSelection() : JTreeTable::ListToTreeSelectionModelWrapper
• residualParameters() : PostProcessOnAnnotation, PostProcess
• residualSootClassArray : Slicer
• resizeViewer() : DependencyValueViewer
• resolve() : SootClass
• resolveComplexRelations() : TypeResolver
• resolveIfNecessary() : SootClass
• resolveSingleRelations() : TypeResolver
• resolveTargets() : Ref
• restart_lookahead() : lr_parser
• result : Slicer, Analysis::RefValueSwitch
• RET() : RET
• ReturnInstruction() : ReturnInstruction
• returnNode : MethodVariant
• returns : Instruction
• returnToVoid() : PostProcess
• returnType : FGActionInvoke
• returnVariable : BlockMap
• rmIrrelevantFds() : PostProcessOnAnnotation, PostProcess
• rmIrrelevantParasForInvoke() : PostProcessOnAnnotation, PostProcess
• rmIrrelevantParasForMd() : PostProcessOnAnnotation, PostProcess
• rmMethodAndClass() : PostProcessOnAnnotation, PostProcess
• rmParasOfInvokeExpr() : PostProcessOnAnnotation, PostProcess
• rmUnusedLocals() : PostProcessOnAnnotation
• root : Tree
• rootSootClass : BOFA
• rootSootMethod : BOFA
• run() : Reporter, JPF, Engine, SpinTrans, SmvTrans, Slicer, FA
• running : Reporter
• runSmv() : SmvTrans
• runSpin() : SpinTrans, DSpinTrans
• RUNTIME_EXCEPTION : ExceptionConstants

- s -

• sa : KernelState
• safeBlocks : ClassInfo
• safeBlocksPool : ClassInfo
• safeLock() : LockAnalysis
• sameClass() : ClassFile
• saveClassFile() : ClassFile
• sc : FGActionInvoke
• scan() : lr_parser
• sCriterion : MethodInfo
• search : FindPattern, JPF
• searchOpcode() : Utility
• select() : ValueVariantManager, ValueIndexManagerPoint, ValueIndexManagerAlloc, ValueIndexManager, StaticFieldManager, MethodVariantManager, MethodIndexManagerPoint, MethodIndexManager, InstanceVariantManager, InstanceIndexManagerPoint, InstanceIndexManager, CodeIndexManagerAlloc, CodeIndexManager, ClassTokenSimple, ClassTokenManaged, ClassTokenArray, ArrayVariantManager, ArrayIndexManagerValueVariant, ArrayIndexManager
• Select() : Select
• setAccessFlags() : AccessFlags
• setActualSizesFromTrace() : BirState
• setAllowField() : DecompilerUtil
• setAttributes() : JavaClass, FieldOrMethod, Code, JavaClass, FieldOrMethod, Code
• setBit() : Utility
• setBounds() : JTreeTable::TreeTableCellRenderer
• setBytes() : Unknown, Synthetic, Deprecated, ConstantUtf8, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, Unknown, Synthetic, Deprecated, ConstantUtf8, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble
• setCatchType() : CodeException
• setChoice() : BirTrace
• setClassIndex() : ConstantCP
• setClassName() : JavaClass
• setClassNameIndex() : JavaClass
• setCode() : Code
• setConstant() : ConstantPoolGen, ConstantPool, ConstantPoolGen, ConstantPool
• setConstantPool() : LocalVariable, JavaClass, FieldOrMethod, ConstantPool, Attribute, LocalVariable, JavaClass, FieldOrMethod, ConstantPool, Attribute
• setConstantValueIndex() : ConstantValue
• setCurrentNodeSelected() : CodeBrowserPane
• setDebugInfo() : DecompilerUtil
• setDeclaringClassOrInterface() : Method, Field
• setDefaultValue() : DecompilerField
• setDependFrame() : QueryPanel, DependencyValueViewer, CriterionViewer, CodeBrowserPane
• setEndPC() : CodeException
• setExceptionIndexTable() : ExceptionTable
• setExceptionTable() : Code
• setField() : Fields
• setFields() : JavaClass
• setFileName() : JavaClass
• setGoOn() : BasicBlock
• setHandlerPC() : CodeException
• setIncrement() : IINC
• setIndex() : RET, LocalVariableInstruction, LDC, IINC, CPInstruction, LocalVariable, RET, LocalVariableInstruction, LDC, IINC, CPInstruction, LocalVariable
• setInit() : BlockMap
• setInitValue() : FieldGen
• setInnerAccessFlags() : InnerClass
• setInnerClasses() : InnerClasses
• setInnerClassIndex() : InnerClass
• setInnerNameIndex() : InnerClass
• setInstruction() : InstructionHandle, BranchHandle, InstructionHandle, BranchHandle
• setInstructionList() : FindPattern
• setInterfaceNames() : JavaClass
• setInterfaces() : JavaClass
• setInterferenceMap() : BuildPDG
• setIntersection() : SetUtil
• setJPF() : Engine
• setJumps() : BlockMap
• setLength() : LocalVariable, Attribute, LocalVariable, Attribute
• setLineNumber() : LineNumber
• setLineNumberTable() : LineNumberTable
• setLocals() : BlockMap
• setLocalVariable() : ThreadInfo
• setLock() : SynchroStmt
• setLockAnalysis() : BuildPDG
• setLockCount() : ThreadInfo
• setLongLocalVariable() : ThreadInfo
• setMajor() : ClassGen, JavaClass
• setMaxLocals() : MethodGen, Code, MethodGen, Code
• setMaxStack() : MethodGen, Code, MethodGen, Code
• setMethodName() : MethodGen
• setMethods() : JavaClass
• setMinor() : ClassGen, JavaClass
• setModifier() : DecompilerField
• setModifiers() : Method, Field, SootClass
• setName() : DecompilerField, SootClass
• setNameAndTypeIndex() : ConstantCP
• setNameIndex() : LocalVariable, FieldOrMethod, ConstantNameAndType, ConstantClass, Attribute, LocalVariable, FieldOrMethod, ConstantNameAndType, ConstantClass, Attribute
• setOp1() : InExpr
• setOp2() : InExpr
• setOuterClassIndex() : InnerClass
• setPC() : ThreadInfo
• setPMGClassIndex() : PMGClass
• setPMGIndex() : PMGClass
• setPosition() : InstructionHandle
• setPositions() : InstructionList
• setPostProcessValues() : CodeBrowserPane
• setReadyDependMap() : BuildPDG
• setRef() : GenericSet
• setResolved() : SootClass
• setReturnType() : Method
• setRoot() : Tree, AbstractTreeTableModel
• setRowHeight() : JTreeTable, JTreeTable::TreeTableCellRenderer
• setScanner() : lr_parser
• setSelected() : CodeBrowserPane
• setSignatureIndex() : Signature, LocalVariable, FieldOrMethod, ConstantNameAndType, Signature, LocalVariable, FieldOrMethod, ConstantNameAndType
• setSlot() : LocalVariableGen
• setSource() : TransSystem
• setSourceFileIndex() : SourceFile
• setSourceFileName() : JavaClass
• setSS() : VirtualMachine
• setStartPC() : LocalVariable, LineNumber, CodeException, LocalVariable, LineNumber, CodeException
• setState() : VirtualMachine
• setStatus() : ThreadInfo
• setStmt() : FGNodeAST
• setStringIndex() : ConstantString
• setSuperClass() : SootClass
• setSuperclassName() : JavaClass
• setSuperclassNameIndex() : JavaClass
• setTag() : Instruction
• setTarget() : ThreadInfo, Select, BranchInstruction, BranchHandle, Select, BranchInstruction, BranchHandle
• setToEmptyState() : DependencyValueViewer
• setToInvokeInit() : DataBox
• setToNewExprStmt() : DataBox
• setTrap() : BirTrace
• setType() : DecompilerField, ChooseExpr
• setValueAt() : TreeTableModel, AbstractTreeTableModel
• shift_under_error() : lr_parser
• shortToBytes() : Instruction
• showCode() : ByteCode
• ShowErrorTrail() : VirtualMachine
• Signature() : Signature
• signature : MethodInfo
• signatureToString() : Utility
• singleton : Analysis
• SIPUSH() : SIPUSH
• size : Fields, GenericSet, BasicBlock, TransSequence, InstructionList, IntSet, cp_info, CONSTANT_Utf8_info, CONSTANT_String_info, CONSTANT_NameAndType_info, CONSTANT_Methodref_info, CONSTANT_Long_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Integer_info, CONSTANT_Float_info, CONSTANT_Fieldref_info, CONSTANT_Double_info, CONSTANT_Class_info, BBQ, InstructionList, BasicBlock
• skel : CFGSkel
• SliceCriterion() : SliceCriterion
• sliceInterests : DeadlockRelatedCriterion
• sliceInterestVec : Slicer
• sliceLocalSet : PreProcess
• slicePoints : SliceCriterion
• Slicer() : Slicer
• SliceStatement() : SliceStatement
• sliceTraceContains() : QueryPanel
• SliceTraceNode() : SliceTraceNode
• sliceVars : SliceCriterion
• slicing() : Slicer
• SlicingMethod() : SlicingMethod
• slicingMethod() : SlicingMethod
• slicingMethodAgain() : SlicingMethod
• slicingMethods() : Slicer
• sm : TempStmt, TempExpr, Analysis::StmtMethodPair
• smp : Analysis::ExprStmtMethodTriple
• SmvVar() : SmvVar
• soot() : Demo
• SootClass() : SootClass
• sootClass : MethodInfo, ClassTokenSimple, ClassTokenManaged
• sootClassManager : BOFA
• sootField : InstanceVariant
• sootMethod : MethodVariant, FGStmt
• sootMethodInfoMap : Slicer
• sort() : SWITCH, MethodGen, SWITCH
• sortUnique() : Analysis
• source : ClassInfo
• SourceFile : SourceFile, attribute_info
• sourcefile_index : SourceFile_attribute
• sourceFileName : ClassInfo
• specialConstructor : ParseException
• specialInvokeDdAnalysis() : BuildPDG
• specialInvokeList : IndexMaps
• specialize() : SpinTrans, ExprNode, CaseNode
• specialToken : Token
• splitString() : Util
• sRefs : ClassInfo
• ss : VirtualMachine, KernelState
• stack : lr_parser, ThreadInfo
• StackFrame() : StackFrame
• stackFramePool : ThreadInfo
• StackInstruction() : StackInstruction
• start() : Reporter, CFGSkel
• start_inst : exception_table_entry
• start_pc : local_variable_table_entry, line_number_table_entry, exception_table_entry
• start_production() : lr_parser, parser
• start_state() : lr_parser, parser
• startingTime : Status
• stateBacktrackStack : VirtualMachine
• stateChanged() : ViewerTabbedPane
• stateIndex : JimpleTrace
• statementsList_ListSelectionEvents() : CriterionViewer
• statementsList_MouseClicked() : CriterionViewer
• statementsListContains() : CriterionViewer
• states : Status
• stateStoringStack : VirtualMachine
• StateVar() : StateVar
• stateVariables() : SpinTrans, SmvTrans
• staticFieldDefStmtList : BuildPDG
• staticFieldIndex() : ClassInfo
• staticFields : ClassInfo, Fields
• staticMethods : ClassInfo
• staticReachDef : BuildPDG
• statistics : Engine
• status : JPF
• Status() : Status
• stmt : ValueVariant, FGStmt, FGNodeAST, FGExpr, Analysis::StmtMethodPair, BasicBlock
• stmtAnnotation : SliceTraceNode
• stmtArrayToBitSet() : SetUtil
• stmtKind : SynchroStmt
• STMTLEVEL : BlockMap
• stmtList : BuildPDG
• StmtMethodPair() : Analysis::StmtMethodPair
• stmts : BasicBlock
• stmtsBetween() : LockAnalysis
• stmtSetToBitSet() : SetUtil
• stmtSynchroDependOn() : LockAnalysis
• stmtToCdOn : BuildPDG
• stmtToDdOn : BuildPDG
• stmtToImmedPostdom : BuildPDG
• stmtToPostdoms : BuildPDG
• stop() : Reporter
• storageMemory : Status
• store : JPF
• storeByClass() : DynamicMap
• storedClasses : BOFA
• string_index : CONSTANT_String_info
• stripAttributes() : MethodGen
• succ : BasicBlock
• succDivergencePointsOf() : BuildPDG
• succs : BasicBlock, FGNode
• succToolBarButton_ActionEvents() : CallGraphDialog
• summarizeExprValueVariants() : FA
• summarizeInstanceFieldVariants() : FA
• summarizeLastValueVariants() : FA
• summarizeLocalValueVariants() : FA
• summarizeParameterValueVariants() : FA
• summarizeStaticFieldVariants() : FA
• summarizeThisValueVariants() : FA
• super_class : ClassFile
• superClass : ClassInfo
• superType() : Ref
• sw : FGStmt
• swap() : ThreadInfo
• swapInstruction() : InstructionHandle
• SWITCH() : SWITCH
• sym : Symbol
• SynchroStmt() : SynchroStmt
• syntax_error() : lr_parser
• Synthetic() : Synthetic

- t -

• TABLESWITCH() : TABLESWITCH
• tag : cp_info
• tail : BasicBlock
• take() : BoundedBuffer
• tdIndex : ThreadInfo
• TempExpr() : TempExpr
• TempStmt() : TempStmt
• Test() : Test
• THIS : InstructionConstants
• this_class : ClassFile
• thisNode : MethodVariant
• thisRefLocal : IndexMaps
• thisRefStmtIndex : IndexMaps
• thread : Reporter
• threadBlockedExpr() : SmvTrans
• threadData : ThreadInfo
• threadDataClone() : ThreadInfo
• threadDataPool : ThreadInfo
• ThreadInfo() : ThreadInfo
• ThreadList() : ThreadList
• threadOfKey() : TransSystem
• threadOperation() : TransExtractor
• threads : ThreadList
• threadTerminatedExpr() : SmvTrans
• THROWABLE : ExceptionConstants
• throwException() : ThreadInfo
• tl : KernelState
• toBriefString() : LogicalNotExpr, InExpr, HookExpr
• toHexString() : Utility
• toInt() : ClassHierarchy::ToInt
• tokenImage : ParseException
• toLoc() : TransSequence
• toName() : method_info, field_info
• top() : virtual_parse_stack, ThreadInfo
• topClone() : ThreadInfo
• tos : lr_parser
• toString() : TreeNode, Tree, Ref, FieldInfo, GenericSet, SliceStatement, Type, Method, Field, InExpr, ChooseExpr, Ref, Record, Range, Lock, Field, Enumerated, Collection, Bool, Array, Token, Type, SIPUSH, Select, RET, PUSH, NEWARRAY, MULTIANEWARRAY, MethodGen, LocalVariableInstruction, INVOKEINTERFACE, InvokeInstruction, InstructionList, InstructionHandle, Instruction, IINC, FieldInstruction, FieldGen, CPInstruction, ConstantPoolGen, BranchInstruction, BIPUSH, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, ConstantCP, ConstantClass, Constant, CodeException, Code, Attribute, ClassHierarchy, Instruction_Tableswitch, Instruction_Newarray, Instruction_Multianewarray, Instruction_Lookupswitch, Instruction_longbranch, Instruction_Invokeinterface, Instruction_intvar, Instruction_intindex, Instruction_intbranch, Instruction_int, Instruction_Iinc, Instruction_bytevar, Instruction_byteindex, Instruction_byte, Instruction, cp_info, CONSTANT_Utf8_info, CONSTANT_String_info, CONSTANT_NameAndType_info, CONSTANT_Methodref_info, CONSTANT_Long_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Integer_info, CONSTANT_Float_info, CONSTANT_Fieldref_info, CONSTANT_Double_info, CONSTANT_Class_info, ClassFile, BasicBlock, ArrayType, Ref, Type, SIPUSH, Select, RET, ReferenceType, PUSH, NEWARRAY, MULTIANEWARRAY, LocalVariableInstruction, INVOKEINTERFACE, InvokeInstruction, InstructionList, Instruction, IINC, FieldInstruction, CPInstruction, ConstantPoolGen, BranchInstruction, BIPUSH, Unknown, Synthetic, SourceFile, Signature, PMGClass, Method, LocalVariableTable, LocalVariable, LineNumberTable, LineNumber, JavaClass, InnerClasses, InnerClass, Field, ExceptionTable, Deprecated, ConstantValue, ConstantUtf8, ConstantString, ConstantPool, ConstantNameAndType, ConstantLong, ConstantInteger, ConstantFloat, ConstantDouble, ConstantCP, ConstantClass, Constant, CodeException, Code, Attribute
• toUtf8() : CONSTANT_Utf8_info
• traceRootIs() : QueryPanel
• transCouldBeTakenExpr() : SmvTrans
• transform : ClassHierarchy
• transitions : SpinTrans, SmvTrans, Status
• translate() : SpinTrans, SmvTrans, DSpinTrans
• translateBinaryOp() : SpinTrans
• translateGlobal() : SmvTrans
• translateLocation() : SpinTrans
• translateSeq() : SpinTrans
• translateSequence() : SpinTrans
• translateThread() : SmvTrans
• translateTrans() : SpinTrans
• translateUnaryOp() : SpinTrans
• TransSystem() : TransSystem
• transTakenExpr() : SmvTrans
• Tree() : Tree
• tree : TreeNode, JTreeTable
• TreeNode() : TreeNode
• try_parse_ahead() : lr_parser
• type : Fields, FieldInfo
• TYPE_OF_OPERANDS : Constants
• typeName() : cp_info, CONSTANT_Utf8_info, CONSTANT_String_info, CONSTANT_NameAndType_info, CONSTANT_Methodref_info, CONSTANT_Long_info, CONSTANT_InterfaceMethodref_info, CONSTANT_Integer_info, CONSTANT_Float_info, CONSTANT_Fieldref_info, CONSTANT_Double_info, CONSTANT_Class_info
• typeNode() : ClassHierarchy::ConstructorChooser
• typeNodeHashtable : ClassHierarchy
• typeNodeInstances : ClassHierarchy
• typeOfMethodSignature() : Utility
• typeOfSignature() : Utility
• typeRepresented() : TransExtractor
• TypeResolver() : TypeResolver
• typeToSignature() : Utility
• typeVariableHashtable : TypeResolver
• typeVariableInstances : TypeResolver
• typeVariableStringHashtable : TypeResolver

- u -

• UNDEFINED : Constants
• union() : GenericSet
• unique : Status
• Unknown() : Unknown
• unknownClassToken : ClassTokenSimple, ClassTokenManaged
• unlock() : Monitor
• unmark() : CFGSkel
• unpackFromStrings() : lr_parser
• unparse() : ClassFile
• unparseMethod() : ClassFile
• unreachableClasses : Slicer
• unrecovered_syntax_error() : lr_parser
• unresolvedTypeVariables : TypeResolver
• update() : MethodGen, InstructionList, FieldGen, ClassGen
• updateCase() : SmvCase
• updateMemoryUsage() : Status
• updateMethodTree() : CodeBrowserPane
• updatePosition() : Select, JSR, InstructionHandle, GOTO, BranchInstruction, BranchHandle, Select, JSR, InstructionHandle, GOTO, BranchInstruction, BranchHandle
• updateSelectedPathsFromSelectedRows() : JTreeTable::ListToTreeSelectionModelWrapper
• updateTarget() : Select, LocalVariableGen, CodeExceptionGen, BranchInstruction, BranchHandle, Select, LocalVariableGen, CodeExceptionGen, BranchInstruction, BranchHandle
• updateUI() : JTreeTable, JTreeTable::TreeTableCellRenderer
• updatingListSelectionModel : JTreeTable::ListToTreeSelectionModelWrapper
• used_by_parser : Symbol
• user_init() : lr_parser
• USES : Analysis
• Utf8_Enumeration() : Utf8_Enumeration
• Util() : Util

- v -

• value : FGExpr, ReferenceLiteral
• valueChanged() : QueryPanel, DependencyValueViewer, CodeBrowserPane
• valueIndex : ValueVariant
• ValueIndexAlloc() : ValueIndexManagerAlloc::ValueIndexAlloc
• valueIndexManager : ValueVariantManager
• ValueIndexManagerAlloc() : ValueIndexManagerAlloc
• ValueIndexManagerPoint() : ValueIndexManagerPoint
• values : Fields, FGWorkSendVals, FGNode
• valueTree_MouseClicked() : DependencyValueViewer
• valueTree_TreeSelectionEvents() : DependencyValueViewer
• valueVariant : ArrayIndexManagerValueVariant::ArrayIndexValueVariant
• ValueVariant() : ValueVariant
• valueVariantMap : ArrayIndexManagerValueVariant
• var : DataBox
• varName() : SmvTypeDecl
• varsContainArg() : SlicingMethod
• varsList_ListSelectionEvents() : CriterionViewer
• VectorSet() : VectorSet
• VERSION : Main, Engine
• ViewerTabbedPane() : ViewerTabbedPane
• viewerTabbedPane_ChangeEvents() : ViewerTabbedPane
• VInvokeCallBack() : VInvokeCallBack
• vinvokeRegister : CallBackRegistry
• virtual_parse_stack() : virtual_parse_stack
• VirtualMachine() : VirtualMachine
• visibleRow : JTreeTable::TreeTableCellRenderer
• visit() : DefaultVisitor
• vm : JPF
• VOID : Type
• vRefs : Fields
• vstack : virtual_parse_stack

- w -

• wait() : Monitor
• waitingThreads : Monitor
• waitNotify : SynchroStmt
• waitStmtList : LockAnalysis
• warnedLocalInfo : MethodInfo
• whoCallMe : MethodInfo
• windowActivated() : DependencyValueViewer
• windowClosed() : DependencyValueViewer
• windowClosing() : DependencyValueViewer
• windowDeactivated() : DependencyValueViewer
• windowDeiconified() : DependencyValueViewer
• windowIconified() : DependencyValueViewer
• windowOpened() : DependencyValueViewer
• WorkList() : WorkList
• workList : FA
• write() : SootClass
• writeAttributes() : ClassFile
• writeClass() : ClassFile
• writeConstantPool() : ClassFile
• writeField() : MethodHTML
• writeFields() : ClassFile
• writeMethod() : CodeHTML
• writeMethods() : ClassFile

- x -

• xjpf : Engine
• xss : VirtualMachine

---