Bandera File List

• AAbstractFunction.java [code]
• AAbstractMethodDeclaration.java [code]
• AAbstractMethodDeclarationInterfaceMemberDeclaration.java [code]
• AAbstractModifier.java [code]
• abstraction/specification/node/AAddExpShiftExp.java [code]
• specification/predicate/node/AAddExpShiftExp.java [code]
• AAdditiveExpShiftExp.java [code]
• AAllocation.java [code]
• AAllocationAction.java [code]
• lib/jpf/de/fub/bytecode/generic/AALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/AALOAD.java [code]
• src/de/fub/bytecode/generic/AALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/AALOAD.java [code]
• abstraction/specification/node/AAndAndExp.java [code]
• specification/node/AAndAndExp.java [code]
• specification/predicate/node/AAndAndExp.java [code]
• AAndBinaryOperator.java [code]
• node/AAndBinOp.java [code]
• predicate/node/AAndBinOp.java [code]
• abstraction/specification/node/AAndBitAndExp.java [code]
• specification/predicate/node/AAndBitAndExp.java [code]
• abstraction/specification/node/AAndExclusiveOrExp.java [code]
• specification/predicate/node/AAndExclusiveOrExp.java [code]
• AAndExpAndExp.java [code]
• AAndExpExclusiveOrExp.java [code]
• AAndExpr6.java [code]
• abstraction/specification/node/AAndOrExp.java [code]
• specification/node/AAndOrExp.java [code]
• specification/predicate/node/AAndOrExp.java [code]
• AAnyAbstractDef.java [code]
• AAnyAnyId.java [code]
• AAnyPattern.java [code]
• AArgsArgs.java [code]
• AArgumentListArgumentList.java [code]
• AArrayAccessExp.java [code]
• AArrayAccessLeftHandSide.java [code]
• AArrayAccessPrimaryExp.java [code]
• AArrayAccessPrimaryNoNewArray.java [code]
• AArrayCreationExpPrimary.java [code]
• AArrayInitializer.java [code]
• AArraylength.java [code]
• AArraylengthExpr0.java [code]
• AArraylengthLhs.java [code]
• AArrayReferenceType.java [code]
• AArrayselectExpr0.java [code]
• AArrayselectLhs.java [code]
• AArrayTypespec.java [code]
• AArrayVariableInitializer.java [code]
• AAssert.java [code]
• AAssertaction.java [code]
• AAssertactionAction.java [code]
• AAssertDef.java [code]
• AAssertionCompilationUnit.java [code]
• AAssertionImport.java [code]
• AAssignAssignmentOperator.java [code]
• AAssignedVariableDeclarator.java [code]
• birp/node/AAssignment.java [code]
• jjjc/node/AAssignment.java [code]
• AAssignmentAction.java [code]
• AAssignmentAssignmentExp.java [code]
• AAssignmentExp.java [code]
• AAssignmentStmtExp.java [code]
• lib/jpf/de/fub/bytecode/generic/AASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/AASTORE.java [code]
• src/de/fub/bytecode/generic/AASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/AASTORE.java [code]
• AAtlocationThreadtest.java [code]
• jjjc/node/ABinaryExp.java [code]
• specification/node/ABinaryExp.java [code]
• specification/predicate/node/ABinaryExp.java [code]
• ABitAndAssignAssignmentOperator.java [code]
• ABitAndBinaryOperator.java [code]
• ABitAndBinOp.java [code]
• ABitComplementExp.java [code]
• ABitComplementUnaryExpNotPlusMinus.java [code]
• abstraction/specification/node/ABitComplementUnaryNotPlusMinusExp.java [code]
• specification/predicate/node/ABitComplementUnaryNotPlusMinusExp.java [code]
• ABitComplementUnaryOperator.java [code]
• ABitOrAssignAssignmentOperator.java [code]
• ABitOrBinaryOperator.java [code]
• ABitOrBinOp.java [code]
• ABitXorAssignAssignmentOperator.java [code]
• ABitXorBinaryOperator.java [code]
• ABitXorBinOp.java [code]
• ABlock.java [code]
• ABlockClassBodyDeclaration.java [code]
• ABlockMethodBody.java [code]
• ABlockStmt.java [code]
• ABlockStmtWithoutTrailingSubstmt.java [code]
• ABooleanLiteralLiteral.java [code]
• jjjc/node/ABooleanPrimitiveType.java [code]
• specification/predicate/node/ABooleanPrimitiveType.java [code]
• ABooleanTypespec.java [code]
• ABoolValue.java [code]
• AboutBox.java [code]
• ABreakStmt.java [code]
• ABreakStmtStmtWithoutTrailingSubstmt.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Abstract.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Abstract.java [code]
• AbstractAction.java [code]
• AbstractBanderaConstantSwitch.java [code]
• AbstractBanderaExprSwitch.java [code]
• AbstractBanderaStmtSwitch.java [code]
• AbstractBanderaValueSwitch.java [code]
• AbstractBinopExpr.java [code]
• AbstractCastExpr.java [code]
• AbstractCellEditor.java [code]
• AbstractCollection.java [code]
• AbstractConstantSwitch.java [code]
• AbstractDefinitionStmt.java [code]
• AbstractDom.java [code]
• ca/mcgill/sable/soot/jimple/AbstractExprSwitch.java [code]
• edu/ksu/cis/bandera/bir/AbstractExprSwitch.java [code]
• AbstractFloatBinopExpr.java [code]
• AbstractGrimpBinopExpr.java [code]
• AbstractGrimpFloatBinopExpr.java [code]
• AbstractGrimpIntBinopExpr.java [code]
• AbstractGrimpIntLongBinopExpr.java [code]
• AbstractInstanceFieldRef.java [code]
• AbstractInstanceOfExpr.java [code]
• AbstractInstruction.java [code]
• AbstractIntBinopExpr.java [code]
• AbstractInterfaceInvokeExpr.java [code]
• AbstractIntLongBinopExpr.java [code]
• AbstractInvokeExpr.java [code]
• Abstraction.java [code]
• AbstractionChooseFixer.java [code]
• AbstractionClassLoader.java [code]
• AbstractionGenerator.java [code]
• AbstractionLibraryManager.java [code]
• AbstractionPrinter.java [code]
• AbstractJimpleBinopExpr.java [code]
• AbstractJimpleFloatBinopExpr.java [code]
• AbstractJimpleIntBinopExpr.java [code]
• AbstractJimpleIntLongBinopExpr.java [code]
• AbstractJimpleValueSwitch.java [code]
• AbstractLengthExpr.java [code]
• AbstractList.java [code]
• AbstractMap.java [code]
• AbstractNegExpr.java [code]
• AbstractNewArrayExpr.java [code]
• AbstractNewExpr.java [code]
• AbstractNewMultiArrayExpr.java [code]
• AbstractNonStaticInvokeExpr.java [code]
• AbstractRefSwitch.java [code]
• AbstractSequentialList.java [code]
• AbstractSet.java [code]
• AbstractSpecialInvokeExpr.java [code]
• AbstractStaticInvokeExpr.java [code]
• AbstractStmt.java [code]
• AbstractStmtSwitch.java [code]
• abstraction/gui/AbstractTreeNode.java [code]
• pdgslicer/dependency/AbstractTreeNode.java [code]
• AbstractTreeTableModel.java [code]
• AbstractTypeSwitch.java [code]
• AbstractUnopExpr.java [code]
• AbstractValueBox.java [code]
• AbstractVirtualInvokeExpr.java [code]
• AByteIntegralType.java [code]
• jjjc/node/ABytePrimitiveType.java [code]
• specification/predicate/node/ABytePrimitiveType.java [code]
• ACaseSwitchLabel.java [code]
• ACastExpUnaryExpNotPlusMinus.java [code]
• ACastUnaryNotPlusMinusExp.java [code]
• ACatchClause.java [code]
• Access.java [code]
• lib/jpf/de/fub/bytecode/classfile/AccessFlags.java [code]
• src/de/fub/bytecode/classfile/AccessFlags.java [code]
• AccessList.java [code]
• ACharacterLiteralLiteral.java [code]
• ACharIntegralType.java [code]
• ACharLiteral.java [code]
• jjjc/node/ACharPrimitiveType.java [code]
• specification/predicate/node/ACharPrimitiveType.java [code]
• AChoice.java [code]
• AChoiceAction.java [code]
• AChoicetail.java [code]
• AClassBody.java [code]
• AClassClassBodyDeclaration.java [code]
• AClassDeclaration.java [code]
• AClassDeclarationBlockedStmt.java [code]
• AClassDeclarationClassMemberDeclaration.java [code]
• AClassDeclarationInterfaceMemberDeclaration.java [code]
• AClassInstanceCreationExpPrimaryNoNewArray.java [code]
• AClassInstanceCreationExpStmtExp.java [code]
• AClassMemberDeclarationClassBodyDeclaration.java [code]
• AClassOption.java [code]
• AClassOrInterfaceType.java [code]
• AClassOrInterfaceTypeArrayCreationExp.java [code]
• AClassOrInterfaceTypeExp.java [code]
• AClassOrInterfaceTypeReferenceType.java [code]
• AClassType.java [code]
• AClassTypeClassTypeList.java [code]
• AClassTypeDeclaration.java [code]
• AClassTypeListClassTypeList.java [code]
• ACollection.java [code]
• ACollectionGlobal.java [code]
• AColonExp.java [code]
• ACommaFormatWord.java [code]
• ACommaWord.java [code]
• ACompilationUnit.java [code]
• node/AComplementExp.java [code]
• predicate/node/AComplementExp.java [code]
• AComplementUnaryExp.java [code]
• AComplementUnaryExpNotPlusMinus.java [code]
• abstraction/specification/node/AComplementUnaryNotPlusMinusExp.java [code]
• specification/predicate/node/AComplementUnaryNotPlusMinusExp.java [code]
• AComplementUnaryOperator.java [code]
• AConditionalAndExpConditionalAndExp.java [code]
• AConditionalAndExpConditionalOrExp.java [code]
• AConditionalExp.java [code]
• AConditionalExpAssignmentExp.java [code]
• AConditionalOrExpConditionalExp.java [code]
• AConditionalOrExpConditionalOrExp.java [code]
• lib/jpf/de/fub/bytecode/generic/ACONST_NULL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ACONST_NULL.java [code]
• src/de/fub/bytecode/generic/ACONST_NULL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ACONST_NULL.java [code]
• AConstantDeclaration.java [code]
• AConstantDeclarationInterfaceMemberDeclaration.java [code]
• AConstantDefinition.java [code]
• AConstantExp.java [code]
• AConstructorBody.java [code]
• AConstructorClassBodyDeclaration.java [code]
• AConstructorDeclaration.java [code]
• AConstructorDeclarator.java [code]
• AContinueStmt.java [code]
• AContinueStmtStmtWithoutTrailingSubstmt.java [code]
• ACpl.java [code]
• Action.java [code]
• ActionVector.java [code]
• ca/mcgill/sable/soot/jimple/AddExpr.java [code]
• edu/ksu/cis/bandera/bir/AddExpr.java [code]
• ADecimalIntegerLiteral.java [code]
• abstraction/specification/node/ADecIntLiteral.java [code]
• specification/predicate/node/ADecIntLiteral.java [code]
• abstraction/specification/node/ADecLongLiteral.java [code]
• specification/predicate/node/ADecLongLiteral.java [code]
• ADecrementUnaryOperator.java [code]
• ADefaultSwitchLabel.java [code]
• ADefaultToken.java [code]
• ADefinedType.java [code]
• ADim.java [code]
• ADimExp.java [code]
• ADivAssignAssignmentOperator.java [code]
• ADivBinaryOperator.java [code]
• ADivExpr2.java [code]
• ADivMultExp.java [code]
• ADivMultiplicativeExp.java [code]
• ADivOp.java [code]
• ADoStmt.java [code]
• ADoStmtStmtWithoutTrailingSubstmt.java [code]
• ADotFormatWord.java [code]
• ADotWord.java [code]
• ADoubleFloatingPointType.java [code]
• abstraction/specification/node/ADoubleLiteral.java [code]
• specification/predicate/node/ADoubleLiteral.java [code]
• jjjc/node/ADoublePrimitiveType.java [code]
• specification/predicate/node/ADoublePrimitiveType.java [code]
• AEmptyLiveset.java [code]
• AEmptyMethodBody.java [code]
• AEmptyStmt.java [code]
• AEmptyStmtStmtWithoutTrailingSubstmt.java [code]
• AEmptyTypeDeclaration.java [code]
• assertion/node/AEndOfLineComment.java [code]
• predicate/node/AEndOfLineComment.java [code]
• AEnumdeftail.java [code]
• AEnumeratedTypespec.java [code]
• AEqBinaryOperator.java [code]
• abstraction/specification/node/AEqBitAndExp.java [code]
• specification/predicate/node/AEqBitAndExp.java [code]
• abstraction/specification/node/AEqEqExp.java [code]
• specification/predicate/node/AEqEqExp.java [code]
• AEqEqualityExp.java [code]
• AEqExpr5.java [code]
• AEqualBinOp.java [code]
• AEqualityExpAndExp.java [code]
• AEqualTOp.java [code]
• AExactQtlBinding.java [code]
• AExclusiveOrExpExclusiveOrExp.java [code]
• AExclusiveOrExpInclusiveOrExp.java [code]
• AExitThreadop.java [code]
• AExp.java [code]
• AExpAbstractDef.java [code]
• AExpArgumentList.java [code]
• AExpCastExp.java [code]
• AExpListForInit.java [code]
• AExpr.java [code]
• AExpr0Expr1.java [code]
• AExpr1Expr2.java [code]
• AExpr2Expr3.java [code]
• AExpr3Expr4.java [code]
• AExpr4Expr5.java [code]
• AExpr5Expr6.java [code]
• AExpr6Expr7.java [code]
• AExpressionPropositionDefinition.java [code]
• AExpStmt.java [code]
• AExpStmtStmtWithoutTrailingSubstmt.java [code]
• AExpVariableInitializer.java [code]
• AExpWord.java [code]
• AExtendsExtendsInterfaces.java [code]
• AExtendsInterfacesExtendsInterfaces.java [code]
• AFalseBool.java [code]
• AFalseBooleanLiteral.java [code]
• AFalseLiteral.java [code]
• AField.java [code]
• AFieldAccessExp.java [code]
• AFieldAccessLeftHandSide.java [code]
• AFieldAccessPrimaryExp.java [code]
• AFieldAccessPrimaryNoNewArray.java [code]
• AFieldClassBodyDeclaration.java [code]
• AFieldDeclaration.java [code]
• AFieldDeclarationClassMemberDeclaration.java [code]
• AFieldOption.java [code]
• AFieldselectExpr0.java [code]
• AFieldselectLhs.java [code]
• AFilterTypeOp.java [code]
• AFinally.java [code]
• AFinallyOneTryStmt.java [code]
• AFinalModifier.java [code]
• AFloatFloatingPointType.java [code]
• AFloatingPointLiteralLiteral.java [code]
• AFloatingPointTypeNumericType.java [code]
• abstraction/specification/node/AFloatLiteral.java [code]
• specification/predicate/node/AFloatLiteral.java [code]
• jjjc/node/AFloatPrimitiveType.java [code]
• specification/predicate/node/AFloatPrimitiveType.java [code]
• AFormalParameter.java [code]
• AFormalParameterFormalParameterList.java [code]
• AFormalParameterListFormalParameterList.java [code]
• AFormat.java [code]
• AFormatUnit.java [code]
• AForStmt.java [code]
• AForStmtNoShortIf.java [code]
• AForStmtNoShortIfStmtNoShortIf.java [code]
• AForStmtStmt.java [code]
• AForUpdate.java [code]
• AGeExpr4.java [code]
• AGreaterBinOp.java [code]
• AGreaterEqualBinOp.java [code]
• abstraction/specification/node/AGreaterEqualRelExp.java [code]
• specification/predicate/node/AGreaterEqualRelExp.java [code]
• AGreaterEqualTOp.java [code]
• abstraction/specification/node/AGreaterRelExp.java [code]
• specification/predicate/node/AGreaterRelExp.java [code]
• AGreaterTOp.java [code]
• AGtBinaryOperator.java [code]
• AGteqBinaryOperator.java [code]
• AGteqRelationalExp.java [code]
• AGtExpr4.java [code]
• AGtRelationalExp.java [code]
• AHaslockLocktestop.java [code]
• AHexIntegerLiteral.java [code]
• abstraction/specification/node/AHexIntLiteral.java [code]
• specification/predicate/node/AHexIntLiteral.java [code]
• abstraction/specification/node/AHexLongLiteral.java [code]
• specification/predicate/node/AHexLongLiteral.java [code]
• AHoleFormatWord.java [code]
• AIdAnyId.java [code]
• AIdArgs.java [code]
• AIdConst.java [code]
• AIdFormatWord.java [code]
• AIdIdList.java [code]
• node/AIdIds.java [code]
• pattern/node/AIdIds.java [code]
• AIdPrimaryExp.java [code]
• AIdSet.java [code]
• AIdsIdList.java [code]
• node/AIdsIds.java [code]
• pattern/node/AIdsIds.java [code]
• AIdValue.java [code]
• AIdVariableDeclarator.java [code]
• AIdWord.java [code]
• AIfStmt.java [code]
• AIfThenElseStmt.java [code]
• AIfThenElseStmtNoShortIf.java [code]
• AIfThenElseStmtNoShortIfStmtNoShortIf.java [code]
• AIfThenElseStmtStmt.java [code]
• AIfThenStmt.java [code]
• AIfThenStmtStmt.java [code]
• AImplicationExp.java [code]
• AImplyBinOp.java [code]
• AImplyImplicationExp.java [code]
• abstraction/specification/node/AInclusiveOrAndExp.java [code]
• specification/predicate/node/AInclusiveOrAndExp.java [code]
• AInclusiveOrExpConditionalAndExp.java [code]
• AInclusiveOrExpInclusiveOrExp.java [code]
• AIncrementUnaryOperator.java [code]
• AInitClassInterfaceArrayCreationExp.java [code]
• AInitClassInterfaceExp.java [code]
• AInitializer.java [code]
• AInitPrimitiveArrayCreationExp.java [code]
• AInitPrimitiveExp.java [code]
• jjjc/node/AInstanceofExp.java [code]
• specification/predicate/node/AInstanceofExp.java [code]
• AInstanceofExpr0.java [code]
• AInstanceofRelationalExp.java [code]
• AInstanceofRelExp.java [code]
• AInstanceParams.java [code]
• AInstanceQtlBinding.java [code]
• AIntConst.java [code]
• AIntegerLiteralLiteral.java [code]
• AIntegerValue.java [code]
• AIntegralType.java [code]
• AIntegralTypeNumericType.java [code]
• AInterfaceBody.java [code]
• AInterfaceClassBodyDeclaration.java [code]
• AInterfaceDeclaration.java [code]
• AInterfaceDeclarationClassMemberDeclaration.java [code]
• AInterfaceDeclarationInterfaceMemberDeclaration.java [code]
• AInterfaces.java [code]
• AInterfaceType.java [code]
• AInterfaceTypeDeclaration.java [code]
• AInterfaceTypeInterfaceTypeList.java [code]
• AInterfaceTypeListInterfaceTypeList.java [code]
• AIntIntegralType.java [code]
• jjjc/node/AIntPrimitiveType.java [code]
• specification/predicate/node/AIntPrimitiveType.java [code]
• AInvokePropositionDefinition.java [code]
• AJoinThreadop.java [code]
• ALabeledStmt.java [code]
• ALabeledStmtNoShortIf.java [code]
• ALabeledStmtNoShortIfStmtNoShortIf.java [code]
• ALabeledStmtStmt.java [code]
• ALabelStmt.java [code]
• ALeExpr4.java [code]
• abstraction/specification/node/ALeftShiftExp.java [code]
• specification/predicate/node/ALeftShiftExp.java [code]
• ALessBinOp.java [code]
• ALessEqualBinOp.java [code]
• abstraction/specification/node/ALessEqualRelExp.java [code]
• specification/predicate/node/ALessEqualRelExp.java [code]
• ALessEqualTOp.java [code]
• abstraction/specification/node/ALessRelExp.java [code]
• specification/predicate/node/ALessRelExp.java [code]
• ALessTOp.java [code]
• jjjc/node/ALiteralExp.java [code]
• specification/predicate/node/ALiteralExp.java [code]
• abstraction/specification/node/ALiteralPrimaryExp.java [code]
• specification/predicate/node/ALiteralPrimaryExp.java [code]
• ALiteralPrimaryNoNewArray.java [code]
• ALivevar.java [code]
• lib/jpf/de/fub/bytecode/generic/AllocationInstruction.java [code]
• src/de/fub/bytecode/generic/AllocationInstruction.java [code]
• Allocator.java [code]
• lib/jpf/de/fub/bytecode/generic/ALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ALOAD.java [code]
• src/de/fub/bytecode/generic/ALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ALOAD.java [code]
• ALocalOption.java [code]
• ALocalVariableDeclaration.java [code]
• ALocalVariableDeclarationForInit.java [code]
• ALocalVariableDeclarationInBlockedStmt.java [code]
• ALocalVariableDeclarationStmt.java [code]
• ALocalVariableDeclarationStmtBlockedStmt.java [code]
• ALocation.java [code]
• ALocationAssertion.java [code]
• ALocationPropositionDefinition.java [code]
• ALockavailableLocktestop.java [code]
• ALockLockOp.java [code]
• ALocktest.java [code]
• ALocktestExpr0.java [code]
• ALockTypespec.java [code]
• ALockupdate.java [code]
• ALockupdateAction.java [code]
• ALongIntegralType.java [code]
• jjjc/node/ALongPrimitiveType.java [code]
• specification/predicate/node/ALongPrimitiveType.java [code]
• ALParPrimaryNoNewArray.java [code]
• ca/mcgill/sable/soot/AlreadyDeclaredException.java [code]
• edu/ksu/cis/bandera/jjjc/exception/AlreadyDeclaredException.java [code]
• AlreadyManagedException.java [code]
• AlreadyThrowsException.java [code]
• ALtBinaryOperator.java [code]
• ALteqBinaryOperator.java [code]
• ALteqRelationalExp.java [code]
• ALtExpr4.java [code]
• ALtRelationalExp.java [code]
• ca/mcgill/sable/soot/AmbiguousFieldException.java [code]
• edu/ksu/cis/bandera/jjjc/exception/AmbiguousFieldException.java [code]
• ca/mcgill/sable/soot/AmbiguousMethodException.java [code]
• edu/ksu/cis/bandera/jjjc/exception/AmbiguousMethodException.java [code]
• AmbiguousTypeException.java [code]
• AMethodClassBodyDeclaration.java [code]
• AMethodDeclaration.java [code]
• AMethodDeclarationClassMemberDeclaration.java [code]
• AMethodDeclarator.java [code]
• AMethodInvocationPrimaryNoNewArray.java [code]
• AMethodInvocationStmtExp.java [code]
• AMethodOption.java [code]
• abstraction/specification/node/AMinusAddExp.java [code]
• specification/predicate/node/AMinusAddExp.java [code]
• AMinusAdditiveExp.java [code]
• AMinusAssignAssignmentOperator.java [code]
• AMinusBinaryOperator.java [code]
• AMinusBinOp.java [code]
• AMinusExpr1.java [code]
• AMinusExpr3.java [code]
• AMinusOp.java [code]
• abstraction/specification/node/AMinusUnaryExp.java [code]
• jjjc/node/AMinusUnaryExp.java [code]
• specification/predicate/node/AMinusUnaryExp.java [code]
• AMinusUnaryOperator.java [code]
• AModAssignAssignmentOperator.java [code]
• AModBinaryOperator.java [code]
• AModExpr2.java [code]
• AModMultExp.java [code]
• AModMultiplicativeExp.java [code]
• AModOp.java [code]
• AMorePrintargs.java [code]
• abstraction/specification/node/AMultAddExp.java [code]
• specification/predicate/node/AMultAddExp.java [code]
• AMultExpr2.java [code]
• AMultiplicativeExpAdditiveExp.java [code]
• abstraction/options/analysis/Analysis.java [code]
• abstraction/specification/analysis/Analysis.java [code]
• birp/analysis/Analysis.java [code]
• bofa/Analysis.java [code]
• bui/session/analysis/Analysis.java [code]
• jjjc/analysis/Analysis.java [code]
• jjjc/unicodepreprocessor/analysis/Analysis.java [code]
• specification/analysis/Analysis.java [code]
• specification/assertion/analysis/Analysis.java [code]
• specification/pattern/analysis/Analysis.java [code]
• specification/predicate/analysis/Analysis.java [code]
• abstraction/options/analysis/AnalysisAdapter.java [code]
• abstraction/specification/analysis/AnalysisAdapter.java [code]
• birp/analysis/AnalysisAdapter.java [code]
• bui/session/analysis/AnalysisAdapter.java [code]
• jjjc/analysis/AnalysisAdapter.java [code]
• jjjc/unicodepreprocessor/analysis/AnalysisAdapter.java [code]
• specification/analysis/AnalysisAdapter.java [code]
• specification/assertion/analysis/AnalysisAdapter.java [code]
• specification/pattern/analysis/AnalysisAdapter.java [code]
• specification/predicate/analysis/AnalysisAdapter.java [code]
• AnalysisException.java [code]
• Analyze.java [code]
• ANameArrayAccess.java [code]
• ANameArrayType.java [code]
• ANameCastExp.java [code]
• ANamedTypeExp.java [code]
• ANameEnumconst.java [code]
• jjjc/node/ANameExp.java [code]
• specification/predicate/node/ANameExp.java [code]
• ANameImportNames.java [code]
• ANameLeftHandSide.java [code]
• ANameMethodInvocation.java [code]
• ANameMethodInvocationExp.java [code]
• ANameNames.java [code]
• jjjc/node/ANamePostfixExp.java [code]
• specification/predicate/node/ANamePostfixExp.java [code]
• ANamePrimaryTypeExp.java [code]
• ANameReferenceType.java [code]
• ANamesImportNames.java [code]
• ANamesNames.java [code]
• ANamevalueEnumconst.java [code]
• ANativeModifier.java [code]
• ANavigationExp.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/And.java [code]
• src/gov/nasa/arc/ase/jpf/expr/And.java [code]
• ca/mcgill/sable/soot/jimple/AndExpr.java [code]
• edu/ksu/cis/bandera/bir/AndExpr.java [code]
• ANegativeExp.java [code]
• ANeqBinaryOperator.java [code]
• abstraction/specification/node/ANeqEqExp.java [code]
• specification/predicate/node/ANeqEqExp.java [code]
• ANeqEqualityExp.java [code]
• lib/jpf/de/fub/bytecode/generic/ANEWARRAY.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ANEWARRAY.java [code]
• src/de/fub/bytecode/generic/ANEWARRAY.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ANEWARRAY.java [code]
• Annotation.java [code]
• AnnotationException.java [code]
• AnnotationManager.java [code]
• AnnotationSwitch.java [code]
• ANonemptyLiveset.java [code]
• ANoteqExpr5.java [code]
• ANotEqualBinOp.java [code]
• ANotEqualTOp.java [code]
• ANotExpr1.java [code]
• ANotifyallLockOp.java [code]
• ANotifyLockOp.java [code]
• ANotPlusMinusUnaryExp.java [code]
• jjjc/node/ANullLiteral.java [code]
• specification/predicate/node/ANullLiteral.java [code]
• ANullLiteralLiteral.java [code]
• ANullValue.java [code]
• ANumberFormatWord.java [code]
• ANumberWord.java [code]
• ANumericTypePrimitiveType.java [code]
• AOctalIntegerLiteral.java [code]
• abstraction/specification/node/AOctIntLiteral.java [code]
• specification/predicate/node/AOctIntLiteral.java [code]
• abstraction/specification/node/AOctLongLiteral.java [code]
• specification/predicate/node/AOctLongLiteral.java [code]
• AOldAbstractMethodDeclarationInterfaceMemberDeclaration.java [code]
• AOldArrayInitializer.java [code]
• AOldCaseSwitchLabel.java [code]
• AOldCompilationUnit.java [code]
• AOldConstantDeclarationInterfaceMemberDeclaration.java [code]
• AOldConstructorDeclarator.java [code]
• AOldExp.java [code]
• AOldExpCastExp.java [code]
• AOldFieldDeclaration.java [code]
• AOldInterfaceDeclaration.java [code]
• AOldInterfaces.java [code]
• AOldLocalVariableDeclaration.java [code]
• AOldMethodDeclarator.java [code]
• AOldNameCastExp.java [code]
• AOldNamedTypePrimaryNoNewArray.java [code]
• AOldPrimaryFieldAccess.java [code]
• AOldPrimaryNoNewArrayArrayAccess.java [code]
• AOldPrimitiveTypeCastExp.java [code]
• AOldPrimitiveTypePrimaryNoNewArray.java [code]
• AOldQualifiedClassInstanceCreationExp.java [code]
• AOldQualifiedConstructorInvocation.java [code]
• AOldSimpleClassInstanceCreationExp.java [code]
• AOldStaticInitializerClassBodyDeclaration.java [code]
• AOldSuper.java [code]
• AOldSuperConstructorInvocation.java [code]
• AOldThisConstructorInvocation.java [code]
• AOldThrows.java [code]
• AOnDemandImportName.java [code]
• AOne2oneSet.java [code]
• AOneBreakStmt.java [code]
• AOneContinueStmt.java [code]
• AOneDoStmt.java [code]
• AOneForStmt.java [code]
• AOnePrintargs.java [code]
• AOneQualifiedName.java [code]
• AOneReturnStmt.java [code]
• AOneSimpleName.java [code]
• AOneSingleTypeImportDeclaration.java [code]
• AOneSwitchStmt.java [code]
• AOneSynchronizedStmt.java [code]
• AOneThrowStmt.java [code]
• AOneTypeImportOnDemandDeclaration.java [code]
• AOneWhileStmt.java [code]
• AOperator.java [code]
• AOperatorOperatorTest.java [code]
• AOpTypeExp.java [code]
• AOrBinaryOperator.java [code]
• node/AOrBinOp.java [code]
• predicate/node/AOrBinOp.java [code]
• abstraction/specification/node/AOrConditionalExp.java [code]
• specification/predicate/node/AOrConditionalExp.java [code]
• AOrExpr7.java [code]
• AOriginalExpStmt.java [code]
• AOrImplicationExp.java [code]
• abstraction/specification/node/AOrInclusiveOrExp.java [code]
• specification/predicate/node/AOrInclusiveOrExp.java [code]
• abstraction/specification/node/AOrOrExp.java [code]
• specification/node/AOrOrExp.java [code]
• specification/predicate/node/AOrOrExp.java [code]
• APackageDeclaration.java [code]
• AParamParamList.java [code]
• AParamParams.java [code]
• AParamResource.java [code]
• AParamsParamList.java [code]
• AParamsParams.java [code]
• node/AParenExp.java [code]
• predicate/node/AParenExp.java [code]
• AParenexprExpr0.java [code]
• abstraction/specification/node/AParenPrimaryExp.java [code]
• specification/node/AParenPrimaryExp.java [code]
• specification/predicate/node/AParenPrimaryExp.java [code]
• AParenPrimaryTypeExp.java [code]
• AParExp.java [code]
• APattern.java [code]
• APatternPattern.java [code]
• abstraction/specification/node/APlusAddExp.java [code]
• specification/predicate/node/APlusAddExp.java [code]
• APlusAdditiveExp.java [code]
• APlusAssignAssignmentOperator.java [code]
• APlusBinaryOperator.java [code]
• APlusBinOp.java [code]
• APlusExpr1.java [code]
• APlusExpr3.java [code]
• APlusOp.java [code]
• abstraction/specification/node/APlusUnaryExp.java [code]
• jjjc/node/APlusUnaryExp.java [code]
• specification/predicate/node/APlusUnaryExp.java [code]
• APlusUnaryOperator.java [code]
• APostAssertion.java [code]
• APostDecrementExp.java [code]
• APostDecrementExpPostfixExp.java [code]
• APostDecrementExpr.java [code]
• APostDecrementExpStmtExp.java [code]
• APostfixExpUnaryExpNotPlusMinus.java [code]
• APostfixUnaryNotPlusMinusExp.java [code]
• APostIncrementExp.java [code]
• APostIncrementExpPostfixExp.java [code]
• APostIncrementExpr.java [code]
• APostIncrementExpStmtExp.java [code]
• APreAssertion.java [code]
• APreDecrementExp.java [code]
• APreDecrementExpStmtExp.java [code]
• APreDecrementExpUnaryExp.java [code]
• APredicate.java [code]
• APredicateExp.java [code]
• APredicateImport.java [code]
• APredicatePrimaryExp.java [code]
• APredicates.java [code]
• APreIncrementExp.java [code]
• APreIncrementExpStmtExp.java [code]
• APreIncrementExpUnaryExp.java [code]
• APrimaryFieldAccess.java [code]
• APrimaryMethodInvocation.java [code]
• APrimaryMethodInvocationExp.java [code]
• APrimaryNoNewArrayArrayAccess.java [code]
• APrimaryNoNewArrayPrimary.java [code]
• jjjc/node/APrimaryPostfixExp.java [code]
• specification/predicate/node/APrimaryPostfixExp.java [code]
• APrimaryTypeExp.java [code]
• APrimaryUnaryExp.java [code]
• APrimaryUnaryNotPlusMinusExp.java [code]
• APrimitiveArrayType.java [code]
• APrimitiveType.java [code]
• APrimitiveTypeArrayCreationExp.java [code]
• APrimitiveTypeArrayExp.java [code]
• APrimitiveTypeCastExp.java [code]
• APrimitiveTypePrimaryExp.java [code]
• APrintaction.java [code]
• APrintactionAction.java [code]
• APrivateModifier.java [code]
• AProcess.java [code]
• AProgram.java [code]
• APropertiesUnit.java [code]
• AProtectedModifier.java [code]
• APublicModifier.java [code]
• AQtl.java [code]
• AQualifiedClassInstanceCreationExp.java [code]
• AQualifiedConstructorInvocation.java [code]
• abstraction/options/node/AQualifiedName.java [code]
• jjjc/node/AQualifiedName.java [code]
• specification/assertion/node/AQualifiedName.java [code]
• specification/node/AQualifiedName.java [code]
• specification/predicate/node/AQualifiedName.java [code]
• AQualifiedNameName.java [code]
• AQualifiedThisExp.java [code]
• AQualifiedThisPrimaryNoNewArray.java [code]
• abstraction/specification/node/AQuestionConditionalExp.java [code]
• jjjc/node/AQuestionConditionalExp.java [code]
• specification/predicate/node/AQuestionConditionalExp.java [code]
• jjjc/node/AQuestionExp.java [code]
• specification/predicate/node/AQuestionExp.java [code]
• ARangeTypespec.java [code]
• Area.java [code]
• ARealType.java [code]
• ARecordTypespec.java [code]
• AReferenceType.java [code]
• AReftail.java [code]
• ARefTypespec.java [code]
• ARefValue.java [code]
• ARelationalExpEqualityExp.java [code]
• abstraction/specification/node/ARelEqExp.java [code]
• specification/predicate/node/ARelEqExp.java [code]
• ARemoterefExpr0.java [code]
• lib/jpf/de/fub/bytecode/generic/ARETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ARETURN.java [code]
• src/de/fub/bytecode/generic/ARETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ARETURN.java [code]
• AReturnPropositionDefinition.java [code]
• AReturnStmt.java [code]
• AReturnStmtStmtWithoutTrailingSubstmt.java [code]
• AReturnValueExp.java [code]
• AReturnValuePrimaryExp.java [code]
• lib/jpf/de/fub/bytecode/generic/ArithmeticInstruction.java [code]
• src/de/fub/bytecode/generic/ArithmeticInstruction.java [code]
• ca/mcgill/sable/util/Array.java [code]
• edu/ksu/cis/bandera/bir/Array.java [code]
• ArrayAbstraction.java [code]
• ArrayBSet.java [code]
• ArrayExpr.java [code]
• ArrayIndexManager.java [code]
• ArrayIndexManagerValueVariant.java [code]
• ArrayIndexOutOfBoundsException.java [code]
• lib/jpf/de/fub/bytecode/generic/ArrayInstruction.java [code]
• src/de/fub/bytecode/generic/ArrayInstruction.java [code]
• lib/jpf/de/fub/bytecode/generic/ARRAYLENGTH.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ARRAYLENGTH.java [code]
• src/de/fub/bytecode/generic/ARRAYLENGTH.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ARRAYLENGTH.java [code]
• ArrayList.java [code]
• ArrayLiteral.java [code]
• ArrayOffset.java [code]
• ArrayPackedSet.java [code]
• ArrayRef.java [code]
• Arrays.java [code]
• ArraySet.java [code]
• ArraySparseSet.java [code]
• lib/jpf/de/fub/bytecode/generic/ArrayType.java [code]
• src/ca/mcgill/sable/soot/ArrayType.java [code]
• src/de/fub/bytecode/generic/ArrayType.java [code]
• src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java [code]
• ArrayTypeStructure.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/ArrayValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/ArrayValue.java [code]
• ArrayVariant.java [code]
• ArrayVariantManager.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ArrayWrapper.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ArrayWrapper.java [code]
• ASCII_UCodeESC_CharStream.java [code]
• ASemicolonStmt.java [code]
• ASession.java [code]
• AShiftExpRelationalExp.java [code]
• AShiftLeftAssignAssignmentOperator.java [code]
• AShiftLeftBinaryOperator.java [code]
• AShiftLeftBinOp.java [code]
• AShiftLeftShiftExp.java [code]
• abstraction/specification/node/AShiftRelExp.java [code]
• specification/predicate/node/AShiftRelExp.java [code]
• AShortIntegralType.java [code]
• jjjc/node/AShortPrimitiveType.java [code]
• specification/predicate/node/AShortPrimitiveType.java [code]
• abstraction/specification/node/ASignedRightShiftExp.java [code]
• specification/predicate/node/ASignedRightShiftExp.java [code]
• ASignedShiftRightAssignAssignmentOperator.java [code]
• ASignedShiftRightBinaryOperator.java [code]
• ASignedShiftRightBinOp.java [code]
• ASignedShiftRightShiftExp.java [code]
• ASimpleClassInstanceCreationExp.java [code]
• abstraction/options/node/ASimpleName.java [code]
• jjjc/node/ASimpleName.java [code]
• specification/assertion/node/ASimpleName.java [code]
• specification/node/ASimpleName.java [code]
• specification/predicate/node/ASimpleName.java [code]
• ASimpleNameName.java [code]
• ASingleTypeImportDeclaration.java [code]
• ASingleTypeImportDeclarationImportDeclaration.java [code]
• ASpecificImportName.java [code]
• AssertAction.java [code]
• Assertion.java [code]
• AssertionBrowser.java [code]
• AssertionBuilder.java [code]
• AssertionException.java [code]
• AssertionExtractor.java [code]
• AssertionNotDeclaredException.java [code]
• AssertionProcessor.java [code]
• AssertionProperty.java [code]
• AssertionSet.java [code]
• AssertionSetNotDeclaredException.java [code]
• AssertionSliceInterestCollector.java [code]
• AssignAction.java [code]
• AssignStmt.java [code]
• ASTAddSubExpr.java [code]
• ASTAndExpr.java [code]
• AStarAssignAssignmentOperator.java [code]
• AStarBinaryOperator.java [code]
• ASTArguments.java [code]
• AStarMultiplicativeExp.java [code]
• ASTArrayExpr.java [code]
• AStartThreadop.java [code]
• AStaticInitializer.java [code]
• AStaticInitializerClassBodyDeclaration.java [code]
• AStaticModifier.java [code]
• AStaticParams.java [code]
• ASTBinOpExpr.java [code]
• ASTBitAndExpr.java [code]
• ASTBitOrExpr.java [code]
• ASTBitXorExpr.java [code]
• ASTCastExpr.java [code]
• ASTCastLookahead.java [code]
• ASTCompilationUnit.java [code]
• ASTCondExpr.java [code]
• ASTDotClassExpr.java [code]
• ASTDottedExpr.java [code]
• ASTDotThisExpr.java [code]
• ASTEqExpr.java [code]
• ASTFixer.java [code]
• ASTInstanceOfExpr.java [code]
• ASTLiteral.java [code]
• AStmtBlockedStmt.java [code]
• AStmtExpListForInit.java [code]
• AStmtExpListStmtExpList.java [code]
• AStmtExpStmtExpList.java [code]
• AStmtWithoutTrailingSubstmtStmt.java [code]
• AStmtWithoutTrailingSubstmtStmtNoShortIf.java [code]
• ASTMulDivExpr.java [code]
• ASTMultiBinOpExpr.java [code]
• ASTName.java [code]
• lib/jpf/de/fub/bytecode/generic/ASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ASTORE.java [code]
• src/de/fub/bytecode/generic/ASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ASTORE.java [code]
• ASTOrExpr.java [code]
• ASTParenExpr.java [code]
• ASTPrimaryExpr.java [code]
• ASTPrimaryPrefix.java [code]
• ASTPrimarySuffix.java [code]
• ASTPrimitiveType.java [code]
• ASTRelationalExpr.java [code]
• AStringLiteral.java [code]
• AStringLiteralLiteral.java [code]
• AStringPrintarg.java [code]
• bui/session/node/AStringResource.java [code]
• specification/pattern/node/AStringResource.java [code]
• bui/session/node/AStringsStrings.java [code]
• specification/pattern/node/AStringsStrings.java [code]
• bui/session/node/AStringStrings.java [code]
• specification/pattern/node/AStringStrings.java [code]
• AStrongArrayNavigation.java [code]
• AStrongCastExp.java [code]
• AStrongDivBinOp.java [code]
• AStrongDivMultExp.java [code]
• AStrongExpArrayAccess.java [code]
• AStrongExpCastExp.java [code]
• AStrongModBinOp.java [code]
• AStrongModMultExp.java [code]
• AStrongNameArrayAccess.java [code]
• AStrongNameCastExp.java [code]
• AStrongObjectFieldAccess.java [code]
• AStrongObjectNavigation.java [code]
• AStrongPrimitiveCastExp.java [code]
• ASTShiftExpr.java [code]
• ASTSingleExpr.java [code]
• ASTSuperExpr.java [code]
• ASTThisExpr.java [code]
• ASTType.java [code]
• ASTUnaryExpr.java [code]
• ASTUnaryMathExpr.java [code]
• ASuper.java [code]
• ASuperConstructorInvocation.java [code]
• ASuperFieldAccess.java [code]
• ASuperMethodInvocation.java [code]
• ASuperMethodInvocationExp.java [code]
• ASwitchBlockStmtGroup.java [code]
• ASwitchStmt.java [code]
• ASwitchStmtStmtWithoutTrailingSubstmt.java [code]
• ASynchronizedModifier.java [code]
• ASynchronizedStmt.java [code]
• ASynchronizedStmtStmtWithoutTrailingSubstmt.java [code]
• At.java [code]
• ATerminatedThreadtest.java [code]
• ATest.java [code]
• ATestOperatorTest.java [code]
• AThisConstructorInvocation.java [code]
• jjjc/node/AThisExp.java [code]
• specification/predicate/node/AThisExp.java [code]
• AThisPrimaryExp.java [code]
• AThisPrimaryNoNewArray.java [code]
• AThread.java [code]
• AThreadtestExpr0.java [code]
• AThreadupdate.java [code]
• AThreadupdateAction.java [code]
• lib/jpf/de/fub/bytecode/generic/ATHROW.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ATHROW.java [code]
• src/de/fub/bytecode/generic/ATHROW.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ATHROW.java [code]
• AThrows.java [code]
• AThrowStmt.java [code]
• AThrowStmtStmtWithoutTrailingSubstmt.java [code]
• ATimesBinOp.java [code]
• abstraction/specification/node/ATimesMultExp.java [code]
• specification/predicate/node/ATimesMultExp.java [code]
• ATimesOp.java [code]
• ATl.java [code]
• ATlDef.java [code]
• ATokenSet.java [code]
• ATokenSetTokenTokenSet.java [code]
• ATokenTokenTokenSet.java [code]
• AtomicData.java [code]
• ATransformation.java [code]
• ATransientModifier.java [code]
• ATrueBool.java [code]
• ATrueBooleanLiteral.java [code]
• ATrueLiteral.java [code]
• ATryFinallyStmt.java [code]
• ATryOneTryStmt.java [code]
• ATryStmt.java [code]
• ATryStmtStmtWithoutTrailingSubstmt.java [code]
• lib/jpf/de/fub/bytecode/classfile/Attribute.java [code]
• src/de/fub/bytecode/classfile/Attribute.java [code]
• attribute_info.java [code]
• lib/jpf/de/fub/bytecode/util/AttributeHTML.java [code]
• src/de/fub/bytecode/util/AttributeHTML.java [code]
• Attributes.java [code]
• ATypedefDefinition.java [code]
• ATypedMethodHeader.java [code]
• ATypeImport.java [code]
• ATypeImportOnDemandDeclarationImportDeclaration.java [code]
• ATypeOnDemandImportDeclaration.java [code]
• ATypespecType.java [code]
• AUnaryAndExp.java [code]
• AUnaryExp.java [code]
• abstraction/specification/node/AUnaryExpMultExp.java [code]
• specification/predicate/node/AUnaryExpMultExp.java [code]
• AUnaryExpMultiplicativeExp.java [code]
• abstraction/specification/node/AUnaryNotPlusMinusUnaryExp.java [code]
• specification/predicate/node/AUnaryNotPlusMinusUnaryExp.java [code]
• AUnionTypeOp.java [code]
• abstraction/options/node/AUnit.java [code]
• abstraction/specification/node/AUnit.java [code]
• bui/session/node/AUnit.java [code]
• specification/assertion/node/AUnit.java [code]
• specification/pattern/node/AUnit.java [code]
• specification/predicate/node/AUnit.java [code]
• AUnlockLockOp.java [code]
• abstraction/specification/node/AUnsignedRightShiftExp.java [code]
• specification/predicate/node/AUnsignedRightShiftExp.java [code]
• AUnsignedShiftRightAssignAssignmentOperator.java [code]
• AUnsignedShiftRightBinaryOperator.java [code]
• AUnsignedShiftRightBinOp.java [code]
• AUnsignedShiftRightShiftExp.java [code]
• AUnwaitLockOp.java [code]
• Automaton.java [code]
• AValueExpr0.java [code]
• AValueLhs.java [code]
• AVariable.java [code]
• AVariableDeclaratorId.java [code]
• AVariableDeclaratorsVariableDeclarators.java [code]
• AVariableDeclaratorVariableDeclarators.java [code]
• AVariableGlobal.java [code]
• AVariableInitializersVariableInitializers.java [code]
• AVariableInitializerVariableInitializers.java [code]
• AVarPrintarg.java [code]
• AVoidExp.java [code]
• AVoidMethodHeader.java [code]
• AVoidPrimaryNoNewArray.java [code]
• AVolatileModifier.java [code]
• AWaitLockOp.java [code]
• AWasnotifiedLocktestop.java [code]
• AWhileStmt.java [code]
• AWhileStmtNoShortIf.java [code]
• AWhileStmtNoShortIfStmtNoShortIf.java [code]
• AWhileStmtStmt.java [code]
• abstraction/specification/node/AXorExclusiveOrExp.java [code]
• specification/predicate/node/AXorExclusiveOrExp.java [code]
• abstraction/specification/node/AXorInclusiveOrExp.java [code]
• specification/predicate/node/AXorInclusiveOrExp.java [code]
• BackEdgeAnalysis.java [code]
• BackwardFlowAnalysis.java [code]
• BadAssertionDefinitionException.java [code]
• BadLabelException.java [code]
• BadPredicateDefinitionException.java [code]
• Baf.java [code]
• BafBody.java [code]
• lib/jpf/de/fub/bytecode/generic/BALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/BALOAD.java [code]
• src/de/fub/bytecode/generic/BALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/BALOAD.java [code]
• Bandera.java [code]
• BanderaConstantSwitch.java [code]
• BanderaExprSwitch.java [code]
• BanderaLog.java [code]
• BanderaReflection.java [code]
• BanderaStmtSwitch.java [code]
• BanderaTypeSwitch.java [code]
• BanderaUtil.java [code]
• BanderaValueSwitch.java [code]
• BaseType.java [code]
• BaseTypeStructure.java [code]
• BaseValueNonLocalException.java [code]
• ca/mcgill/sable/soot/coffi/BasicBlock.java [code]
• edu/ksu/cis/bandera/prog/BasicBlock.java [code]
• lib/jpf/de/fub/bytecode/generic/BasicType.java [code]
• src/de/fub/bytecode/generic/BasicType.java [code]
• BASL2Java.java [code]
• lib/jpf/de/fub/bytecode/generic/BASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/BASTORE.java [code]
• src/de/fub/bytecode/generic/BASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/BASTORE.java [code]
• BBQ.java [code]
• BanderaTutorial/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSliced/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSliced/sliced/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/sliced/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/sliced/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/sliced/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/sliced/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/bsl/BBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/sliced/BBuffer.java [code]
• BoundedBuffer/BBuffer.java [code]
• BoundedBuffer/temp$FullToNonFull/bsl/BBuffer.java [code]
• BoundedBuffer/temp$IndexRangeInvariant/bsl/BBuffer.java [code]
• BoundedBuffer/temp$NoTakeWhileEmpty/bsl/BBuffer.java [code]
• temp$NewBBufferSliced/bsl/BBuffer.java [code]
• temp$NewBBufferSliced/sliced/BBuffer.java [code]
• temp$NewBBufferSlicedIdxVar/bsl/BBuffer.java [code]
• temp$NewBBufferSlicedIdxVar/sliced/BBuffer.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/bsl/BBuffer.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/sliced/BBuffer.java [code]
• temp$NewBBufferSlicedNoTake/bsl/BBuffer.java [code]
• temp$NewBBufferSlicedNoTake/sliced/BBuffer.java [code]
• temp$NewBBufferSlicedNoTakewAsst/bsl/BBuffer.java [code]
• temp$NewBBufferSlicedNoTakewAsst/sliced/BBuffer.java [code]
• temp$NewBBufferSlicedwAsst/bsl/BBuffer.java [code]
• temp$NewBBufferSlicedwAsst/sliced/BBuffer.java [code]
• BDynamicHashCodePartition.java [code]
• BDynamicLocalHashPartition.java [code]
• BDynamicPCPartition.java [code]
• BDynamicPCsPartition.java [code]
• BinaryExpr.java [code]
• BinaryPartition.java [code]
• BinarySplitPartition.java [code]
• BindingSubstituter.java [code]
• BinopExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/BIPUSH.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/BIPUSH.java [code]
• src/de/fub/bytecode/generic/BIPUSH.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/BIPUSH.java [code]
• BirBuilder.java [code]
• BirConstants.java [code]
• BIRCTraceManager.java [code]
• BIRParser.java [code]
• BirPrinter.java [code]
• BirState.java [code]
• BirThread.java [code]
• BirTrace.java [code]
• BirTypeInit.java [code]
• BirTypePrint.java [code]
• BlockMap.java [code]
• BlockStmtAnnotation.java [code]
• Body.java [code]
• BodyExpr.java [code]
• BodyRepresentation.java [code]
• BOFA.java [code]
• Bool.java [code]
• BooleanExpression.java [code]
• BooleanLiteral.java [code]
• ca/mcgill/sable/soot/BooleanType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/BooleanType.java [code]
• BoolLit.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/BoolValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/BoolValue.java [code]
• BanderaTutorial/temp$NewBBufferSliced/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSliced/sliced/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/sliced/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/sliced/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/sliced/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/sliced/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/bsl/BoundedBuffer.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/sliced/BoundedBuffer.java [code]
• BoundedBuffer/temp$FullToNonFull/bsl/BoundedBuffer.java [code]
• BoundedBuffer/temp$IndexRangeInvariant/bsl/BoundedBuffer.java [code]
• BoundedBuffer/temp$NoTakeWhileEmpty/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSliced/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSliced/sliced/BoundedBuffer.java [code]
• temp$NewBBufferSlicedIdxVar/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSlicedIdxVar/sliced/BoundedBuffer.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/sliced/BoundedBuffer.java [code]
• temp$NewBBufferSlicedNoTake/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSlicedNoTake/sliced/BoundedBuffer.java [code]
• temp$NewBBufferSlicedNoTakewAsst/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSlicedNoTakewAsst/sliced/BoundedBuffer.java [code]
• temp$NewBBufferSlicedwAsst/bsl/BoundedBuffer.java [code]
• temp$NewBBufferSlicedwAsst/sliced/BoundedBuffer.java [code]
• BoundedFlowSet.java [code]
• lib/jpf/de/fub/bytecode/generic/BranchHandle.java [code]
• src/de/fub/bytecode/generic/BranchHandle.java [code]
• lib/jpf/de/fub/bytecode/generic/BranchInstruction.java [code]
• src/de/fub/bytecode/generic/BranchInstruction.java [code]
• BreakpointStmt.java [code]
• BreakStmtAnnotation.java [code]
• BriefStmtGraph.java [code]
• BSet.java [code]
• BSLObserver.java [code]
• temp$NoInitialRegNoUpdate/bsl/BSLObserver.java [code]
• temp$NoSteadyRegNoUpdate/bsl/BSLObserver.java [code]
• temp$RegUpdate/bsl/BSLObserver.java [code]
• BSLReport.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/BuchiSet.java [code]
• src/gov/nasa/arc/ase/jpf/BuchiSet.java [code]
• BUI.java [code]
• Build.java [code]
• BuildAndStoreBody.java [code]
• BuildBody.java [code]
• Builder.java [code]
• BuildGrimpBodyOption.java [code]
• BuildJimpleBodyOption.java [code]
• BuildPDG.java [code]
• BUISessionPane.java [code]
• ByteArray.java [code]
• ByteCode.java [code]
• lib/jpf/de/fub/bytecode/util/ByteSequence.java [code]
• src/de/fub/bytecode/util/ByteSequence.java [code]
• ca/mcgill/sable/soot/ByteType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/ByteType.java [code]
• ByteValue.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Cache.java [code]
• src/gov/nasa/arc/ase/util/Cache.java [code]
• CallBack.java [code]
• CallBackRegistry.java [code]
• CallDescr.java [code]
• CallGraphDialog.java [code]
• CallSite.java [code]
• lib/jpf/de/fub/bytecode/generic/CALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/CALOAD.java [code]
• src/de/fub/bytecode/generic/CALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/CALOAD.java [code]
• CantProcessException.java [code]
• Case.java [code]
• CaseNode.java [code]
• ca/mcgill/sable/util/Cast.java [code]
• edu/ksu/cis/bandera/abstraction/options/node/Cast.java [code]
• edu/ksu/cis/bandera/abstraction/specification/node/Cast.java [code]
• edu/ksu/cis/bandera/bui/session/node/Cast.java [code]
• edu/ksu/cis/bandera/specification/assertion/node/Cast.java [code]
• edu/ksu/cis/bandera/specification/node/Cast.java [code]
• edu/ksu/cis/bandera/specification/pattern/node/Cast.java [code]
• edu/ksu/cis/bandera/specification/predicate/node/Cast.java [code]
• CastExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/CASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/CASTORE.java [code]
• src/de/fub/bytecode/generic/CASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/CASTORE.java [code]
• CatchAnnotation.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Category.java [code]
• src/gov/nasa/arc/ase/util/Category.java [code]
• CaughtExceptionRef.java [code]
• CFG.java [code]
• CFGSkel.java [code]
• ChaitinAllocator.java [code]
• ca/mcgill/sable/soot/CharType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/CharType.java [code]
• CharValue.java [code]
• lib/jpf/de/fub/bytecode/generic/CHECKCAST.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/CHECKCAST.java [code]
• src/de/fub/bytecode/generic/CHECKCAST.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/CHECKCAST.java [code]
• checker/Checker.java [code]
• specification/ast/Checker.java [code]
• CheckerFactory.java [code]
• CheckerOption.java [code]
• ChooseExpander.java [code]
• bir/ChooseExpr.java [code]
• jext/ChooseExpr.java [code]
• lib/jpf/de/fub/bytecode/util/Class2HTML.java [code]
• src/de/fub/bytecode/util/Class2HTML.java [code]
• ClassAbstraction.java [code]
• ClassCircularityException.java [code]
• ClassDeclarationAnnotation.java [code]
• ClassFile.java [code]
• coffi/ClassFile.java [code]
• ClassFileBody.java [code]
• ClassFileNotFoundException.java [code]
• lib/jpf/de/fub/bytecode/generic/ClassGen.java [code]
• src/de/fub/bytecode/generic/ClassGen.java [code]
• lib/jpf/de/fub/bytecode/generic/ClassGenException.java [code]
• src/de/fub/bytecode/generic/ClassGenException.java [code]
• ClassHierarchy.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ClassInfo.java [code]
• src/edu/ksu/cis/bandera/pdgslicer/ClassInfo.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ClassInfo.java [code]
• ClassLiteral.java [code]
• ClassLocator.java [code]
• ClassMethodPair.java [code]
• ClassNotFoundException.java [code]
• ClassObserver.java [code]
• ClassOrInterfaceAnalysis.java [code]
• ClassOrInterfaceMembersAnalysis.java [code]
• ClassOrInterfaceType.java [code]
• ClassOrInterfaceTypeNotAccessibleException.java [code]
• ClassOrInterfaceTypeNotFoundException.java [code]
• lib/jpf/de/fub/bytecode/classfile/ClassParser.java [code]
• src/de/fub/bytecode/classfile/ClassParser.java [code]
• lib/jpf/de/fub/bytecode/ClassPath.java [code]
• src/de/fub/bytecode/ClassPath.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ClassPath.java [code]
• ClasspathManager.java [code]
• lib/jpf/de/fub/bytecode/util/ClassQueue.java [code]
• src/de/fub/bytecode/util/ClassQueue.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ClassRef.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ClassRef.java [code]
• lib/jpf/de/fub/bytecode/util/ClassStack.java [code]
• src/de/fub/bytecode/util/ClassStack.java [code]
• ClassToken.java [code]
• ClassTokenArray.java [code]
• ClassTokenManaged.java [code]
• ClassTokenSimple.java [code]
• ClassTreeNode.java [code]
• ClassUnFoundException.java [code]
• lib/jpf/de/fub/bytecode/util/ClassVector.java [code]
• src/de/fub/bytecode/util/ClassVector.java [code]
• CmpExpr.java [code]
• CmpgExpr.java [code]
• CmplExpr.java [code]
• lib/jpf/de/fub/bytecode/classfile/Code.java [code]
• src/de/fub/bytecode/classfile/Code.java [code]
• Code_attribute.java [code]
• CodeBrowserPane.java [code]
• lib/jpf/de/fub/bytecode/generic/CodeConstraint.java [code]
• src/de/fub/bytecode/generic/CodeConstraint.java [code]
• lib/jpf/de/fub/bytecode/classfile/CodeException.java [code]
• src/de/fub/bytecode/classfile/CodeException.java [code]
• lib/jpf/de/fub/bytecode/generic/CodeExceptionGen.java [code]
• src/de/fub/bytecode/generic/CodeExceptionGen.java [code]
• lib/jpf/de/fub/bytecode/util/CodeHTML.java [code]
• src/de/fub/bytecode/util/CodeHTML.java [code]
• CodeIndexManager.java [code]
• CodeIndexManagerAlloc.java [code]
• CoerceConstraint.java [code]
• CoercionManager.java [code]
• ca/mcgill/sable/util/Collection.java [code]
• edu/ksu/cis/bandera/bir/Collection.java [code]
• Collections.java [code]
• ColorPair.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Comma.java [code]
• src/gov/nasa/arc/ase/util/Comma.java [code]
• Comparable.java [code]
• Comparator.java [code]
• CompilationManager.java [code]
• CompilationUnitAnalysis.java [code]
• Compiler.java [code]
• CompilerException.java [code]
• ComplementExpr.java [code]
• CompleteStmtGraph.java [code]
• lib/jpf/de/fub/bytecode/generic/CompoundInstruction.java [code]
• src/de/fub/bytecode/generic/CompoundInstruction.java [code]
• ConcreteIntegralAbstraction.java [code]
• ConcreteRealAbstraction.java [code]
• ConcreteRef.java [code]
• ConcurrentModificationException.java [code]
• ConditionalAnnotation.java [code]
• ConditionExpr.java [code]
• ConditionExprBox.java [code]
• Configuration.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Connector.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Connector.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Connector.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Connector.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Connector.java [code]
• temp$NewPipeInt/abstracted/Connector.java [code]
• temp$NewPipeInt/bsl/Connector.java [code]
• temp$NewPipeInt/sliced/Connector.java [code]
• temp$NewPipeInt2/abstracted/Connector.java [code]
• temp$NewPipeInt2/bsl/Connector.java [code]
• temp$NewPipeInt2/sliced/Connector.java [code]
• temp$NewPipeInt3/abstracted/Connector.java [code]
• temp$NewPipeInt3/bsl/Connector.java [code]
• temp$NewPipeInt3/sliced/Connector.java [code]
• temp$NewPipeIntList/abstracted/Connector.java [code]
• temp$NewPipeIntList/bsl/Connector.java [code]
• temp$NewPipeIntList/sliced/Connector.java [code]
• lib/jpf/de/fub/bytecode/classfile/Constant.java [code]
• src/ca/mcgill/sable/soot/jimple/Constant.java [code]
• src/de/fub/bytecode/classfile/Constant.java [code]
• src/edu/ksu/cis/bandera/bir/Constant.java [code]
• CONSTANT_Class_info.java [code]
• CONSTANT_Double_info.java [code]
• CONSTANT_Fieldref_info.java [code]
• CONSTANT_Float_info.java [code]
• CONSTANT_Integer_info.java [code]
• CONSTANT_InterfaceMethodref_info.java [code]
• CONSTANT_Long_info.java [code]
• CONSTANT_Methodref_info.java [code]
• CONSTANT_NameAndType_info.java [code]
• CONSTANT_String_info.java [code]
• CONSTANT_Utf8_info.java [code]
• ConstantAndCopyPropagator.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantClass.java [code]
• src/de/fub/bytecode/classfile/ConstantClass.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantCP.java [code]
• src/de/fub/bytecode/classfile/ConstantCP.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantDouble.java [code]
• src/de/fub/bytecode/classfile/ConstantDouble.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantFieldref.java [code]
• src/de/fub/bytecode/classfile/ConstantFieldref.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantFloat.java [code]
• src/de/fub/bytecode/classfile/ConstantFloat.java [code]
• lib/jpf/de/fub/bytecode/util/ConstantHTML.java [code]
• src/de/fub/bytecode/util/ConstantHTML.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantInteger.java [code]
• src/de/fub/bytecode/classfile/ConstantInteger.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantInterfaceMethodref.java [code]
• src/de/fub/bytecode/classfile/ConstantInterfaceMethodref.java [code]
• ConstantLockException.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantLong.java [code]
• src/de/fub/bytecode/classfile/ConstantLong.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantMethodref.java [code]
• src/de/fub/bytecode/classfile/ConstantMethodref.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantNameAndType.java [code]
• src/de/fub/bytecode/classfile/ConstantNameAndType.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantPool.java [code]
• src/de/fub/bytecode/classfile/ConstantPool.java [code]
• lib/jpf/de/fub/bytecode/generic/ConstantPoolGen.java [code]
• src/de/fub/bytecode/generic/ConstantPoolGen.java [code]
• lib/jpf/de/fub/bytecode/generic/ConstantPushInstruction.java [code]
• src/de/fub/bytecode/generic/ConstantPushInstruction.java [code]
• lib/jpf/de/fub/bytecode/Constants.java [code]
• src/de/fub/bytecode/Constants.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantString.java [code]
• src/de/fub/bytecode/classfile/ConstantString.java [code]
• ConstantSwitch.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantUtf8.java [code]
• src/de/fub/bytecode/classfile/ConstantUtf8.java [code]
• lib/jpf/de/fub/bytecode/classfile/ConstantValue.java [code]
• src/de/fub/bytecode/classfile/ConstantValue.java [code]
• ConstantValue_attribute.java [code]
• ConstExpr.java [code]
• Constraint.java [code]
• ConstructorDeclarationAnnotation.java [code]
• ConstructorInvocationStmtAnnotation.java [code]
• ContinueStmtAnnotation.java [code]
• ControlBox.java [code]
• ControlFlowAnnotation.java [code]
• ControlNodesEmptyException.java [code]
• lib/jpf/de/fub/bytecode/generic/ConversionInstruction.java [code]
• src/de/fub/bytecode/generic/ConversionInstruction.java [code]
• CopiesFlowAnalysis.java [code]
• Copyright.java [code]
• Core.java [code]
• CorrespondingMonitorNotFoundException.java [code]
• CorruptClassFileException.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Counter.java [code]
• src/gov/nasa/arc/ase/util/Counter.java [code]
• CounterExample.java [code]
• cp_info.java [code]
• lib/jpf/de/fub/bytecode/generic/CPInstruction.java [code]
• src/de/fub/bytecode/generic/CPInstruction.java [code]
• CriterionMapException.java [code]
• CriterionViewer.java [code]
• abstraction/pvs/CUP$parser$actions.java [code]
• specification/nnf/ltl/CUP$parser$actions.java [code]
• CustomFileFilter.java [code]
• lib/jpf/de/fub/bytecode/generic/D2F.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/D2F.java [code]
• src/de/fub/bytecode/generic/D2F.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/D2F.java [code]
• lib/jpf/de/fub/bytecode/generic/D2I.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/D2I.java [code]
• src/de/fub/bytecode/generic/D2I.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/D2I.java [code]
• lib/jpf/de/fub/bytecode/generic/D2L.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/D2L.java [code]
• src/de/fub/bytecode/generic/D2L.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/D2L.java [code]
• lib/jpf/de/fub/bytecode/generic/DADD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DADD.java [code]
• src/de/fub/bytecode/generic/DADD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DADD.java [code]
• lib/jpf/de/fub/bytecode/generic/DALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DALOAD.java [code]
• src/de/fub/bytecode/generic/DALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DALOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/DASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DASTORE.java [code]
• src/de/fub/bytecode/generic/DASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DASTORE.java [code]
• DataBox.java [code]
• lib/jpf/de/fub/bytecode/generic/DCMPG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DCMPG.java [code]
• src/de/fub/bytecode/generic/DCMPG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DCMPG.java [code]
• lib/jpf/de/fub/bytecode/generic/DCMPL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DCMPL.java [code]
• src/de/fub/bytecode/generic/DCMPL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DCMPL.java [code]
• lib/jpf/de/fub/bytecode/generic/DCONST.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DCONST.java [code]
• src/de/fub/bytecode/generic/DCONST.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DCONST.java [code]
• lib/jpf/de/fub/bytecode/generic/DDIV.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DDIV.java [code]
• src/de/fub/bytecode/generic/DDIV.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DDIV.java [code]
• DeadCodeElimination.java [code]
• DeadCodeEliminator.java [code]
• BanderaTutorial/Deadlock.java [code]
• BanderaTutorial/temp$Deadlock/bsl/Deadlock.java [code]
• BanderaTutorial/temp$DeadlockPoint/abstracted/Deadlock.java [code]
• BanderaTutorial/temp$DeadlockPoint/bsl/Deadlock.java [code]
• BanderaTutorial/temp$DeadlockSlice/bsl/Deadlock.java [code]
• BanderaTutorial/temp$DeadlockSlice/sliced/Deadlock.java [code]
• temp$Deadlock/bsl/Deadlock.java [code]
• temp$DeadlockPoint/abstracted/Deadlock.java [code]
• temp$DeadlockPoint/bsl/Deadlock.java [code]
• temp$DeadlockSlice/bsl/Deadlock.java [code]
• temp$DeadlockSlice/sliced/Deadlock.java [code]
• DeadlockRelatedCriterion.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Debug.java [code]
• src/gov/nasa/arc/ase/util/Debug.java [code]
• Declass.java [code]
• Decompiler.java [code]
• DecompilerChanger.java [code]
• DecompilerDriver.java [code]
• DecompilerField.java [code]
• DecompilerGotoMapper.java [code]
• DecompilerInfo.java [code]
• DecompilerPair.java [code]
• DecompilerPrinter.java [code]
• DecompilerStmtSwitch.java [code]
• DecompilerSwitch.java [code]
• DecompilerUtil.java [code]
• DecompilerValueSwitch.java [code]
• DefaultScheduler.java [code]
• DefaultValues.java [code]
• lib/jpf/de/fub/bytecode/classfile/DefaultVisitor.java [code]
• src/de/fub/bytecode/classfile/DefaultVisitor.java [code]
• src/de/fub/bytecode/generic/DefaultVisitor.java [code]
• Definition.java [code]
• DefinitionStmt.java [code]
• Degeneralize.java [code]
• degenSynchronousProduct.java [code]
• Demo.java [code]
• Depend.java [code]
• Dependencies.java [code]
• DependencyValueViewer.java [code]
• DependInfo.java [code]
• lib/jpf/de/fub/bytecode/classfile/Deprecated.java [code]
• src/de/fub/bytecode/classfile/Deprecated.java [code]
• abstraction/options/analysis/DepthFirstAdapter.java [code]
• abstraction/specification/analysis/DepthFirstAdapter.java [code]
• birp/analysis/DepthFirstAdapter.java [code]
• bui/session/analysis/DepthFirstAdapter.java [code]
• jjjc/analysis/DepthFirstAdapter.java [code]
• specification/analysis/DepthFirstAdapter.java [code]
• specification/assertion/analysis/DepthFirstAdapter.java [code]
• specification/pattern/analysis/DepthFirstAdapter.java [code]
• specification/predicate/analysis/DepthFirstAdapter.java [code]
• DerefExpr.java [code]
• DESCR.java [code]
• ca/mcgill/sable/soot/jimple/DivExpr.java [code]
• edu/ksu/cis/bandera/bir/DivExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/DLOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DLOAD.java [code]
• src/de/fub/bytecode/generic/DLOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DLOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/DMUL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DMUL.java [code]
• src/de/fub/bytecode/generic/DMUL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DMUL.java [code]
• lib/jpf/de/fub/bytecode/generic/DNEG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DNEG.java [code]
• src/de/fub/bytecode/generic/DNEG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DNEG.java [code]
• DocProcessor.java [code]
• DocTriple.java [code]
• DoesNotThrowException.java [code]
• DomAnalysis.java [code]
• DomOrPostdomNotUniqueException.java [code]
• Double2ndHalfType.java [code]
• DoubleConstant.java [code]
• ca/mcgill/sable/soot/DoubleType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/DoubleType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/DoubleValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/DoubleValue.java [code]
• DoWhileStmtAnnotation.java [code]
• DraggableHierTree.java [code]
• DraggableList.java [code]
• DraggableMethodTree.java [code]
• DraggableTree.java [code]
• DraggableVariablesList.java [code]
• lib/jpf/de/fub/bytecode/generic/DREM.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DREM.java [code]
• src/de/fub/bytecode/generic/DREM.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DREM.java [code]
• lib/jpf/de/fub/bytecode/generic/DRETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DRETURN.java [code]
• src/de/fub/bytecode/generic/DRETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DRETURN.java [code]
• Driver.java [code]
• DroppableList.java [code]
• DroppableLocationsList.java [code]
• DroppableStatementsList.java [code]
• DroppableVariablesList.java [code]
• DSpinOption.java [code]
• DSpinOptions.java [code]
• DSpinTrans.java [code]
• DSpinTypeInit.java [code]
• DSpinTypeName.java [code]
• lib/jpf/de/fub/bytecode/generic/DSTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DSTORE.java [code]
• src/de/fub/bytecode/generic/DSTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DSTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/DSUB.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DSUB.java [code]
• src/de/fub/bytecode/generic/DSUB.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DSUB.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP.java [code]
• src/de/fub/bytecode/generic/DUP.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP2.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2.java [code]
• src/de/fub/bytecode/generic/DUP2.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP2_X1.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2_X1.java [code]
• src/de/fub/bytecode/generic/DUP2_X1.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2_X1.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP2_X2.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2_X2.java [code]
• src/de/fub/bytecode/generic/DUP2_X2.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP2_X2.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP_X1.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP_X1.java [code]
• src/de/fub/bytecode/generic/DUP_X1.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP_X1.java [code]
• lib/jpf/de/fub/bytecode/generic/DUP_X2.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP_X2.java [code]
• src/de/fub/bytecode/generic/DUP_X2.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/DUP_X2.java [code]
• DuplicateAssertionException.java [code]
• DuplicateNameException.java [code]
• DuplicatePredicateException.java [code]
• Duplicator.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/DynamicArea.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/DynamicArea.java [code]
• DynamicBinaryPartition.java [code]
• DynamicHashCode0Partition.java [code]
• DynamicHashCodePartition.java [code]
• DynamicLocalHash0Partition.java [code]
• DynamicLocalHashPartition.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/DynamicMap.java [code]
• src/edu/ksu/cis/bandera/birc/DynamicMap.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/DynamicMap.java [code]
• DynamicMapEntry.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/DynamicMapIndex.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/DynamicMapIndex.java [code]
• DynamicPartition.java [code]
• DynamicPC0Partition.java [code]
• DynamicPCPartition.java [code]
• DynamicPCs0Partition.java [code]
• DynamicPCsPartition.java [code]
• edu/ksu/cis/bandera/prog/Edge.java [code]
• gov/nasa/arc/ase/util/graph/Edge.java [code]
• EduKsuCisBanderaAbstractionAbstractionReflection.java [code]
• eHashSet.java [code]
• ElementInfo.java [code]
• ElementTypeException.java [code]
• EmptyListException.java [code]
• EmptyQueueException.java [code]
• EmptySpecFileException.java [code]
• EmptyStackException.java [code]
• EmptyStmtAnnotation.java [code]
• lib/jpf/de/fub/bytecode/classfile/EmptyVisitor.java [code]
• src/de/fub/bytecode/classfile/EmptyVisitor.java [code]
• src/gov/nasa/arc/ase/util/graph/EmptyVisitor.java [code]
• EndOfListException.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Engine.java [code]
• src/gov/nasa/arc/ase/jpf/Engine.java [code]
• EnterMonitorStmt.java [code]
• Enumerated.java [code]
• abstraction/options/node/EOF.java [code]
• abstraction/specification/node/EOF.java [code]
• birp/node/EOF.java [code]
• bui/session/node/EOF.java [code]
• jjjc/node/EOF.java [code]
• jjjc/unicodepreprocessor/node/EOF.java [code]
• specification/assertion/node/EOF.java [code]
• specification/node/EOF.java [code]
• specification/pattern/node/EOF.java [code]
• specification/predicate/node/EOF.java [code]
• ca/mcgill/sable/soot/jimple/EqExpr.java [code]
• edu/ksu/cis/bandera/bir/EqExpr.java [code]
• EqualConstraint.java [code]
• EqualLocals.java [code]
• ErroneousType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ErrorTrail.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/tools/ErrorTrail.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ErrorTrail.java [code]
• src/gov/nasa/arc/ase/jpf/tools/ErrorTrail.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/ErrorTrailInterface.java [code]
• src/gov/nasa/arc/ase/jpf/ErrorTrailInterface.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/Evaluate.java [code]
• src/gov/nasa/arc/ase/jpf/expr/Evaluate.java [code]
• Exception_attribute.java [code]
• exception_table_entry.java [code]
• lib/jpf/de/fub/bytecode/ExceptionConstants.java [code]
• src/de/fub/bytecode/ExceptionConstants.java [code]
• ExceptionHandler.java [code]
• lib/jpf/de/fub/bytecode/classfile/ExceptionTable.java [code]
• src/de/fub/bytecode/classfile/ExceptionTable.java [code]
• lib/jpf/de/fub/bytecode/generic/ExceptionThrower.java [code]
• src/de/fub/bytecode/generic/ExceptionThrower.java [code]
• Exec.java [code]
• Exist.java [code]
• ExitMonitorNotFoundException.java [code]
• ExitMonitorStmt.java [code]
• ExitNodeSetNullException.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/Expr.java [code]
• src/ca/mcgill/sable/soot/jimple/Expr.java [code]
• src/edu/ksu/cis/bandera/bir/Expr.java [code]
• src/gov/nasa/arc/ase/jpf/expr/Expr.java [code]
• ExprBox.java [code]
• Expression.java [code]
• ExpressionException.java [code]
• ExpressionPredicate.java [code]
• ExprExtractor.java [code]
• ExprNode.java [code]
• ca/mcgill/sable/soot/jimple/ExprSwitch.java [code]
• edu/ksu/cis/bandera/bir/ExprSwitch.java [code]
• ExpStmtAnnotation.java [code]
• lib/jpf/de/fub/bytecode/generic/F2D.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/F2D.java [code]
• src/de/fub/bytecode/generic/F2D.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/F2D.java [code]
• lib/jpf/de/fub/bytecode/generic/F2I.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/F2I.java [code]
• src/de/fub/bytecode/generic/F2I.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/F2I.java [code]
• lib/jpf/de/fub/bytecode/generic/F2L.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/F2L.java [code]
• src/de/fub/bytecode/generic/F2L.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/F2L.java [code]
• FA.java [code]
• lib/jpf/de/fub/bytecode/generic/FADD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FADD.java [code]
• src/de/fub/bytecode/generic/FADD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FADD.java [code]
• lib/jpf/de/fub/bytecode/generic/FALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FALOAD.java [code]
• src/de/fub/bytecode/generic/FALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FALOAD.java [code]
• FalseBSet.java [code]
• FASet.java [code]
• FastAllocator.java [code]
• FastColorer.java [code]
• lib/jpf/de/fub/bytecode/generic/FASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FASTORE.java [code]
• src/de/fub/bytecode/generic/FASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FASTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/FCMPG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FCMPG.java [code]
• src/de/fub/bytecode/generic/FCMPG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FCMPG.java [code]
• lib/jpf/de/fub/bytecode/generic/FCMPL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FCMPL.java [code]
• src/de/fub/bytecode/generic/FCMPL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FCMPL.java [code]
• lib/jpf/de/fub/bytecode/generic/FCONST.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FCONST.java [code]
• src/de/fub/bytecode/generic/FCONST.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FCONST.java [code]
• lib/jpf/de/fub/bytecode/generic/FDIV.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FDIV.java [code]
• src/de/fub/bytecode/generic/FDIV.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FDIV.java [code]
• FGAction.java [code]
• FGActionArrayRef.java [code]
• FGActionArrayStore.java [code]
• FGActionInvoke.java [code]
• FGExpr.java [code]
• FGNode.java [code]
• FGNodeArray.java [code]
• FGNodeAST.java [code]
• FGNodeField.java [code]
• FGNodeLocal.java [code]
• FGNodeParameter.java [code]
• FGNodeThis.java [code]
• FGStmt.java [code]
• FGWork.java [code]
• FGWorkSendVals.java [code]
• lib/jpf/de/fub/bytecode/classfile/Field.java [code]
• src/de/fub/bytecode/classfile/Field.java [code]
• src/edu/ksu/cis/bandera/bir/Field.java [code]
• src/edu/ksu/cis/bandera/jjjc/symboltable/Field.java [code]
• field_info.java [code]
• FieldDeclarationAnnotation.java [code]
• lib/jpf/de/fub/bytecode/generic/FieldGen.java [code]
• src/de/fub/bytecode/generic/FieldGen.java [code]
• FieldGenOrMethodGen.java [code]
• FieldInfo.java [code]
• lib/jpf/de/fub/bytecode/generic/FieldInstruction.java [code]
• src/de/fub/bytecode/generic/FieldInstruction.java [code]
• FieldObserver.java [code]
• lib/jpf/de/fub/bytecode/classfile/FieldOrMethod.java [code]
• lib/jpf/de/fub/bytecode/generic/FieldOrMethod.java [code]
• src/de/fub/bytecode/classfile/FieldOrMethod.java [code]
• src/de/fub/bytecode/generic/FieldOrMethod.java [code]
• FieldRef.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Fields.java [code]
• src/edu/ksu/cis/bandera/pdgslicer/Fields.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Fields.java [code]
• abstraction/gui/FieldTreeNode.java [code]
• pdgslicer/dependency/FieldTreeNode.java [code]
• FieldTypeException.java [code]
• FileChooser.java [code]
• edu/ksu/cis/bandera/util/FileClassLoader.java [code]
• gov/nasa/arc/ase/util/FileClassLoader.java [code]
• FilenameLinePair.java [code]
• lib/jpf/de/fub/bytecode/generic/FindPattern.java [code]
• src/de/fub/bytecode/generic/FindPattern.java [code]
• lib/jpf/de/fub/bytecode/generic/FLOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FLOAD.java [code]
• src/de/fub/bytecode/generic/FLOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FLOAD.java [code]
• FloatConstant.java [code]
• FloatingPointType.java [code]
• ca/mcgill/sable/soot/FloatType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/FloatType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/FloatValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/FloatValue.java [code]
• FlowAnalysis.java [code]
• FlowSet.java [code]
• FlowUniverse.java [code]
• lib/jpf/de/fub/bytecode/generic/FMUL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FMUL.java [code]
• src/de/fub/bytecode/generic/FMUL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FMUL.java [code]
• lib/jpf/de/fub/bytecode/generic/FNEG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FNEG.java [code]
• src/de/fub/bytecode/generic/FNEG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FNEG.java [code]
• Formula.java [code]
• ForStmtAnnotation.java [code]
• ForwardFlowAnalysis.java [code]
• lib/jpf/de/fub/bytecode/generic/FREM.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FREM.java [code]
• src/de/fub/bytecode/generic/FREM.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FREM.java [code]
• lib/jpf/de/fub/bytecode/generic/FRETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FRETURN.java [code]
• src/de/fub/bytecode/generic/FRETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FRETURN.java [code]
• lib/jpf/de/fub/bytecode/generic/FSTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FSTORE.java [code]
• src/de/fub/bytecode/generic/FSTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FSTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/FSUB.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/FSUB.java [code]
• src/de/fub/bytecode/generic/FSUB.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/FSUB.java [code]
• FutureStmt.java [code]
• GAddExpr.java [code]
• GAndExpr.java [code]
• GArrayRef.java [code]
• GAssignStmt.java [code]
• GCastExpr.java [code]
• GCmpExpr.java [code]
• GCmpgExpr.java [code]
• GCmplExpr.java [code]
• GDivExpr.java [code]
• GDynamicHashCode0Partition.java [code]
• GDynamicHashCodePartition.java [code]
• GDynamicLocalHash0Partition.java [code]
• GDynamicLocalHashPartition.java [code]
• GDynamicPC0Partition.java [code]
• GDynamicPCPartition.java [code]
• GDynamicPCs0Partition.java [code]
• GDynamicPCsPartition.java [code]
• GDynamicSplitPartition.java [code]
• GeExpr.java [code]
• Generate.java [code]
• GenerateReflection.java [code]
• Generic_attribute.java [code]
• GenericSet.java [code]
• GEnterMonitorStmt.java [code]
• GEqExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/GETFIELD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/GETFIELD.java [code]
• src/de/fub/bytecode/generic/GETFIELD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/GETFIELD.java [code]
• lib/jpf/de/fub/bytecode/generic/GETSTATIC.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/GETSTATIC.java [code]
• src/de/fub/bytecode/generic/GETSTATIC.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/GETSTATIC.java [code]
• GExitMonitorStmt.java [code]
• GGeExpr.java [code]
• GGtExpr.java [code]
• GIdentityStmt.java [code]
• GIfStmt.java [code]
• GInstanceFieldRef.java [code]
• GInstanceOfExpr.java [code]
• GInterfaceInvokeExpr.java [code]
• GInvokeStmt.java [code]
• GLeExpr.java [code]
• GLengthExpr.java [code]
• GLookupSwitchStmt.java [code]
• GLtExpr.java [code]
• GMulExpr.java [code]
• GNeExpr.java [code]
• GNegExpr.java [code]
• GNewArrayExpr.java [code]
• GNewInvokeExpr.java [code]
• GNewMultiArrayExpr.java [code]
• GOrExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/GOTO.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/GOTO.java [code]
• src/de/fub/bytecode/generic/GOTO.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/GOTO.java [code]
• lib/jpf/de/fub/bytecode/generic/GOTO_W.java [code]
• src/de/fub/bytecode/generic/GOTO_W.java [code]
• GotoStmt.java [code]
• Graph.java [code]
• GRemExpr.java [code]
• GRetStmt.java [code]
• GReturnStmt.java [code]
• Grimp.java [code]
• GrimpBody.java [code]
• GrimpExprSwitch.java [code]
• GrimpTransformations.java [code]
• GroupIntPair.java [code]
• GRValueBox.java [code]
• GShlExpr.java [code]
• GShrExpr.java [code]
• GSpecialInvokeExpr.java [code]
• GStaticInvokeExpr.java [code]
• GSubExpr.java [code]
• GTableSwitchStmt.java [code]
• GtExpr.java [code]
• GThrowStmt.java [code]
• GTrap.java [code]
• GUshrExpr.java [code]
• GVirtualInvokeExpr.java [code]
• GXorExpr.java [code]
• HashCodePartition.java [code]
• lib/jpf/gov/nasa/arc/ase/util/HashData.java [code]
• src/gov/nasa/arc/ase/util/HashData.java [code]
• HashMap.java [code]
• lib/jpf/gov/nasa/arc/ase/util/HashPool.java [code]
• src/gov/nasa/arc/ase/util/HashPool.java [code]
• HashSet.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Heap.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Heap.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Heap.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Heap.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Heap.java [code]
• temp$NewPipeInt/abstracted/Heap.java [code]
• temp$NewPipeInt/bsl/Heap.java [code]
• temp$NewPipeInt/sliced/Heap.java [code]
• temp$NewPipeInt2/abstracted/Heap.java [code]
• temp$NewPipeInt2/bsl/Heap.java [code]
• temp$NewPipeInt2/sliced/Heap.java [code]
• temp$NewPipeInt3/abstracted/Heap.java [code]
• temp$NewPipeInt3/bsl/Heap.java [code]
• temp$NewPipeInt3/sliced/Heap.java [code]
• temp$NewPipeIntList/abstracted/Heap.java [code]
• temp$NewPipeIntList/bsl/Heap.java [code]
• temp$NewPipeIntList/sliced/Heap.java [code]
• HierarchyQuery.java [code]
• hms.java [code]
• HookExpr.java [code]
• HTMLReportGenerator.java [code]
• lib/jpf/de/fub/bytecode/generic/I2B.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2B.java [code]
• src/de/fub/bytecode/generic/I2B.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2B.java [code]
• lib/jpf/de/fub/bytecode/generic/I2C.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2C.java [code]
• src/de/fub/bytecode/generic/I2C.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2C.java [code]
• lib/jpf/de/fub/bytecode/generic/I2D.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2D.java [code]
• src/de/fub/bytecode/generic/I2D.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2D.java [code]
• lib/jpf/de/fub/bytecode/generic/I2F.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2F.java [code]
• src/de/fub/bytecode/generic/I2F.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2F.java [code]
• lib/jpf/de/fub/bytecode/generic/I2L.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2L.java [code]
• src/de/fub/bytecode/generic/I2L.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2L.java [code]
• lib/jpf/de/fub/bytecode/generic/I2S.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/I2S.java [code]
• src/de/fub/bytecode/generic/I2S.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/I2S.java [code]
• lib/jpf/de/fub/bytecode/generic/IADD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IADD.java [code]
• src/de/fub/bytecode/generic/IADD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IADD.java [code]
• lib/jpf/de/fub/bytecode/generic/IALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IALOAD.java [code]
• src/de/fub/bytecode/generic/IALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IALOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/IAND.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IAND.java [code]
• src/de/fub/bytecode/generic/IAND.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IAND.java [code]
• lib/jpf/de/fub/bytecode/generic/IASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IASTORE.java [code]
• src/de/fub/bytecode/generic/IASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IASTORE.java [code]
• IconLibrary.java [code]
• lib/jpf/de/fub/bytecode/generic/ICONST.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ICONST.java [code]
• src/de/fub/bytecode/generic/ICONST.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ICONST.java [code]
• IdentifyRunnableClasses.java [code]
• IdentityRef.java [code]
• IdentityRefBox.java [code]
• IdentityStmt.java [code]
• lib/jpf/de/fub/bytecode/generic/IDIV.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IDIV.java [code]
• src/de/fub/bytecode/generic/IDIV.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IDIV.java [code]
• IDS.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ACMPEQ.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ACMPEQ.java [code]
• src/de/fub/bytecode/generic/IF_ACMPEQ.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ACMPEQ.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ACMPNE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ACMPNE.java [code]
• src/de/fub/bytecode/generic/IF_ACMPNE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ACMPNE.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPEQ.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPEQ.java [code]
• src/de/fub/bytecode/generic/IF_ICMPEQ.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPEQ.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPGE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPGE.java [code]
• src/de/fub/bytecode/generic/IF_ICMPGE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPGE.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPGT.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPGT.java [code]
• src/de/fub/bytecode/generic/IF_ICMPGT.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPGT.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPLE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPLE.java [code]
• src/de/fub/bytecode/generic/IF_ICMPLE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPLE.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPLT.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPLT.java [code]
• src/de/fub/bytecode/generic/IF_ICMPLT.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPLT.java [code]
• lib/jpf/de/fub/bytecode/generic/IF_ICMPNE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPNE.java [code]
• src/de/fub/bytecode/generic/IF_ICMPNE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IF_ICMPNE.java [code]
• lib/jpf/de/fub/bytecode/generic/IFEQ.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFEQ.java [code]
• src/de/fub/bytecode/generic/IFEQ.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFEQ.java [code]
• lib/jpf/de/fub/bytecode/generic/IFGE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFGE.java [code]
• src/de/fub/bytecode/generic/IFGE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFGE.java [code]
• lib/jpf/de/fub/bytecode/generic/IFGT.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFGT.java [code]
• src/de/fub/bytecode/generic/IFGT.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFGT.java [code]
• lib/jpf/de/fub/bytecode/generic/IfInstruction.java [code]
• src/de/fub/bytecode/generic/IfInstruction.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IfInstruction.java [code]
• lib/jpf/de/fub/bytecode/generic/IFLE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFLE.java [code]
• src/de/fub/bytecode/generic/IFLE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFLE.java [code]
• lib/jpf/de/fub/bytecode/generic/IFLT.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFLT.java [code]
• src/de/fub/bytecode/generic/IFLT.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFLT.java [code]
• lib/jpf/de/fub/bytecode/generic/IFNE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNE.java [code]
• src/de/fub/bytecode/generic/IFNE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNE.java [code]
• lib/jpf/de/fub/bytecode/generic/IFNONNULL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNONNULL.java [code]
• src/de/fub/bytecode/generic/IFNONNULL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNONNULL.java [code]
• lib/jpf/de/fub/bytecode/generic/IFNULL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNULL.java [code]
• src/de/fub/bytecode/generic/IFNULL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IFNULL.java [code]
• IfStmt.java [code]
• IfStmtAnnotation.java [code]
• iHeuristic.java [code]
• lib/jpf/de/fub/bytecode/generic/IINC.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IINC.java [code]
• src/de/fub/bytecode/generic/IINC.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IINC.java [code]
• IITree.java [code]
• IITreeNode.java [code]
• iKernelState.java [code]
• IllegalTypeMergeException.java [code]
• lib/jpf/de/fub/bytecode/generic/ILOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ILOAD.java [code]
• src/de/fub/bytecode/generic/ILOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ILOAD.java [code]
• ImageCanvas.java [code]
• ImagePanel.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/iMethodState.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/iMethodState.java [code]
• ImmediateBox.java [code]
• lib/jpf/de/fub/bytecode/generic/IMPDEP1.java [code]
• src/de/fub/bytecode/generic/IMPDEP1.java [code]
• lib/jpf/de/fub/bytecode/generic/IMPDEP2.java [code]
• src/de/fub/bytecode/generic/IMPDEP2.java [code]
• lib/jpf/de/fub/bytecode/generic/IMUL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IMUL.java [code]
• src/de/fub/bytecode/generic/IMUL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IMUL.java [code]
• IncludedManager.java [code]
• IncorrectDeclarerException.java [code]
• IncorrectManagerException.java [code]
• bofa/Index.java [code]
• prog/Index.java [code]
• IndexedInstruction.java [code]
• IndexMaps.java [code]
• lib/jpf/de/fub/bytecode/generic/INEG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INEG.java [code]
• src/de/fub/bytecode/generic/INEG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INEG.java [code]
• InExpr.java [code]
• Info.java [code]
• InfoAnalysis.java [code]
• InitDescr.java [code]
• Initialized.java [code]
• Inline.java [code]
• InlinerChooseFixer.java [code]
• lib/jpf/de/fub/bytecode/classfile/InnerClass.java [code]
• src/de/fub/bytecode/classfile/InnerClass.java [code]
• lib/jpf/de/fub/bytecode/classfile/InnerClasses.java [code]
• src/de/fub/bytecode/classfile/InnerClasses.java [code]
• BanderaTutorial/temp$NewBBufferSliced/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSliced/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/bsl/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/sliced/InOut1.java [code]
• BoundedBuffer/temp$FullToNonFull/bsl/InOut1.java [code]
• BoundedBuffer/temp$IndexRangeInvariant/bsl/InOut1.java [code]
• BoundedBuffer/temp$NoTakeWhileEmpty/bsl/InOut1.java [code]
• temp$NewBBufferSliced/bsl/InOut1.java [code]
• temp$NewBBufferSliced/sliced/InOut1.java [code]
• temp$NewBBufferSlicedIdxVar/bsl/InOut1.java [code]
• temp$NewBBufferSlicedIdxVar/sliced/InOut1.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/bsl/InOut1.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/sliced/InOut1.java [code]
• temp$NewBBufferSlicedNoTake/bsl/InOut1.java [code]
• temp$NewBBufferSlicedNoTake/sliced/InOut1.java [code]
• temp$NewBBufferSlicedNoTakewAsst/bsl/InOut1.java [code]
• temp$NewBBufferSlicedNoTakewAsst/sliced/InOut1.java [code]
• temp$NewBBufferSlicedwAsst/bsl/InOut1.java [code]
• temp$NewBBufferSlicedwAsst/sliced/InOut1.java [code]
• BanderaTutorial/temp$NewBBufferSliced/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSliced/sliced/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVar/sliced/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedIdxVarwAsst/sliced/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTake/sliced/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedNoTakewAsst/sliced/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/bsl/InOut2.java [code]
• BanderaTutorial/temp$NewBBufferSlicedwAsst/sliced/InOut2.java [code]
• BoundedBuffer/temp$FullToNonFull/bsl/InOut2.java [code]
• BoundedBuffer/temp$IndexRangeInvariant/bsl/InOut2.java [code]
• BoundedBuffer/temp$NoTakeWhileEmpty/bsl/InOut2.java [code]
• temp$NewBBufferSliced/bsl/InOut2.java [code]
• temp$NewBBufferSliced/sliced/InOut2.java [code]
• temp$NewBBufferSlicedIdxVar/bsl/InOut2.java [code]
• temp$NewBBufferSlicedIdxVar/sliced/InOut2.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/bsl/InOut2.java [code]
• temp$NewBBufferSlicedIdxVarwAsst/sliced/InOut2.java [code]
• temp$NewBBufferSlicedNoTake/bsl/InOut2.java [code]
• temp$NewBBufferSlicedNoTake/sliced/InOut2.java [code]
• temp$NewBBufferSlicedNoTakewAsst/bsl/InOut2.java [code]
• temp$NewBBufferSlicedNoTakewAsst/sliced/InOut2.java [code]
• temp$NewBBufferSlicedwAsst/bsl/InOut2.java [code]
• temp$NewBBufferSlicedwAsst/sliced/InOut2.java [code]
• InstanceFieldRef.java [code]
• InstanceIndexManager.java [code]
• InstanceIndexManagerPoint.java [code]
• InstanceInitializerAnnotation.java [code]
• lib/jpf/de/fub/bytecode/generic/INSTANCEOF.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INSTANCEOF.java [code]
• src/de/fub/bytecode/generic/INSTANCEOF.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INSTANCEOF.java [code]
• ca/mcgill/sable/soot/jimple/InstanceOfExpr.java [code]
• edu/ksu/cis/bandera/bir/InstanceOfExpr.java [code]
• InstanceVariant.java [code]
• InstanceVariantManager.java [code]
• lib/jpf/de/fub/bytecode/generic/Instruction.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/Instruction.java [code]
• src/ca/mcgill/sable/soot/coffi/Instruction.java [code]
• src/de/fub/bytecode/generic/Instruction.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/Instruction.java [code]
• Instruction_Aaload.java [code]
• Instruction_Aastore.java [code]
• Instruction_Aconst_null.java [code]
• Instruction_Aload.java [code]
• Instruction_Aload_0.java [code]
• Instruction_Aload_1.java [code]
• Instruction_Aload_2.java [code]
• Instruction_Aload_3.java [code]
• Instruction_Anewarray.java [code]
• Instruction_Areturn.java [code]
• Instruction_Arraylength.java [code]
• Instruction_Astore.java [code]
• Instruction_Astore_0.java [code]
• Instruction_Astore_1.java [code]
• Instruction_Astore_2.java [code]
• Instruction_Astore_3.java [code]
• Instruction_Athrow.java [code]
• Instruction_Baload.java [code]
• Instruction_Bastore.java [code]
• Instruction_Bipush.java [code]
• Instruction_Breakpoint.java [code]
• Instruction_byte.java [code]
• Instruction_byteindex.java [code]
• Instruction_bytevar.java [code]
• Instruction_Caload.java [code]
• Instruction_Castore.java [code]
• Instruction_Checkcast.java [code]
• Instruction_D2f.java [code]
• Instruction_D2i.java [code]
• Instruction_D2l.java [code]
• Instruction_Dadd.java [code]
• Instruction_Daload.java [code]
• Instruction_Dastore.java [code]
• Instruction_Dcmpg.java [code]
• Instruction_Dcmpl.java [code]
• Instruction_Dconst_0.java [code]
• Instruction_Dconst_1.java [code]
• Instruction_Ddiv.java [code]
• Instruction_Dload.java [code]
• Instruction_Dload_0.java [code]
• Instruction_Dload_1.java [code]
• Instruction_Dload_2.java [code]
• Instruction_Dload_3.java [code]
• Instruction_Dmul.java [code]
• Instruction_Dneg.java [code]
• Instruction_Drem.java [code]
• Instruction_Dreturn.java [code]
• Instruction_Dstore.java [code]
• Instruction_Dstore_0.java [code]
• Instruction_Dstore_1.java [code]
• Instruction_Dstore_2.java [code]
• Instruction_Dstore_3.java [code]
• Instruction_Dsub.java [code]
• Instruction_Dup.java [code]
• Instruction_Dup2.java [code]
• Instruction_Dup2_x1.java [code]
• Instruction_Dup2_x2.java [code]
• Instruction_Dup_x1.java [code]
• Instruction_Dup_x2.java [code]
• Instruction_F2d.java [code]
• Instruction_F2i.java [code]
• Instruction_F2l.java [code]
• Instruction_Fadd.java [code]
• Instruction_Faload.java [code]
• Instruction_Fastore.java [code]
• Instruction_Fcmpg.java [code]
• Instruction_Fcmpl.java [code]
• Instruction_Fconst_0.java [code]
• Instruction_Fconst_1.java [code]
• Instruction_Fconst_2.java [code]
• Instruction_Fdiv.java [code]
• Instruction_Fload.java [code]
• Instruction_Fload_0.java [code]
• Instruction_Fload_1.java [code]
• Instruction_Fload_2.java [code]
• Instruction_Fload_3.java [code]
• Instruction_Fmul.java [code]
• Instruction_Fneg.java [code]
• Instruction_Frem.java [code]
• Instruction_Freturn.java [code]
• Instruction_Fstore.java [code]
• Instruction_Fstore_0.java [code]
• Instruction_Fstore_1.java [code]
• Instruction_Fstore_2.java [code]
• Instruction_Fstore_3.java [code]
• Instruction_Fsub.java [code]
• Instruction_Getfield.java [code]
• Instruction_Getstatic.java [code]
• Instruction_Goto.java [code]
• Instruction_Goto_w.java [code]
• Instruction_I2d.java [code]
• Instruction_I2f.java [code]
• Instruction_I2l.java [code]
• Instruction_Iadd.java [code]
• Instruction_Iaload.java [code]
• Instruction_Iand.java [code]
• Instruction_Iastore.java [code]
• Instruction_Iconst_0.java [code]
• Instruction_Iconst_1.java [code]
• Instruction_Iconst_2.java [code]
• Instruction_Iconst_3.java [code]
• Instruction_Iconst_4.java [code]
• Instruction_Iconst_5.java [code]
• Instruction_Iconst_m1.java [code]
• Instruction_Idiv.java [code]
• Instruction_If_acmpeq.java [code]
• Instruction_If_acmpne.java [code]
• Instruction_If_icmpeq.java [code]
• Instruction_If_icmpge.java [code]
• Instruction_If_icmpgt.java [code]
• Instruction_If_icmple.java [code]
• Instruction_If_icmplt.java [code]
• Instruction_If_icmpne.java [code]
• Instruction_Ifeq.java [code]
• Instruction_Ifge.java [code]
• Instruction_Ifgt.java [code]
• Instruction_Ifle.java [code]
• Instruction_Iflt.java [code]
• Instruction_Ifne.java [code]
• Instruction_Ifnonnull.java [code]
• Instruction_Ifnull.java [code]
• Instruction_Iinc.java [code]
• Instruction_Iload.java [code]
• Instruction_Iload_0.java [code]
• Instruction_Iload_1.java [code]
• Instruction_Iload_2.java [code]
• Instruction_Iload_3.java [code]
• Instruction_Imul.java [code]
• Instruction_Ineg.java [code]
• Instruction_Instanceof.java [code]
• Instruction_int.java [code]
• Instruction_Int2byte.java [code]
• Instruction_Int2char.java [code]
• Instruction_Int2short.java [code]
• Instruction_intbranch.java [code]
• Instruction_intindex.java [code]
• Instruction_intvar.java [code]
• Instruction_Invokeinterface.java [code]
• Instruction_Invokenonvirtual.java [code]
• Instruction_Invokestatic.java [code]
• Instruction_Invokevirtual.java [code]
• Instruction_Ior.java [code]
• Instruction_Irem.java [code]
• Instruction_Ireturn.java [code]
• Instruction_Ishl.java [code]
• Instruction_Ishr.java [code]
• Instruction_Istore.java [code]
• Instruction_Istore_0.java [code]
• Instruction_Istore_1.java [code]
• Instruction_Istore_2.java [code]
• Instruction_Istore_3.java [code]
• Instruction_Isub.java [code]
• Instruction_Iushr.java [code]
• Instruction_Ixor.java [code]
• Instruction_Jsr.java [code]
• Instruction_Jsr_w.java [code]
• Instruction_L2d.java [code]
• Instruction_L2f.java [code]
• Instruction_L2i.java [code]
• Instruction_Ladd.java [code]
• Instruction_Laload.java [code]
• Instruction_Land.java [code]
• Instruction_Lastore.java [code]
• Instruction_Lcmp.java [code]
• Instruction_Lconst_0.java [code]
• Instruction_Lconst_1.java [code]
• Instruction_Ldc1.java [code]
• Instruction_Ldc2.java [code]
• Instruction_Ldc2w.java [code]
• Instruction_Ldiv.java [code]
• Instruction_Lload.java [code]
• Instruction_Lload_0.java [code]
• Instruction_Lload_1.java [code]
• Instruction_Lload_2.java [code]
• Instruction_Lload_3.java [code]
• Instruction_Lmul.java [code]
• Instruction_Lneg.java [code]
• Instruction_longbranch.java [code]
• Instruction_Lookupswitch.java [code]
• Instruction_Lor.java [code]
• Instruction_Lrem.java [code]
• Instruction_Lreturn.java [code]
• Instruction_Lshl.java [code]
• Instruction_Lshr.java [code]
• Instruction_Lstore.java [code]
• Instruction_Lstore_0.java [code]
• Instruction_Lstore_1.java [code]
• Instruction_Lstore_2.java [code]
• Instruction_Lstore_3.java [code]
• Instruction_Lsub.java [code]
• Instruction_Lushr.java [code]
• Instruction_Lxor.java [code]
• Instruction_Monitorenter.java [code]
• Instruction_Monitorexit.java [code]
• Instruction_Multianewarray.java [code]
• Instruction_New.java [code]
• Instruction_Newarray.java [code]
• Instruction_noargs.java [code]
• Instruction_Nop.java [code]
• Instruction_Pop.java [code]
• Instruction_Pop2.java [code]
• Instruction_Putfield.java [code]
• Instruction_Putstatic.java [code]
• Instruction_Ret.java [code]
• Instruction_Ret_w.java [code]
• Instruction_Return.java [code]
• Instruction_Saload.java [code]
• Instruction_Sastore.java [code]
• Instruction_Sipush.java [code]
• Instruction_Swap.java [code]
• Instruction_Tableswitch.java [code]
• Instruction_Unknown.java [code]
• Instruction_Wide.java [code]
• lib/jpf/de/fub/bytecode/generic/InstructionConstants.java [code]
• src/de/fub/bytecode/generic/InstructionConstants.java [code]
• lib/jpf/de/fub/bytecode/generic/InstructionFactory.java [code]
• src/de/fub/bytecode/generic/InstructionFactory.java [code]
• lib/jpf/de/fub/bytecode/generic/InstructionHandle.java [code]
• src/de/fub/bytecode/generic/InstructionHandle.java [code]
• lib/jpf/de/fub/bytecode/generic/InstructionList.java [code]
• src/de/fub/bytecode/generic/InstructionList.java [code]
• InstructionListObserver.java [code]
• lib/jpf/de/fub/bytecode/generic/InstructionTargeter.java [code]
• src/de/fub/bytecode/generic/InstructionTargeter.java [code]
• IntConstant.java [code]
• IntegerLiteral.java [code]
• IntegralAbstraction.java [code]
• IntegralType.java [code]
• InteractiveScheduler.java [code]
• InterClassAnalysis.java [code]
• InterfaceInvokeExpr.java [code]
• InterferStmt.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/InternalErrorException.java [code]
• src/gov/nasa/arc/ase/jpf/InternalErrorException.java [code]
• IntLit.java [code]
• IntPair.java [code]
• IntSet.java [code]
• ca/mcgill/sable/soot/IntType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/IntType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/IntValue.java [code]
• lib/jpf/gov/nasa/arc/ase/util/IntValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/IntValue.java [code]
• src/gov/nasa/arc/ase/util/IntValue.java [code]
• InvalidModifiersException.java [code]
• InvalidNameException.java [code]
• InvokeExpr.java [code]
• InvokeExprBox.java [code]
• lib/jpf/de/fub/bytecode/generic/InvokeInstruction.java [code]
• src/de/fub/bytecode/generic/InvokeInstruction.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/InvokeInstruction.java [code]
• lib/jpf/de/fub/bytecode/generic/INVOKEINTERFACE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKEINTERFACE.java [code]
• src/de/fub/bytecode/generic/INVOKEINTERFACE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKEINTERFACE.java [code]
• InvokePredicate.java [code]
• InvokeResolver.java [code]
• lib/jpf/de/fub/bytecode/generic/INVOKESPECIAL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKESPECIAL.java [code]
• src/de/fub/bytecode/generic/INVOKESPECIAL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKESPECIAL.java [code]
• lib/jpf/de/fub/bytecode/generic/INVOKESTATIC.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKESTATIC.java [code]
• src/de/fub/bytecode/generic/INVOKESTATIC.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKESTATIC.java [code]
• InvokeStmt.java [code]
• lib/jpf/de/fub/bytecode/generic/INVOKEVIRTUAL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKEVIRTUAL.java [code]
• src/de/fub/bytecode/generic/INVOKEVIRTUAL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/INVOKEVIRTUAL.java [code]
• lib/jpf/de/fub/bytecode/generic/IOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IOR.java [code]
• src/de/fub/bytecode/generic/IOR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iProperty.java [code]
• src/gov/nasa/arc/ase/jpf/iProperty.java [code]
• lib/jpf/de/fub/bytecode/generic/IREM.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IREM.java [code]
• src/de/fub/bytecode/generic/IREM.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IREM.java [code]
• iReporter.java [code]
• lib/jpf/de/fub/bytecode/generic/IRETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IRETURN.java [code]
• src/de/fub/bytecode/generic/IRETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IRETURN.java [code]
• IRNodes.java [code]
• IROptions.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iScheduler.java [code]
• src/gov/nasa/arc/ase/jpf/iScheduler.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iSearch.java [code]
• src/gov/nasa/arc/ase/jpf/iSearch.java [code]
• lib/jpf/de/fub/bytecode/generic/ISHL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ISHL.java [code]
• src/de/fub/bytecode/generic/ISHL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ISHL.java [code]
• lib/jpf/de/fub/bytecode/generic/ISHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ISHR.java [code]
• src/de/fub/bytecode/generic/ISHR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ISHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/iState.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/iState.java [code]
• iStateStack.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iStore.java [code]
• src/gov/nasa/arc/ase/jpf/iStore.java [code]
• lib/jpf/de/fub/bytecode/generic/ISTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ISTORE.java [code]
• src/de/fub/bytecode/generic/ISTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ISTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/ISUB.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/ISUB.java [code]
• src/de/fub/bytecode/generic/ISUB.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ISUB.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iSystemState.java [code]
• src/gov/nasa/arc/ase/jpf/iSystemState.java [code]
• Iterator.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iThreadInfo.java [code]
• src/gov/nasa/arc/ase/jpf/iThreadInfo.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iTrailInfo.java [code]
• src/gov/nasa/arc/ase/jpf/iTrailInfo.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/iType.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/iType.java [code]
• ITypeNeighbor.java [code]
• lib/jpf/de/fub/bytecode/generic/IUSHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IUSHR.java [code]
• src/de/fub/bytecode/generic/IUSHR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IUSHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/iValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/iValue.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/iVirtualMachine.java [code]
• src/gov/nasa/arc/ase/jpf/iVirtualMachine.java [code]
• lib/jpf/de/fub/bytecode/generic/IXOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/IXOR.java [code]
• src/de/fub/bytecode/generic/IXOR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/IXOR.java [code]
• JAddExpr.java [code]
• JAndExpr.java [code]
• JArrayRef.java [code]
• JasminClass.java [code]
• JAssignStmt.java [code]
• lib/jpf/de/fub/bytecode/classfile/JavaClass.java [code]
• src/de/fub/bytecode/classfile/JavaClass.java [code]
• JavaIoObjectStreamClassReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaIoPrintStreamReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaIoPrintStreamReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangCharacterReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangCharacterReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangClassReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangClassReflection.java [code]
• JavaLangDoubleReflection.java [code]
• JavaLangIntegerReflection.java [code]
• JavaLangLongReflection.java [code]
• JavaLangMathReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangObjectReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangObjectReflection.java [code]
• JavaLangReflectArrayReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangSystemReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangSystemReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangThreadReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangThreadReflection.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangThrowableReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/JavaLangThrowableReflection.java [code]
• JBreakpointStmt.java [code]
• JCastExpr.java [code]
• JCaughtExceptionRef.java [code]
• JCmpExpr.java [code]
• JCmpgExpr.java [code]
• JCmplExpr.java [code]
• JDivExpr.java [code]
• JEnterMonitorStmt.java [code]
• JEqExpr.java [code]
• JExitMonitorStmt.java [code]
• JGeExpr.java [code]
• JGotoStmt.java [code]
• JGtExpr.java [code]
• JIdentityStmt.java [code]
• JIfStmt.java [code]
• JIJCCodeGenerator.java [code]
• Jimple.java [code]
• JimpleBody.java [code]
• JimpleLiteral.java [code]
• JimpleLiteralPrinter.java [code]
• JimpleLiteralSwitch.java [code]
• JimpleRepresentation.java [code]
• JimpleStmtCloner.java [code]
• JimpleStore.java [code]
• JimpleStoreBuilder.java [code]
• JimpleTrace.java [code]
• JimpleValueCloner.java [code]
• JimpleValueSwitch.java [code]
• JimpleViewer.java [code]
• JInstanceFieldRef.java [code]
• JInstanceOfExpr.java [code]
• JInterfaceInvokeExpr.java [code]
• JInvokeStmt.java [code]
• JJCParser.java [code]
• JJTPredicateParserState.java [code]
• JLeExpr.java [code]
• JLengthExpr.java [code]
• JLookupSwitchStmt.java [code]
• JLtExpr.java [code]
• JMulExpr.java [code]
• JNeExpr.java [code]
• JNegExpr.java [code]
• JNewArrayExpr.java [code]
• JNewExpr.java [code]
• JNewMultiArrayExpr.java [code]
• JNopStmt.java [code]
• JOrExpr.java [code]
• JPF.java [code]
• JPFErrorException.java [code]
• JPFLTLCompiler.java [code]
• JPFOption.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/JPFOptions.java [code]
• src/gov/nasa/arc/ase/jpf/JPFOptions.java [code]
• JPFTraceManager.java [code]
• JPFVM.java [code]
• JRemExpr.java [code]
• JRetStmt.java [code]
• JReturnStmt.java [code]
• JReturnVoidStmt.java [code]
• JShlExpr.java [code]
• JShrExpr.java [code]
• JSpecialInvokeExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/JSR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/JSR.java [code]
• src/de/fub/bytecode/generic/JSR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/JSR.java [code]
• lib/jpf/de/fub/bytecode/generic/JSR_W.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/JSR_W.java [code]
• src/de/fub/bytecode/generic/JSR_W.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/JSR_W.java [code]
• JStaticInvokeExpr.java [code]
• JSubExpr.java [code]
• JTableSwitchStmt.java [code]
• JThrowStmt.java [code]
• JTrap.java [code]
• JTreeTable.java [code]
• JumpElimination.java [code]
• JUshrExpr.java [code]
• JVirtualInvokeExpr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/JVMOptions.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/JVMOptions.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/JVMPath.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/JVMPath.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/JVMPathEntry.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/JVMPathEntry.java [code]
• JXorExpr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/KernelState.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/KernelState.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Keyboard.java [code]
• src/gov/nasa/arc/ase/jpf/Keyboard.java [code]
• Kind.java [code]
• lib/jpf/gov/nasa/arc/ase/util/kMG.java [code]
• src/gov/nasa/arc/ase/util/kMG.java [code]
• KSUOptimizing.java [code]
• lib/jpf/de/fub/bytecode/generic/L2D.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/L2D.java [code]
• src/de/fub/bytecode/generic/L2D.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/L2D.java [code]
• lib/jpf/de/fub/bytecode/generic/L2F.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/L2F.java [code]
• src/de/fub/bytecode/generic/L2F.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/L2F.java [code]
• lib/jpf/de/fub/bytecode/generic/L2I.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/L2I.java [code]
• src/de/fub/bytecode/generic/L2I.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/L2I.java [code]
• Label.java [code]
• LabeledStmtAnnotation.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Labels.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Labels.java [code]
• lib/jpf/de/fub/bytecode/generic/LADD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LADD.java [code]
• src/de/fub/bytecode/generic/LADD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LADD.java [code]
• lib/jpf/de/fub/bytecode/generic/LALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LALOAD.java [code]
• src/de/fub/bytecode/generic/LALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LALOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/LAND.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LAND.java [code]
• src/de/fub/bytecode/generic/LAND.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LAND.java [code]
• lib/jpf/de/fub/bytecode/generic/LASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LASTORE.java [code]
• src/de/fub/bytecode/generic/LASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LASTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/LCMP.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LCMP.java [code]
• src/de/fub/bytecode/generic/LCMP.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LCMP.java [code]
• lib/jpf/de/fub/bytecode/generic/LCONST.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LCONST.java [code]
• src/de/fub/bytecode/generic/LCONST.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LCONST.java [code]
• lib/jpf/de/fub/bytecode/generic/LDC.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC.java [code]
• src/de/fub/bytecode/generic/LDC.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC.java [code]
• lib/jpf/de/fub/bytecode/generic/LDC2_W.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC2_W.java [code]
• src/de/fub/bytecode/generic/LDC2_W.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC2_W.java [code]
• lib/jpf/de/fub/bytecode/generic/LDC_W.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC_W.java [code]
• src/de/fub/bytecode/generic/LDC_W.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LDC_W.java [code]
• lib/jpf/de/fub/bytecode/generic/LDIV.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LDIV.java [code]
• src/de/fub/bytecode/generic/LDIV.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LDIV.java [code]
• ca/mcgill/sable/soot/jimple/LeExpr.java [code]
• edu/ksu/cis/bandera/bir/LeExpr.java [code]
• Left.java [code]
• LeftAssignExprSwitch.java [code]
• ca/mcgill/sable/soot/jimple/LengthExpr.java [code]
• edu/ksu/cis/bandera/bir/LengthExpr.java [code]
• edu/ksu/cis/bandera/abstraction/options/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/abstraction/specification/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/birp/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/bui/session/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/jjjc/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/jjjc/unicodepreprocessor/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/specification/assertion/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/specification/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/specification/pattern/lexer/Lexer.java [code]
• edu/ksu/cis/bandera/specification/predicate/lexer/Lexer.java [code]
• gov/nasa/arc/ase/util/Lexer.java [code]
• edu/ksu/cis/bandera/abstraction/options/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/abstraction/specification/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/birp/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/bui/session/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/jjjc/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/jjjc/unicodepreprocessor/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/specification/assertion/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/specification/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/specification/pattern/lexer/LexerException.java [code]
• edu/ksu/cis/bandera/specification/predicate/lexer/LexerException.java [code]
• gov/nasa/arc/ase/util/LexerException.java [code]
• line_number_table_entry.java [code]
• LineColumn.java [code]
• LineExtractor.java [code]
• lib/jpf/de/fub/bytecode/classfile/LineNumber.java [code]
• src/de/fub/bytecode/classfile/LineNumber.java [code]
• lib/jpf/de/fub/bytecode/generic/LineNumberGen.java [code]
• src/de/fub/bytecode/generic/LineNumberGen.java [code]
• lib/jpf/de/fub/bytecode/classfile/LineNumberTable.java [code]
• src/de/fub/bytecode/classfile/LineNumberTable.java [code]
• LineNumberTable_attribute.java [code]
• LinkedList.java [code]
• LinkNode.java [code]
• List.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Listener.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Listener.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Listener.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Listener.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Listener.java [code]
• temp$NewPipeInt/abstracted/Listener.java [code]
• temp$NewPipeInt/bsl/Listener.java [code]
• temp$NewPipeInt/sliced/Listener.java [code]
• temp$NewPipeInt2/abstracted/Listener.java [code]
• temp$NewPipeInt2/bsl/Listener.java [code]
• temp$NewPipeInt2/sliced/Listener.java [code]
• temp$NewPipeInt3/abstracted/Listener.java [code]
• temp$NewPipeInt3/bsl/Listener.java [code]
• temp$NewPipeInt3/sliced/Listener.java [code]
• temp$NewPipeIntList/abstracted/Listener.java [code]
• temp$NewPipeIntList/bsl/Listener.java [code]
• temp$NewPipeIntList/sliced/Listener.java [code]
• ListIterator.java [code]
• Literal.java [code]
• LiveLocals.java [code]
• lib/jpf/de/fub/bytecode/generic/LLOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LLOAD.java [code]
• src/de/fub/bytecode/generic/LLOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LLOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/LMUL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LMUL.java [code]
• src/de/fub/bytecode/generic/LMUL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LMUL.java [code]
• lib/jpf/de/fub/bytecode/generic/LNEG.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LNEG.java [code]
• src/de/fub/bytecode/generic/LNEG.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LNEG.java [code]
• lib/jpf/de/fub/bytecode/generic/LoadClass.java [code]
• src/de/fub/bytecode/generic/LoadClass.java [code]
• LoadInstruction.java [code]
• Local.java [code]
• local_variable_table_entry.java [code]
• LocalBox.java [code]
• LocalCopies.java [code]
• LocalCopy.java [code]
• LocalDeclarationStmtAnnotation.java [code]
• LocalDefs.java [code]
• LocalDefsFlowAnalysis.java [code]
• LocalExpr.java [code]
• LocalHashPartition.java [code]
• LocalMethod.java [code]
• LocalSplitter.java [code]
• LocalStmtPair.java [code]
• LocalTreeNode.java [code]
• LocalUses.java [code]
• lib/jpf/de/fub/bytecode/classfile/LocalVariable.java [code]
• src/de/fub/bytecode/classfile/LocalVariable.java [code]
• lib/jpf/de/fub/bytecode/generic/LocalVariableGen.java [code]
• src/de/fub/bytecode/generic/LocalVariableGen.java [code]
• lib/jpf/de/fub/bytecode/generic/LocalVariableInstruction.java [code]
• src/de/fub/bytecode/generic/LocalVariableInstruction.java [code]
• lib/jpf/de/fub/bytecode/classfile/LocalVariableTable.java [code]
• src/de/fub/bytecode/classfile/LocalVariableTable.java [code]
• LocalVariableTable_attribute.java [code]
• Location.java [code]
• LocationAssertion.java [code]
• LocationNode.java [code]
• LocationNodeInCriterionViewer.java [code]
• LocationPredicate.java [code]
• LocationTestExpr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/runtime/Lock.java [code]
• regtest/bsl/BanderaTutorial/temp$Deadlock/bsl/Lock.java [code]
• regtest/bsl/BanderaTutorial/temp$DeadlockPoint/abstracted/Lock.java [code]
• regtest/bsl/BanderaTutorial/temp$DeadlockPoint/bsl/Lock.java [code]
• regtest/bsl/BanderaTutorial/temp$DeadlockSlice/bsl/Lock.java [code]
• regtest/bsl/BanderaTutorial/temp$DeadlockSlice/sliced/Lock.java [code]
• regtest/bsl/temp$Deadlock/bsl/Lock.java [code]
• regtest/bsl/temp$DeadlockPoint/abstracted/Lock.java [code]
• regtest/bsl/temp$DeadlockPoint/bsl/Lock.java [code]
• regtest/bsl/temp$DeadlockSlice/bsl/Lock.java [code]
• regtest/bsl/temp$DeadlockSlice/sliced/Lock.java [code]
• src/edu/ksu/cis/bandera/bir/Lock.java [code]
• LockAccess.java [code]
• LockAccessList.java [code]
• LockAction.java [code]
• LockAnalysis.java [code]
• LockDefNotFoundException.java [code]
• LockLit.java [code]
• LockLiteral.java [code]
• LockMap.java [code]
• LockNode.java [code]
• LockNodeInfo.java [code]
• LockOrder.java [code]
• LockPool.java [code]
• LockSet.java [code]
• LockStatus.java [code]
• LockTest.java [code]
• LockTree.java [code]
• LocVector.java [code]
• Logger.java [code]
• LogicalAndExpr.java [code]
• LogicalNotExpr.java [code]
• LogicalOrExpr.java [code]
• Long2ndHalfType.java [code]
• LongConstant.java [code]
• ca/mcgill/sable/soot/LongType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/LongType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/LongValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/LongValue.java [code]
• lib/jpf/de/fub/bytecode/generic/LOOKUPSWITCH.java [code]
• src/de/fub/bytecode/generic/LOOKUPSWITCH.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LOOKUPSWITCH.java [code]
• LookupSwitchStmt.java [code]
• lib/jpf/de/fub/bytecode/generic/LOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LOR.java [code]
• src/de/fub/bytecode/generic/LOR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LOR.java [code]
• lr_parser.java [code]
• lib/jpf/de/fub/bytecode/generic/LREM.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LREM.java [code]
• src/de/fub/bytecode/generic/LREM.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LREM.java [code]
• lib/jpf/de/fub/bytecode/generic/LRETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LRETURN.java [code]
• src/de/fub/bytecode/generic/LRETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LRETURN.java [code]
• lib/jpf/de/fub/bytecode/generic/LSHL.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LSHL.java [code]
• src/de/fub/bytecode/generic/LSHL.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LSHL.java [code]
• lib/jpf/de/fub/bytecode/generic/LSHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LSHR.java [code]
• src/de/fub/bytecode/generic/LSHR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LSHR.java [code]
• lib/jpf/de/fub/bytecode/generic/LSTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LSTORE.java [code]
• src/de/fub/bytecode/generic/LSTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LSTORE.java [code]
• lib/jpf/de/fub/bytecode/generic/LSUB.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LSUB.java [code]
• src/de/fub/bytecode/generic/LSUB.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LSUB.java [code]
• ca/mcgill/sable/soot/jimple/LtExpr.java [code]
• edu/ksu/cis/bandera/bir/LtExpr.java [code]
• LTL.java [code]
• LTL2Buchi.java [code]
• lib/jpf/de/fub/bytecode/generic/LUSHR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LUSHR.java [code]
• src/de/fub/bytecode/generic/LUSHR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LUSHR.java [code]
• lib/jpf/de/fub/bytecode/generic/LXOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/LXOR.java [code]
• src/de/fub/bytecode/generic/LXOR.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/LXOR.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Main.java [code]
• src/ca/mcgill/sable/soot/coffi/Main.java [code]
• src/ca/mcgill/sable/soot/grimp/Main.java [code]
• src/ca/mcgill/sable/soot/jimple/Main.java [code]
• src/edu/ksu/cis/bandera/abstraction/Main.java [code]
• src/edu/ksu/cis/bandera/abstraction/pvs/Main.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Main.java [code]
• MainReadWriteLock.java [code]
• temp$ReaderWriterEx/bsl/MainReadWriteLock.java [code]
• temp$WriterEx/bsl/MainReadWriteLock.java [code]
• Manager.java [code]
• Map.java [code]
• MappingException.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Maximum.java [code]
• src/gov/nasa/arc/ase/util/Maximum.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/MC.java [code]
• src/gov/nasa/arc/ase/jpf/MC.java [code]
• MeaninglessNameException.java [code]
• lib/jpf/de/fub/bytecode/classfile/Method.java [code]
• src/de/fub/bytecode/classfile/Method.java [code]
• src/edu/ksu/cis/bandera/jjjc/symboltable/Method.java [code]
• method_info.java [code]
• MethodCallAnalysis.java [code]
• MethodDeclarationAnnotation.java [code]
• lib/jpf/de/fub/bytecode/generic/MethodGen.java [code]
• src/de/fub/bytecode/generic/MethodGen.java [code]
• lib/jpf/de/fub/bytecode/util/MethodHTML.java [code]
• src/de/fub/bytecode/util/MethodHTML.java [code]
• MethodIndexManager.java [code]
• MethodIndexManagerPoint.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java [code]
• src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java [code]
• MethodNotFoundException.java [code]
• MethodObserver.java [code]
• MethodPredicate.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/MethodState.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/MethodState.java [code]
• abstraction/gui/MethodTreeNode.java [code]
• pdgslicer/dependency/MethodTreeNode.java [code]
• MethodVariant.java [code]
• MethodVariantManager.java [code]
• Modifier.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Monitor.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Monitor.java [code]
• lib/jpf/de/fub/bytecode/generic/MONITORENTER.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/MONITORENTER.java [code]
• src/de/fub/bytecode/generic/MONITORENTER.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/MONITORENTER.java [code]
• lib/jpf/de/fub/bytecode/generic/MONITOREXIT.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/MONITOREXIT.java [code]
• src/de/fub/bytecode/generic/MONITOREXIT.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/MONITOREXIT.java [code]
• MonitorPair.java [code]
• MonitorStmtInstanceException.java [code]
• MrRoboto.java [code]
• ca/mcgill/sable/soot/jimple/MulExpr.java [code]
• edu/ksu/cis/bandera/bir/MulExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/MULTIANEWARRAY.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/MULTIANEWARRAY.java [code]
• src/de/fub/bytecode/generic/MULTIANEWARRAY.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/MULTIANEWARRAY.java [code]
• Name.java [code]
• Named.java [code]
• NamedAndTyped.java [code]
• NameGenerator.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/NativeMethodException.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/NativeMethodException.java [code]
• ca/mcgill/sable/soot/jimple/NeExpr.java [code]
• edu/ksu/cis/bandera/bir/NeExpr.java [code]
• NegExpr.java [code]
• BanderaTutorial/NestedMonitorDeadlock.java [code]
• BanderaTutorial/temp$NestedDeadlock/bsl/NestedMonitorDeadlock.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/bsl/NestedMonitorDeadlock.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/sliced/NestedMonitorDeadlock.java [code]
• temp$NestedDeadlock/bsl/NestedMonitorDeadlock.java [code]
• temp$NestedDeadlockSlice/bsl/NestedMonitorDeadlock.java [code]
• temp$NestedDeadlockSlice/sliced/NestedMonitorDeadlock.java [code]
• lib/jpf/de/fub/bytecode/generic/NEW.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/NEW.java [code]
• src/de/fub/bytecode/generic/NEW.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/NEW.java [code]
• lib/jpf/de/fub/bytecode/generic/NEWARRAY.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/NEWARRAY.java [code]
• src/de/fub/bytecode/generic/NEWARRAY.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/NEWARRAY.java [code]
• ca/mcgill/sable/soot/jimple/NewArrayExpr.java [code]
• edu/ksu/cis/bandera/bir/NewArrayExpr.java [code]
• NewBuild.java [code]
• ca/mcgill/sable/soot/jimple/NewExpr.java [code]
• edu/ksu/cis/bandera/bir/NewExpr.java [code]
• NewInvokeExpr.java [code]
• NewMultiArrayExpr.java [code]
• NextNextStmtRef.java [code]
• NNFTransformer.java [code]
• NoCallerException.java [code]
• ca/mcgill/sable/util/NoCast.java [code]
• edu/ksu/cis/bandera/abstraction/options/node/NoCast.java [code]
• edu/ksu/cis/bandera/abstraction/specification/node/NoCast.java [code]
• edu/ksu/cis/bandera/bui/session/node/NoCast.java [code]
• edu/ksu/cis/bandera/specification/assertion/node/NoCast.java [code]
• edu/ksu/cis/bandera/specification/node/NoCast.java [code]
• edu/ksu/cis/bandera/specification/pattern/node/NoCast.java [code]
• edu/ksu/cis/bandera/specification/predicate/node/NoCast.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Node.java [code]
• src/edu/ksu/cis/bandera/abstraction/options/node/Node.java [code]
• src/edu/ksu/cis/bandera/abstraction/predicate/parser/Node.java [code]
• src/edu/ksu/cis/bandera/abstraction/pvs/Node.java [code]
• src/edu/ksu/cis/bandera/abstraction/specification/node/Node.java [code]
• src/edu/ksu/cis/bandera/birp/node/Node.java [code]
• src/edu/ksu/cis/bandera/bui/session/node/Node.java [code]
• src/edu/ksu/cis/bandera/jjjc/node/Node.java [code]
• src/edu/ksu/cis/bandera/jjjc/unicodepreprocessor/node/Node.java [code]
• src/edu/ksu/cis/bandera/specification/assertion/node/Node.java [code]
• src/edu/ksu/cis/bandera/specification/nnf/ltl/Node.java [code]
• src/edu/ksu/cis/bandera/specification/node/Node.java [code]
• src/edu/ksu/cis/bandera/specification/pattern/node/Node.java [code]
• src/edu/ksu/cis/bandera/specification/predicate/node/Node.java [code]
• src/gov/nasa/arc/ase/ltl/Node.java [code]
• src/gov/nasa/arc/ase/util/graph/Node.java [code]
• abstraction/options/node/NodeCast.java [code]
• abstraction/specification/node/NodeCast.java [code]
• birp/node/NodeCast.java [code]
• bui/session/node/NodeCast.java [code]
• jjjc/node/NodeCast.java [code]
• jjjc/unicodepreprocessor/node/NodeCast.java [code]
• specification/assertion/node/NodeCast.java [code]
• specification/node/NodeCast.java [code]
• specification/pattern/node/NodeCast.java [code]
• specification/predicate/node/NodeCast.java [code]
• NoExitNodeException.java [code]
• NoInitStmtException.java [code]
• NonExpresionLockException.java [code]
• NonIdParaAssignmentException.java [code]
• NonInvokeExprException.java [code]
• NonLocalBaseSpecialInvokeException.java [code]
• NonScheduler.java [code]
• NonStaticInvokeExpr.java [code]
• lib/jpf/de/fub/bytecode/generic/NOP.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/NOP.java [code]
• src/de/fub/bytecode/generic/NOP.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/NOP.java [code]
• NoParaFieldFoundException.java [code]
• NopStmt.java [code]
• NoSuchClassException.java [code]
• NoSuchConstructorException.java [code]
• NoSuchElementException.java [code]
• NoSuchException.java [code]
• NoSuchFieldException.java [code]
• NoSuchInterfaceException.java [code]
• NoSuchLocalException.java [code]
• ca/mcgill/sable/soot/NoSuchMethodException.java [code]
• edu/ksu/cis/bandera/jjjc/exception/NoSuchMethodException.java [code]
• NoSuperClassException.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/Not.java [code]
• src/gov/nasa/arc/ase/jpf/expr/Not.java [code]
• ca/mcgill/sable/soot/NotDeclaredException.java [code]
• edu/ksu/cis/bandera/jjjc/exception/NotDeclaredException.java [code]
• NotExpr.java [code]
• NotManagedException.java [code]
• NotThrowableException.java [code]
• NullConstant.java [code]
• NullExpr.java [code]
• ca/mcgill/sable/soot/NullType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/NullType.java [code]
• NumericType.java [code]
• ObjectInfo.java [code]
• ObjectLiteral.java [code]
• lib/jpf/de/fub/bytecode/generic/ObjectType.java [code]
• src/de/fub/bytecode/generic/ObjectType.java [code]
• ObjectTypeStructure.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/ObjectValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/ObjectValue.java [code]
• ObjExprBox.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ObjRef.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ObjRef.java [code]
• temp$NoInitialRegNoUpdate/bsl/Observable.java [code]
• temp$NoSteadyRegNoUpdate/bsl/Observable.java [code]
• temp$RegUpdate/bsl/Observable.java [code]
• ObservableExtractor.java [code]
• temp$NoInitialRegNoUpdate/bsl/Observer.java [code]
• temp$NoSteadyRegNoUpdate/bsl/Observer.java [code]
• temp$RegUpdate/bsl/Observer.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Options.java [code]
• src/gov/nasa/arc/ase/util/Options.java [code]
• OptionsSaverLoader.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/Or.java [code]
• src/gov/nasa/arc/ase/jpf/expr/Or.java [code]
• ca/mcgill/sable/soot/jimple/OrExpr.java [code]
• edu/ksu/cis/bandera/bir/OrExpr.java [code]
• OutFlow.java [code]
• PAbstractDef.java [code]
• PAbstractFunction.java [code]
• PAbstractMethodDeclaration.java [code]
• Package.java [code]
• PackageNotFoundException.java [code]
• PAction.java [code]
• abstraction/specification/node/PAddExp.java [code]
• specification/predicate/node/PAddExp.java [code]
• PAdditiveExp.java [code]
• PAExprSwitch.java [code]
• regtest/bsl/BanderaTutorial/temp$NestedDeadlock/bsl/Pair.java [code]
• regtest/bsl/BanderaTutorial/temp$NestedDeadlockSlice/bsl/Pair.java [code]
• regtest/bsl/BanderaTutorial/temp$NestedDeadlockSlice/sliced/Pair.java [code]
• regtest/bsl/temp$NestedDeadlock/bsl/Pair.java [code]
• regtest/bsl/temp$NestedDeadlockSlice/bsl/Pair.java [code]
• regtest/bsl/temp$NestedDeadlockSlice/sliced/Pair.java [code]
• src/gov/nasa/arc/ase/util/graph/Pair.java [code]
• PAllocation.java [code]
• abstraction/specification/node/PAndExp.java [code]
• jjjc/node/PAndExp.java [code]
• specification/node/PAndExp.java [code]
• specification/predicate/node/PAndExp.java [code]
• PAnyId.java [code]
• ParameterNode.java [code]
• ParameterRef.java [code]
• Parameters.java [code]
• PArgs.java [code]
• PArgumentList.java [code]
• jjjc/node/PArrayAccess.java [code]
• specification/predicate/node/PArrayAccess.java [code]
• PArrayCreationExp.java [code]
• PArrayInitializer.java [code]
• PArraylength.java [code]
• PArrayType.java [code]
• ParseErrorException.java [code]
• ParseException.java [code]
• abstraction/pvs/parser.java [code]
• specification/nnf/ltl/parser.java [code]
• abstraction/options/parser/Parser.java [code]
• abstraction/specification/parser/Parser.java [code]
• birp/parser/Parser.java [code]
• bui/session/parser/Parser.java [code]
• jjjc/parser/Parser.java [code]
• specification/assertion/parser/Parser.java [code]
• specification/parser/Parser.java [code]
• specification/pattern/parser/Parser.java [code]
• specification/predicate/parser/Parser.java [code]
• abstraction/options/parser/ParserException.java [code]
• abstraction/specification/parser/ParserException.java [code]
• birp/parser/ParserException.java [code]
• bui/session/parser/ParserException.java [code]
• jjjc/parser/ParserException.java [code]
• specification/assertion/parser/ParserException.java [code]
• specification/parser/ParserException.java [code]
• specification/pattern/parser/ParserException.java [code]
• specification/predicate/parser/ParserException.java [code]
• ParserInternalError.java [code]
• Partition.java [code]
• PAssert.java [code]
• PAssertaction.java [code]
• PAssertion.java [code]
• birp/node/PAssignment.java [code]
• jjjc/node/PAssignment.java [code]
• PAssignmentExp.java [code]
• PAssignmentOperator.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Path.java [code]
• src/gov/nasa/arc/ase/jpf/Path.java [code]
• PathScheduler.java [code]
• Pattern.java [code]
• PatternException.java [code]
• PatternManager.java [code]
• PatternSaverLoader.java [code]
• PBinaryOperator.java [code]
• node/PBinOp.java [code]
• predicate/node/PBinOp.java [code]
• abstraction/specification/node/PBitAndExp.java [code]
• specification/predicate/node/PBitAndExp.java [code]
• PBlock.java [code]
• PBlockedStmt.java [code]
• PBool.java [code]
• PBooleanLiteral.java [code]
• jjjc/node/PCastExp.java [code]
• specification/predicate/node/PCastExp.java [code]
• PCatchClause.java [code]
• PChoice.java [code]
• PChoicetail.java [code]
• PClassBody.java [code]
• PClassBodyDeclaration.java [code]
• PClassDeclaration.java [code]
• PClassInstanceCreationExp.java [code]
• PClassMemberDeclaration.java [code]
• PClassOption.java [code]
• PClassOrInterfaceType.java [code]
• PClassType.java [code]
• PClassTypeList.java [code]
• PCollection.java [code]
• PColonExp.java [code]
• assertion/node/PComment.java [code]
• predicate/node/PComment.java [code]
• PCompilationUnit.java [code]
• PConditionalAndExp.java [code]
• abstraction/specification/node/PConditionalExp.java [code]
• jjjc/node/PConditionalExp.java [code]
• specification/predicate/node/PConditionalExp.java [code]
• PConditionalOrExp.java [code]
• PConst.java [code]
• PConstantDeclaration.java [code]
• PConstantExp.java [code]
• PConstructorBody.java [code]
• PConstructorDeclaration.java [code]
• PConstructorDeclarator.java [code]
• PConstructorInvocation.java [code]
• jvm/partition/PCPartition.java [code]
• partition/PCPartition.java [code]
• PCpl.java [code]
• PCsPartition.java [code]
• PDef.java [code]
• PDefaultToken.java [code]
• PDefinition.java [code]
• PDim.java [code]
• PDimExp.java [code]
• PEnumconst.java [code]
• PEnumdeftail.java [code]
• abstraction/specification/node/PEqExp.java [code]
• specification/predicate/node/PEqExp.java [code]
• PEqualityExp.java [code]
• Percent.java [code]
• abstraction/specification/node/PExclusiveOrExp.java [code]
• jjjc/node/PExclusiveOrExp.java [code]
• specification/predicate/node/PExclusiveOrExp.java [code]
• abstraction/specification/node/PExp.java [code]
• jjjc/node/PExp.java [code]
• specification/node/PExp.java [code]
• specification/predicate/node/PExp.java [code]
• PExpr.java [code]
• PExpr0.java [code]
• PExpr1.java [code]
• PExpr2.java [code]
• PExpr3.java [code]
• PExpr4.java [code]
• PExpr5.java [code]
• PExpr6.java [code]
• PExpr7.java [code]
• PExpStmt.java [code]
• PExtendsInterfaces.java [code]
• PField.java [code]
• jjjc/node/PFieldAccess.java [code]
• specification/predicate/node/PFieldAccess.java [code]
• PFieldDeclaration.java [code]
• PFieldOption.java [code]
• PFinally.java [code]
• PFloatingPointType.java [code]
• PForInit.java [code]
• PFormalParameter.java [code]
• PFormalParameterList.java [code]
• PFormat.java [code]
• PFormatWord.java [code]
• PForStmtNoShortIf.java [code]
• PForUpdate.java [code]
• PGlobal.java [code]
• PIdList.java [code]
• node/PIds.java [code]
• pattern/node/PIds.java [code]
• PIdSet.java [code]
• PIfThenElseStmt.java [code]
• PIfThenElseStmtNoShortIf.java [code]
• PIfThenStmt.java [code]
• PImplicationExp.java [code]
• PImport.java [code]
• PImportDeclaration.java [code]
• PImportName.java [code]
• PImportNames.java [code]
• abstraction/specification/node/PInclusiveOrExp.java [code]
• jjjc/node/PInclusiveOrExp.java [code]
• specification/predicate/node/PInclusiveOrExp.java [code]
• PInitializer.java [code]
• PIntegerLiteral.java [code]
• PIntegralType.java [code]
• PInterfaceBody.java [code]
• PInterfaceDeclaration.java [code]
• PInterfaceMemberDeclaration.java [code]
• PInterfaces.java [code]
• PInterfaceType.java [code]
• PInterfaceTypeList.java [code]
• BanderaTutorial/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/PipeInt.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/PipeInt.java [code]
• temp$NewPipeInt/abstracted/PipeInt.java [code]
• temp$NewPipeInt/bsl/PipeInt.java [code]
• temp$NewPipeInt/sliced/PipeInt.java [code]
• temp$NewPipeInt2/abstracted/PipeInt.java [code]
• temp$NewPipeInt2/bsl/PipeInt.java [code]
• temp$NewPipeInt2/sliced/PipeInt.java [code]
• temp$NewPipeInt3/abstracted/PipeInt.java [code]
• temp$NewPipeInt3/bsl/PipeInt.java [code]
• temp$NewPipeInt3/sliced/PipeInt.java [code]
• temp$NewPipeIntList/abstracted/PipeInt.java [code]
• temp$NewPipeIntList/bsl/PipeInt.java [code]
• temp$NewPipeIntList/sliced/PipeInt.java [code]
• PLabeledStmt.java [code]
• PLabeledStmtNoShortIf.java [code]
• PLeftHandSide.java [code]
• PLhs.java [code]
• abstraction/specification/node/PLiteral.java [code]
• jjjc/node/PLiteral.java [code]
• specification/predicate/node/PLiteral.java [code]
• PLiveset.java [code]
• PLivevar.java [code]
• PLocalOption.java [code]
• PLocalVariableDeclaration.java [code]
• PLocalVariableDeclarationStmt.java [code]
• PLocation.java [code]
• PLockOp.java [code]
• PLocktest.java [code]
• PLocktestop.java [code]
• PLockupdate.java [code]
• PMethodBody.java [code]
• PMethodDeclaration.java [code]
• PMethodDeclarator.java [code]
• PMethodHeader.java [code]
• PMethodInvocation.java [code]
• PMethodOption.java [code]
• lib/jpf/de/fub/bytecode/classfile/PMGClass.java [code]
• src/de/fub/bytecode/classfile/PMGClass.java [code]
• PModifier.java [code]
• abstraction/specification/node/PMultExp.java [code]
• specification/predicate/node/PMultExp.java [code]
• PMultiplicativeExp.java [code]
• abstraction/options/node/PName.java [code]
• jjjc/node/PName.java [code]
• specification/assertion/node/PName.java [code]
• specification/node/PName.java [code]
• specification/predicate/node/PName.java [code]
• PNames.java [code]
• PNavigation.java [code]
• PNullLiteral.java [code]
• PNumericType.java [code]
• integral/Point.java [code]
• real/Point.java [code]
• POne2oneSet.java [code]
• POneBreakStmt.java [code]
• POneContinueStmt.java [code]
• POneDoStmt.java [code]
• POneForStmt.java [code]
• POneQualifiedName.java [code]
• POneReturnStmt.java [code]
• POneSimpleName.java [code]
• POneSingleTypeImportDeclaration.java [code]
• POneSwitchStmt.java [code]
• POneSynchronizedStmt.java [code]
• POneThrowStmt.java [code]
• POneTryStmt.java [code]
• POneTypeImportOnDemandDeclaration.java [code]
• POneWhileStmt.java [code]
• Pool.java [code]
• PoolObject.java [code]
• POp.java [code]
• lib/jpf/de/fub/bytecode/generic/POP.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/POP.java [code]
• src/de/fub/bytecode/generic/POP.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/POP.java [code]
• lib/jpf/de/fub/bytecode/generic/POP2.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/POP2.java [code]
• src/de/fub/bytecode/generic/POP2.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/POP2.java [code]
• POperator.java [code]
• POperatorTest.java [code]
• PopInstruction.java [code]
• abstraction/specification/node/POrExp.java [code]
• specification/node/POrExp.java [code]
• specification/predicate/node/POrExp.java [code]
• POScheduler.java [code]
• PostAssertion.java [code]
• PostdomAnalysis.java [code]
• PostProcess.java [code]
• PostProcessOnAnnotation.java [code]
• PPackageDeclaration.java [code]
• PParamList.java [code]
• abstraction/options/node/PParams.java [code]
• specification/predicate/node/PParams.java [code]
• abstraction/specification/node/PPattern.java [code]
• specification/pattern/node/PPattern.java [code]
• PPostDecrementExpr.java [code]
• jjjc/node/PPostfixExp.java [code]
• specification/predicate/node/PPostfixExp.java [code]
• PPostIncrementExpr.java [code]
• PPreDecrementExp.java [code]
• PPredicate.java [code]
• PPredicates.java [code]
• PPreIncrementExp.java [code]
• PPrimary.java [code]
• abstraction/specification/node/PPrimaryExp.java [code]
• specification/node/PPrimaryExp.java [code]
• specification/predicate/node/PPrimaryExp.java [code]
• PPrimaryNoNewArray.java [code]
• PPrimaryTypeExp.java [code]
• jjjc/node/PPrimitiveType.java [code]
• specification/predicate/node/PPrimitiveType.java [code]
• PPrintaction.java [code]
• PPrintarg.java [code]
• PPrintargs.java [code]
• PProcess.java [code]
• PProgram.java [code]
• PPropositionDefinition.java [code]
• PQtl.java [code]
• PQtlBinding.java [code]
• PreAssertion.java [code]
• Precedence.java [code]
• abstraction/predicate/parser/Predicate.java [code]
• specification/predicate/datastructure/Predicate.java [code]
• PredicateAbstractor.java [code]
• PredicateBrowser.java [code]
• PredicateCompiler.java [code]
• PredicateException.java [code]
• PredicateExtractor.java [code]
• PredicateFactory.java [code]
• PredicateImpl.java [code]
• PredicateInterpreter.java [code]
• PredicateNotDeclaredException.java [code]
• PredicateParser.java [code]
• PredicateParserConstants.java [code]
• PredicateParserTokenManager.java [code]
• PredicateParserTreeConstants.java [code]
• PredicateParserVisitor.java [code]
• abstraction/predicate/parser/PredicateProcessor.java [code]
• specification/predicate/PredicateProcessor.java [code]
• birc/PredicateSet.java [code]
• specification/predicate/datastructure/PredicateSet.java [code]
• PredicateSetNotDeclaredException.java [code]
• PredicateSliceInterestCollector.java [code]
• PredicateTransformer.java [code]
• PredicateTypeChecker.java [code]
• PredicateUpdate.java [code]
• Preferences.java [code]
• PReferenceType.java [code]
• PReftail.java [code]
• PRelationalExp.java [code]
• abstraction/specification/node/PRelExp.java [code]
• specification/predicate/node/PRelExp.java [code]
• PreProcess.java [code]
• bui/session/node/PResource.java [code]
• specification/pattern/node/PResource.java [code]
• PrimitiveType.java [code]
• PrintAction.java [code]
• PrintBuild.java [code]
• PrintGrimpBodyOption.java [code]
• PrintJimpleBodyOption.java [code]
• BanderaTutorial/temp$Deadlock/bsl/Process1.java [code]
• BanderaTutorial/temp$DeadlockPoint/abstracted/Process1.java [code]
• BanderaTutorial/temp$DeadlockPoint/bsl/Process1.java [code]
• BanderaTutorial/temp$DeadlockSlice/bsl/Process1.java [code]
• BanderaTutorial/temp$DeadlockSlice/sliced/Process1.java [code]
• temp$Deadlock/bsl/Process1.java [code]
• temp$DeadlockPoint/abstracted/Process1.java [code]
• temp$DeadlockPoint/bsl/Process1.java [code]
• temp$DeadlockSlice/bsl/Process1.java [code]
• temp$DeadlockSlice/sliced/Process1.java [code]
• BanderaTutorial/temp$Deadlock/bsl/Process2.java [code]
• BanderaTutorial/temp$DeadlockPoint/abstracted/Process2.java [code]
• BanderaTutorial/temp$DeadlockPoint/bsl/Process2.java [code]
• BanderaTutorial/temp$DeadlockSlice/bsl/Process2.java [code]
• BanderaTutorial/temp$DeadlockSlice/sliced/Process2.java [code]
• temp$Deadlock/bsl/Process2.java [code]
• temp$DeadlockPoint/abstracted/Process2.java [code]
• temp$DeadlockPoint/bsl/Process2.java [code]
• temp$DeadlockSlice/bsl/Process2.java [code]
• temp$DeadlockSlice/sliced/Process2.java [code]
• Property.java [code]
• PropertyManager.java [code]
• PSemicolonStmt.java [code]
• PSession.java [code]
• abstraction/specification/node/PShiftExp.java [code]
• jjjc/node/PShiftExp.java [code]
• specification/predicate/node/PShiftExp.java [code]
• PStaticInitializer.java [code]
• PStmt.java [code]
• PStmtExp.java [code]
• PStmtExpList.java [code]
• PStmtNoShortIf.java [code]
• PStmtWithoutTrailingSubstmt.java [code]
• bui/session/node/PStrings.java [code]
• specification/pattern/node/PStrings.java [code]
• PSuper.java [code]
• PSwitchBlockStmtGroup.java [code]
• PSwitchLabel.java [code]
• PTest.java [code]
• PThread.java [code]
• PThreadop.java [code]
• PThreadtest.java [code]
• PThreadupdate.java [code]
• PThrows.java [code]
• PTl.java [code]
• PTokenSet.java [code]
• PTokenTokenSet.java [code]
• PTOp.java [code]
• PTransformation.java [code]
• abstraction/specification/node/PType.java [code]
• birp/node/PType.java [code]
• jjjc/node/PType.java [code]
• PTypeDeclaration.java [code]
• PTypeExp.java [code]
• PTypeOp.java [code]
• PTypespec.java [code]
• abstraction/specification/node/PUnaryExp.java [code]
• jjjc/node/PUnaryExp.java [code]
• specification/node/PUnaryExp.java [code]
• specification/predicate/node/PUnaryExp.java [code]
• PUnaryExpNotPlusMinus.java [code]
• abstraction/specification/node/PUnaryNotPlusMinusExp.java [code]
• specification/predicate/node/PUnaryNotPlusMinusExp.java [code]
• PUnaryOperator.java [code]
• abstraction/options/node/PUnit.java [code]
• abstraction/specification/node/PUnit.java [code]
• bui/session/node/PUnit.java [code]
• specification/assertion/node/PUnit.java [code]
• specification/node/PUnit.java [code]
• specification/pattern/node/PUnit.java [code]
• specification/predicate/node/PUnit.java [code]
• lib/jpf/de/fub/bytecode/generic/PUSH.java [code]
• src/de/fub/bytecode/generic/PUSH.java [code]
• PushComplement.java [code]
• lib/jpf/de/fub/bytecode/generic/PushInstruction.java [code]
• src/de/fub/bytecode/generic/PushInstruction.java [code]
• lib/jpf/de/fub/bytecode/generic/PUTFIELD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/PUTFIELD.java [code]
• src/de/fub/bytecode/generic/PUTFIELD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/PUTFIELD.java [code]
• lib/jpf/de/fub/bytecode/generic/PUTSTATIC.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/PUTSTATIC.java [code]
• src/de/fub/bytecode/generic/PUTSTATIC.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/PUTSTATIC.java [code]
• PValue.java [code]
• PVariable.java [code]
• PVariableDeclarator.java [code]
• PVariableDeclaratorId.java [code]
• PVariableDeclarators.java [code]
• PVariableInitializer.java [code]
• PVariableInitializers.java [code]
• PVS.java [code]
• PWhileStmtNoShortIf.java [code]
• PWord.java [code]
• QuantifiedVariable.java [code]
• QuantifiedVariableFixer.java [code]
• QuantifierClassPair.java [code]
• QueryConfig.java [code]
• QueryPanel.java [code]
• RaceWindow.java [code]
• RandomOrderScheduler.java [code]
• RandomScheduler.java [code]
• Range.java [code]
• Range01.java [code]
• Range02.java [code]
• Range03.java [code]
• Range04.java [code]
• Reachability.java [code]
• ReadDescr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Reader.java [code]
• regtest/bsl/ReadersWriters/temp$ReaderWriterEx/bsl/Reader.java [code]
• regtest/bsl/ReadersWriters/temp$WriterEx/bsl/Reader.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Reader.java [code]
• temp$ReaderWriterEx/bsl/ReaderLock.java [code]
• temp$WriterEx/bsl/ReaderLock.java [code]
• temp$ReaderWriterEx/bsl/ReaderThread.java [code]
• temp$WriterEx/bsl/ReaderThread.java [code]
• temp$ReaderWriterEx/bsl/ReadWriteLock.java [code]
• temp$WriterEx/bsl/ReadWriteLock.java [code]
• ReadyDependStmt.java [code]
• RealAbstraction.java [code]
• Record.java [code]
• RecordExpr.java [code]
• Reducer.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Ref.java [code]
• src/ca/mcgill/sable/soot/jimple/Ref.java [code]
• src/edu/ksu/cis/bandera/bir/Ref.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Ref.java [code]
• Reference.java [code]
• ReferenceLiteral.java [code]
• lib/jpf/de/fub/bytecode/generic/ReferenceType.java [code]
• src/de/fub/bytecode/generic/ReferenceType.java [code]
• src/edu/ksu/cis/bandera/jjjc/symboltable/ReferenceType.java [code]
• ReferenceWrapper.java [code]
• RefExpr.java [code]
• RefHashTable.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/reflection/Reflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/reflection/Reflection.java [code]
• RefLit.java [code]
• Reformatter.java [code]
• RefSwitch.java [code]
• RefType.java [code]
• ca/mcgill/sable/soot/jimple/RemExpr.java [code]
• edu/ksu/cis/bandera/bir/RemExpr.java [code]
• RenameExpression.java [code]
• RenameStatement.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/ReplyInfo.java [code]
• src/gov/nasa/arc/ase/jpf/ReplyInfo.java [code]
• Report.java [code]
• Reporter.java [code]
• ReportManager.java [code]
• lib/jpf/de/fub/bytecode/Repository.java [code]
• src/de/fub/bytecode/Repository.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/RESULT.java [code]
• src/gov/nasa/arc/ase/jpf/RESULT.java [code]
• ResultInfo.java [code]
• lib/jpf/de/fub/bytecode/generic/RET.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/RET.java [code]
• src/de/fub/bytecode/generic/RET.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/RET.java [code]
• RetStmt.java [code]
• lib/jpf/de/fub/bytecode/generic/RETURN.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/RETURN.java [code]
• src/de/fub/bytecode/generic/RETURN.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/RETURN.java [code]
• lib/jpf/de/fub/bytecode/generic/ReturnInstruction.java [code]
• src/de/fub/bytecode/generic/ReturnInstruction.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/ReturnInstruction.java [code]
• ReturnPredicate.java [code]
• ReturnStmt.java [code]
• ReturnStmtAnnotation.java [code]
• ReturnVoidStmt.java [code]
• abstraction/options/analysis/ReversedDepthFirstAdapter.java [code]
• abstraction/specification/analysis/ReversedDepthFirstAdapter.java [code]
• birp/analysis/ReversedDepthFirstAdapter.java [code]
• bui/session/analysis/ReversedDepthFirstAdapter.java [code]
• jjjc/analysis/ReversedDepthFirstAdapter.java [code]
• specification/analysis/ReversedDepthFirstAdapter.java [code]
• specification/assertion/analysis/ReversedDepthFirstAdapter.java [code]
• specification/pattern/analysis/ReversedDepthFirstAdapter.java [code]
• specification/predicate/analysis/ReversedDepthFirstAdapter.java [code]
• Rewriter.java [code]
• Right.java [code]
• rStatus.java [code]
• RulesClass.java [code]
• Runner.java [code]
• RValueBox.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/SafeBlock.java [code]
• src/gov/nasa/arc/ase/jpf/SafeBlock.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/SafeBlocks.java [code]
• src/gov/nasa/arc/ase/jpf/SafeBlocks.java [code]
• lib/jpf/de/fub/bytecode/generic/SALOAD.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/SALOAD.java [code]
• src/de/fub/bytecode/generic/SALOAD.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/SALOAD.java [code]
• lib/jpf/de/fub/bytecode/generic/SASTORE.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/SASTORE.java [code]
• src/de/fub/bytecode/generic/SASTORE.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/SASTORE.java [code]
• Scanner.java [code]
• SCC.java [code]
• SCCReduction.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Sch.java [code]
• src/gov/nasa/arc/ase/jpf/Sch.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Scheduler.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Scheduler.java [code]
• lib/jpf/de/fub/bytecode/generic/Select.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/Select.java [code]
• src/de/fub/bytecode/generic/Select.java [code]
• SequentialAnnotation.java [code]
• Session.java [code]
• SessionInfo.java [code]
• SessionManager.java [code]
• Sessions.java [code]
• SessionsSaverLoader.java [code]
• Set.java [code]
• Set0.java [code]
• SetUtil.java [code]
• SFSReduction.java [code]
• ShlExpr.java [code]
• ca/mcgill/sable/soot/ShortType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/ShortType.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/ShortValue.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/ShortValue.java [code]
• ShrExpr.java [code]
• temp$ReaderWriterEx/bsl/Signaller.java [code]
• temp$WriterEx/bsl/Signaller.java [code]
• lib/jpf/de/fub/bytecode/classfile/Signature.java [code]
• src/de/fub/bytecode/classfile/Signature.java [code]
• src/gov/nasa/arc/ase/jpf/tools/Signature.java [code]
• integral/Signs.java [code]
• real/Signs.java [code]
• SimpleEqualLocals.java [code]
• SimpleEqualLocalsAnalysis.java [code]
• SimpleLiveLocals.java [code]
• SimpleLiveLocalsAnalysis.java [code]
• SimpleLocalCopies.java [code]
• SimpleLocalDefs.java [code]
• SimpleLocalUses.java [code]
• SimpleNode.java [code]
• ast/Simplifier.java [code]
• predicate/ast/Simplifier.java [code]
• Simplify.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Simulation.java [code]
• src/gov/nasa/arc/ase/jpf/Simulation.java [code]
• lib/jpf/de/fub/bytecode/generic/SIPUSH.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/SIPUSH.java [code]
• src/de/fub/bytecode/generic/SIPUSH.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/SIPUSH.java [code]
• SLABS.java [code]
• SLABSReport.java [code]
• SliceCriterion.java [code]
• SliceField.java [code]
• SliceInterest.java [code]
• SliceInterestEnv.java [code]
• SliceLocal.java [code]
• SlicePoint.java [code]
• Slicer.java [code]
• SlicerException.java [code]
• SliceStatement.java [code]
• SliceTraceNode.java [code]
• SliceVariable.java [code]
• SlicingMethod.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/SM.java [code]
• src/gov/nasa/arc/ase/jpf/SM.java [code]
• SM2DG.java [code]
• SM2Dot.java [code]
• SmvBinaryExpr.java [code]
• SmvCase.java [code]
• SmvCaseExpr.java [code]
• SmvExpr.java [code]
• SmvList.java [code]
• SmvLit.java [code]
• SmvNaryExpr.java [code]
• SmvNextExpr.java [code]
• SmvOptions.java [code]
• SmvTrans.java [code]
• SmvTypeDecl.java [code]
• SmvUnaryExpr.java [code]
• SmvVar.java [code]
• SootClass.java [code]
• SootClassManager.java [code]
• SootField.java [code]
• SootMethod.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Source.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Source.java [code]
• lib/jpf/de/fub/bytecode/classfile/SourceFile.java [code]
• src/de/fub/bytecode/classfile/SourceFile.java [code]
• SourceFile_attribute.java [code]
• SparseLiveLocals.java [code]
• SparseLiveLocalsAnalysis.java [code]
• SparseLocalDefs.java [code]
• SparseLocalDefsFlowAnalysis.java [code]
• SpecialInvokeExpr.java [code]
• SpecializedAnnotation.java [code]
• SpecificationAbstractor.java [code]
• SpecificationException.java [code]
• SpecificationSaverLoader.java [code]
• SpinOption.java [code]
• SpinOptions.java [code]
• SpinTrans.java [code]
• SpinTypeInit.java [code]
• SpinTypeName.java [code]
• SplayTreeMap.java [code]
• StackConsumer.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/StackFrame.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java [code]
• lib/jpf/de/fub/bytecode/generic/StackInstruction.java [code]
• src/de/fub/bytecode/generic/StackInstruction.java [code]
• StackProducer.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Stage1.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Stage1.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Stage1.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Stage1.java [code]
• temp$NewPipeInt/abstracted/Stage1.java [code]
• temp$NewPipeInt/bsl/Stage1.java [code]
• temp$NewPipeInt/sliced/Stage1.java [code]
• temp$NewPipeInt2/abstracted/Stage1.java [code]
• temp$NewPipeInt2/bsl/Stage1.java [code]
• temp$NewPipeInt2/sliced/Stage1.java [code]
• temp$NewPipeInt3/abstracted/Stage1.java [code]
• temp$NewPipeInt3/bsl/Stage1.java [code]
• temp$NewPipeInt3/sliced/Stage1.java [code]
• temp$NewPipeIntList/abstracted/Stage1.java [code]
• temp$NewPipeIntList/bsl/Stage1.java [code]
• temp$NewPipeIntList/sliced/Stage1.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Stage2.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Stage2.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Stage2.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Stage2.java [code]
• temp$NewPipeInt/abstracted/Stage2.java [code]
• temp$NewPipeInt/bsl/Stage2.java [code]
• temp$NewPipeInt/sliced/Stage2.java [code]
• temp$NewPipeInt2/abstracted/Stage2.java [code]
• temp$NewPipeInt2/bsl/Stage2.java [code]
• temp$NewPipeInt2/sliced/Stage2.java [code]
• temp$NewPipeInt3/abstracted/Stage2.java [code]
• temp$NewPipeInt3/bsl/Stage2.java [code]
• temp$NewPipeInt3/sliced/Stage2.java [code]
• temp$NewPipeIntList/abstracted/Stage2.java [code]
• temp$NewPipeIntList/bsl/Stage2.java [code]
• temp$NewPipeIntList/sliced/Stage2.java [code]
• BanderaTutorial/temp$NewPipeInt/abstracted/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt/bsl/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt/sliced/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt2/abstracted/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt2/bsl/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt2/sliced/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt3/abstracted/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt3/bsl/Stage3.java [code]
• BanderaTutorial/temp$NewPipeInt3/sliced/Stage3.java [code]
• BanderaTutorial/temp$NewPipeIntList/abstracted/Stage3.java [code]
• BanderaTutorial/temp$NewPipeIntList/bsl/Stage3.java [code]
• BanderaTutorial/temp$NewPipeIntList/sliced/Stage3.java [code]
• temp$NewPipeInt/abstracted/Stage3.java [code]
• temp$NewPipeInt/bsl/Stage3.java [code]
• temp$NewPipeInt/sliced/Stage3.java [code]
• temp$NewPipeInt2/abstracted/Stage3.java [code]
• temp$NewPipeInt2/bsl/Stage3.java [code]
• temp$NewPipeInt2/sliced/Stage3.java [code]
• temp$NewPipeInt3/abstracted/Stage3.java [code]
• temp$NewPipeInt3/bsl/Stage3.java [code]
• temp$NewPipeInt3/sliced/Stage3.java [code]
• temp$NewPipeIntList/abstracted/Stage3.java [code]
• temp$NewPipeIntList/bsl/Stage3.java [code]
• temp$NewPipeIntList/sliced/Stage3.java [code]
• abstraction/options/node/Start.java [code]
• abstraction/specification/node/Start.java [code]
• birp/node/Start.java [code]
• bui/session/node/Start.java [code]
• jjjc/node/Start.java [code]
• specification/assertion/node/Start.java [code]
• specification/node/Start.java [code]
• specification/pattern/node/Start.java [code]
• specification/predicate/node/Start.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/examine/State.java [code]
• src/edu/ksu/cis/bandera/abstraction/options/parser/State.java [code]
• src/edu/ksu/cis/bandera/abstraction/specification/parser/State.java [code]
• src/edu/ksu/cis/bandera/birp/parser/State.java [code]
• src/edu/ksu/cis/bandera/bui/session/parser/State.java [code]
• src/edu/ksu/cis/bandera/jjjc/parser/State.java [code]
• src/edu/ksu/cis/bandera/specification/assertion/parser/State.java [code]
• src/edu/ksu/cis/bandera/specification/parser/State.java [code]
• src/edu/ksu/cis/bandera/specification/pattern/parser/State.java [code]
• src/edu/ksu/cis/bandera/specification/predicate/parser/State.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/examine/State.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/State.java [code]
• src/gov/nasa/arc/ase/ltl/State.java [code]
• StatementNodeInCriterionViewer.java [code]
• Statements.java [code]
• StatementTypeException.java [code]
• StateStack.java [code]
• StateVar.java [code]
• StateVarVector.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/StaticArea.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/StaticArea.java [code]
• StaticFieldManager.java [code]
• StaticFieldRef.java [code]
• StaticInitializerAnnotation.java [code]
• StaticInvokeExpr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/StaticMap.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/StaticMap.java [code]
• StaticMethodException.java [code]
• lib/jpf/gov/nasa/arc/ase/util/Statistics.java [code]
• src/gov/nasa/arc/ase/util/Statistics.java [code]
• Status.java [code]
• STATUS.java [code]
• Step.java [code]
• Stmt.java [code]
• StmtAddressType.java [code]
• StmtBody.java [code]
• StmtBox.java [code]
• StmtGraph.java [code]
• StmtList.java [code]
• StmtSwitch.java [code]
• StmtTreeNode.java [code]
• StmtValueBoxPair.java [code]
• Storable.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Store.java [code]
• src/gov/nasa/arc/ase/jpf/Store.java [code]
• StoredBody.java [code]
• StoreInstruction.java [code]
• StreamForwarder.java [code]
• StringConstant.java [code]
• StringUtil.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/SubExpr.java [code]
• src/ca/mcgill/sable/soot/jimple/SubExpr.java [code]
• src/edu/ksu/cis/bandera/bir/SubExpr.java [code]
• src/gov/nasa/arc/ase/jpf/expr/SubExpr.java [code]
• temp$NoInitialRegNoUpdate/bsl/Subject.java [code]
• temp$NoSteadyRegNoUpdate/bsl/Subject.java [code]
• temp$RegUpdate/bsl/Subject.java [code]
• temp$NoInitialRegNoUpdate/bsl/SubjectThread.java [code]
• temp$NoSteadyRegNoUpdate/bsl/SubjectThread.java [code]
• temp$RegUpdate/bsl/SubjectThread.java [code]
• SuperConstructorInvocationStmtAnnotation.java [code]
• SuperSetReduction.java [code]
• lib/jpf/de/fub/bytecode/generic/SWAP.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/SWAP.java [code]
• src/de/fub/bytecode/generic/SWAP.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/SWAP.java [code]
• ca/mcgill/sable/util/Switch.java [code]
• edu/ksu/cis/bandera/abstraction/options/node/Switch.java [code]
• edu/ksu/cis/bandera/abstraction/specification/node/Switch.java [code]
• edu/ksu/cis/bandera/bui/session/node/Switch.java [code]
• edu/ksu/cis/bandera/specification/assertion/node/Switch.java [code]
• edu/ksu/cis/bandera/specification/node/Switch.java [code]
• edu/ksu/cis/bandera/specification/pattern/node/Switch.java [code]
• edu/ksu/cis/bandera/specification/predicate/node/Switch.java [code]
• lib/jpf/de/fub/bytecode/generic/SWITCH.java [code]
• src/de/fub/bytecode/generic/SWITCH.java [code]
• ca/mcgill/sable/util/Switchable.java [code]
• edu/ksu/cis/bandera/abstraction/options/node/Switchable.java [code]
• edu/ksu/cis/bandera/abstraction/specification/node/Switchable.java [code]
• edu/ksu/cis/bandera/bui/session/node/Switchable.java [code]
• edu/ksu/cis/bandera/specification/assertion/node/Switchable.java [code]
• edu/ksu/cis/bandera/specification/node/Switchable.java [code]
• edu/ksu/cis/bandera/specification/pattern/node/Switchable.java [code]
• edu/ksu/cis/bandera/specification/predicate/node/Switchable.java [code]
• SwitchStmtAnnotation.java [code]
• abstraction/pvs/sym.java [code]
• specification/nnf/ltl/sym.java [code]
• Symbol.java [code]
• SymbolTable.java [code]
• temp$ReaderWriterEx/bsl/Sync.java [code]
• temp$WriterEx/bsl/Sync.java [code]
• SynchronizedMethodTransformer.java [code]
• SynchronizedStmtAnnotation.java [code]
• SynchronousProduct.java [code]
• SynchroStmt.java [code]
• lib/jpf/de/fub/bytecode/classfile/Synthetic.java [code]
• src/de/fub/bytecode/classfile/Synthetic.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/SystemState.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/SystemState.java [code]
• lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/TABLESWITCH.java [code]
• src/de/fub/bytecode/generic/TABLESWITCH.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/TABLESWITCH.java [code]
• TableSwitchStmt.java [code]
• abstraction/specification/node/TAbstract.java [code]
• jjjc/node/TAbstract.java [code]
• TAbstraction.java [code]
• TAbtract.java [code]
• abstraction/specification/node/TAnd.java [code]
• birp/node/TAnd.java [code]
• jjjc/node/TAnd.java [code]
• specification/node/TAnd.java [code]
• specification/predicate/node/TAnd.java [code]
• TAny.java [code]
• lib/jpf/de/fub/bytecode/generic/TargetLostException.java [code]
• src/de/fub/bytecode/generic/TargetLostException.java [code]
• TArray.java [code]
• TAssert.java [code]
• TAssertion.java [code]
• TAssertions.java [code]
• birp/node/TAssign.java [code]
• jjjc/node/TAssign.java [code]
• TAt.java [code]
• TBar.java [code]
• TBegin.java [code]
• abstraction/specification/node/TBitAnd.java [code]
• jjjc/node/TBitAnd.java [code]
• specification/predicate/node/TBitAnd.java [code]
• TBitAndAssign.java [code]
• abstraction/specification/node/TBitComplement.java [code]
• jjjc/node/TBitComplement.java [code]
• specification/predicate/node/TBitComplement.java [code]
• abstraction/specification/node/TBitOr.java [code]
• jjjc/node/TBitOr.java [code]
• specification/predicate/node/TBitOr.java [code]
• TBitOrAssign.java [code]
• abstraction/specification/node/TBitXor.java [code]
• jjjc/node/TBitXor.java [code]
• specification/predicate/node/TBitXor.java [code]
• TBitXorAssign.java [code]
• birp/node/TBoolean.java [code]
• jjjc/node/TBoolean.java [code]
• specification/predicate/node/TBoolean.java [code]
• TBreak.java [code]
• jjjc/node/TByte.java [code]
• specification/predicate/node/TByte.java [code]
• TCase.java [code]
• TCatch.java [code]
• jjjc/node/TChar.java [code]
• specification/predicate/node/TChar.java [code]
• TCharacterLiteral.java [code]
• TCharLiteral.java [code]
• TChoose.java [code]
• TClass.java [code]
• TCls.java [code]
• TCollection.java [code]
• abstraction/specification/node/TColon.java [code]
• birp/node/TColon.java [code]
• jjjc/node/TColon.java [code]
• specification/assertion/node/TColon.java [code]
• specification/node/TColon.java [code]
• specification/predicate/node/TColon.java [code]
• abstraction/options/node/TComma.java [code]
• abstraction/specification/node/TComma.java [code]
• birp/node/TComma.java [code]
• jjjc/node/TComma.java [code]
• specification/node/TComma.java [code]
• specification/pattern/node/TComma.java [code]
• specification/predicate/node/TComma.java [code]
• TComment.java [code]
• TComplement.java [code]
• TConst.java [code]
• TContinue.java [code]
• TDecimalIntegerLiteral.java [code]
• abstraction/specification/node/TDecIntLiteral.java [code]
• specification/predicate/node/TDecIntLiteral.java [code]
• abstraction/specification/node/TDecLongLiteral.java [code]
• specification/predicate/node/TDecLongLiteral.java [code]
• abstraction/specification/node/TDefault.java [code]
• jjjc/node/TDefault.java [code]
• abstraction/options/node/TDim.java [code]
• specification/predicate/node/TDim.java [code]
• abstraction/specification/node/TDiv.java [code]
• birp/node/TDiv.java [code]
• jjjc/node/TDiv.java [code]
• TDivAssign.java [code]
• birp/node/TDo.java [code]
• jjjc/node/TDo.java [code]
• abstraction/options/node/TDocumentationComment.java [code]
• abstraction/specification/node/TDocumentationComment.java [code]
• jjjc/node/TDocumentationComment.java [code]
• specification/assertion/node/TDocumentationComment.java [code]
• specification/node/TDocumentationComment.java [code]
• specification/predicate/node/TDocumentationComment.java [code]
• abstraction/options/node/TDot.java [code]
• abstraction/specification/node/TDot.java [code]
• birp/node/TDot.java [code]
• jjjc/node/TDot.java [code]
• specification/assertion/node/TDot.java [code]
• specification/node/TDot.java [code]
• specification/predicate/node/TDot.java [code]
• TDotdot.java [code]
• jjjc/node/TDouble.java [code]
• specification/predicate/node/TDouble.java [code]
• abstraction/specification/node/TDoubleLiteral.java [code]
• specification/predicate/node/TDoubleLiteral.java [code]
• TDoubleQuote.java [code]
• TElse.java [code]
• TempExpr.java [code]
• TemporalLogicProperty.java [code]
• TemporaryLocalsReduction.java [code]
• TempStmt.java [code]
• TEnable.java [code]
• abstraction/specification/node/TEnd.java [code]
• birp/node/TEnd.java [code]
• abstraction/options/node/TEndOfLineComment.java [code]
• abstraction/specification/node/TEndOfLineComment.java [code]
• jjjc/node/TEndOfLineComment.java [code]
• specification/assertion/node/TEndOfLineComment.java [code]
• specification/node/TEndOfLineComment.java [code]
• specification/predicate/node/TEndOfLineComment.java [code]
• TEnum.java [code]
• abstraction/specification/node/TEq.java [code]
• birp/node/TEq.java [code]
• jjjc/node/TEq.java [code]
• abstraction/specification/node/TEqual.java [code]
• bui/session/node/TEqual.java [code]
• specification/pattern/node/TEqual.java [code]
• specification/predicate/node/TEqual.java [code]
• TEquals.java [code]
• TErroneousEscape.java [code]
• Test.java [code]
• TestDom.java [code]
• TEvenBackslash.java [code]
• TExit.java [code]
• TExpression.java [code]
• abstraction/specification/node/TExtends.java [code]
• jjjc/node/TExtends.java [code]
• birp/node/TFalse.java [code]
• jjjc/node/TFalse.java [code]
• specification/predicate/node/TFalse.java [code]
• TFinal.java [code]
• TFinally.java [code]
• jjjc/node/TFloat.java [code]
• specification/predicate/node/TFloat.java [code]
• TFloatingPointLiteral.java [code]
• abstraction/specification/node/TFloatLiteral.java [code]
• specification/predicate/node/TFloatLiteral.java [code]
• TFor.java [code]
• TForall.java [code]
• TGe.java [code]
• birp/node/TGoto.java [code]
• jjjc/node/TGoto.java [code]
• abstraction/specification/node/TGreater.java [code]
• specification/node/TGreater.java [code]
• specification/predicate/node/TGreater.java [code]
• abstraction/specification/node/TGreaterEqual.java [code]
• specification/predicate/node/TGreaterEqual.java [code]
• birp/node/TGt.java [code]
• jjjc/node/TGt.java [code]
• TGteq.java [code]
• THaslock.java [code]
• THexIntegerLiteral.java [code]
• abstraction/specification/node/THexIntLiteral.java [code]
• specification/predicate/node/THexIntLiteral.java [code]
• abstraction/specification/node/THexLongLiteral.java [code]
• specification/predicate/node/THexLongLiteral.java [code]
• ThisConstructorInvocationStmtAnnotation.java [code]
• ThisRef.java [code]
• Thread.java [code]
• BanderaTutorial/temp$NestedDeadlock/bsl/Thread1.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/bsl/Thread1.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/sliced/Thread1.java [code]
• temp$NestedDeadlock/bsl/Thread1.java [code]
• temp$NestedDeadlockSlice/bsl/Thread1.java [code]
• temp$NestedDeadlockSlice/sliced/Thread1.java [code]
• BanderaTutorial/temp$NestedDeadlock/bsl/Thread2.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/bsl/Thread2.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/sliced/Thread2.java [code]
• temp$NestedDeadlock/bsl/Thread2.java [code]
• temp$NestedDeadlockSlice/bsl/Thread2.java [code]
• temp$NestedDeadlockSlice/sliced/Thread2.java [code]
• ThreadAction.java [code]
• ThreadCounterExample.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ThreadData.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ThreadData.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/ThreadInfo.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/ThreadInfo.java [code]
• ThreadList.java [code]
• ThreadLocTest.java [code]
• ThreadTest.java [code]
• ThreadVector.java [code]
• ThrowStmt.java [code]
• ThrowStmtAnnotation.java [code]
• abstraction/options/node/TId.java [code]
• abstraction/specification/node/TId.java [code]
• birp/node/TId.java [code]
• bui/session/node/TId.java [code]
• jjjc/node/TId.java [code]
• specification/assertion/node/TId.java [code]
• specification/node/TId.java [code]
• specification/pattern/node/TId.java [code]
• specification/predicate/node/TId.java [code]
• TIf.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/Timer.java [code]
• src/ca/mcgill/sable/soot/Timer.java [code]
• src/gov/nasa/arc/ase/jpf/Timer.java [code]
• TImplements.java [code]
• TImply.java [code]
• jjjc/node/TImport.java [code]
• specification/node/TImport.java [code]
• TInstance.java [code]
• birp/node/TInstanceof.java [code]
• jjjc/node/TInstanceof.java [code]
• specification/predicate/node/TInstanceof.java [code]
• birp/node/TInt.java [code]
• jjjc/node/TInt.java [code]
• specification/predicate/node/TInt.java [code]
• TIntegral.java [code]
• TInterface.java [code]
• TInvisible.java [code]
• TInvoke.java [code]
• TJoin.java [code]
• TLbrace.java [code]
• abstraction/options/node/TLBrace.java [code]
• abstraction/specification/node/TLBrace.java [code]
• bui/session/node/TLBrace.java [code]
• jjjc/node/TLBrace.java [code]
• specification/node/TLBrace.java [code]
• specification/pattern/node/TLBrace.java [code]
• specification/predicate/node/TLBrace.java [code]
• TLbrack.java [code]
• jjjc/node/TLBracket.java [code]
• specification/assertion/node/TLBracket.java [code]
• specification/node/TLBracket.java [code]
• specification/predicate/node/TLBracket.java [code]
• TLe.java [code]
• TLength.java [code]
• abstraction/specification/node/TLess.java [code]
• specification/node/TLess.java [code]
• specification/predicate/node/TLess.java [code]
• abstraction/specification/node/TLessEqual.java [code]
• specification/node/TLessEqual.java [code]
• specification/predicate/node/TLessEqual.java [code]
• TLive.java [code]
• TLoc.java [code]
• assertion/node/TLocation.java [code]
• predicate/node/TLocation.java [code]
• TLock.java [code]
• TLockavailable.java [code]
• jjjc/node/TLong.java [code]
• specification/predicate/node/TLong.java [code]
• TLPar.java [code]
• TLparen.java [code]
• abstraction/options/node/TLParen.java [code]
• abstraction/specification/node/TLParen.java [code]
• specification/node/TLParen.java [code]
• specification/predicate/node/TLParen.java [code]
• birp/node/TLt.java [code]
• jjjc/node/TLt.java [code]
• TLteq.java [code]
• TMain.java [code]
• abstraction/specification/node/TMinus.java [code]
• birp/node/TMinus.java [code]
• jjjc/node/TMinus.java [code]
• specification/node/TMinus.java [code]
• specification/predicate/node/TMinus.java [code]
• TMinusAssign.java [code]
• TMinusMinus.java [code]
• abstraction/specification/node/TMod.java [code]
• birp/node/TMod.java [code]
• jjjc/node/TMod.java [code]
• TModAssign.java [code]
• TMult.java [code]
• TNative.java [code]
• TNeq.java [code]
• birp/node/TNew.java [code]
• jjjc/node/TNew.java [code]
• abstraction/specification/node/TNot.java [code]
• birp/node/TNot.java [code]
• specification/node/TNot.java [code]
• specification/predicate/node/TNot.java [code]
• TNoteq.java [code]
• abstraction/specification/node/TNotEqual.java [code]
• specification/predicate/node/TNotEqual.java [code]
• TNotify.java [code]
• TNotifyall.java [code]
• birp/node/TNull.java [code]
• jjjc/node/TNull.java [code]
• specification/predicate/node/TNull.java [code]
• TNumber.java [code]
• ToBriefString.java [code]
• TOctalIntegerLiteral.java [code]
• abstraction/specification/node/TOctIntLiteral.java [code]
• specification/predicate/node/TOctIntLiteral.java [code]
• abstraction/specification/node/TOctLongLiteral.java [code]
• specification/predicate/node/TOctLongLiteral.java [code]
• TOf.java [code]
• abstraction/options/node/Token.java [code]
• abstraction/predicate/parser/Token.java [code]
• abstraction/specification/node/Token.java [code]
• birp/node/Token.java [code]
• bui/session/node/Token.java [code]
• jjjc/node/Token.java [code]
• jjjc/unicodepreprocessor/node/Token.java [code]
• specification/assertion/node/Token.java [code]
• specification/node/Token.java [code]
• specification/pattern/node/Token.java [code]
• specification/predicate/node/Token.java [code]
• abstraction/options/parser/TokenIndex.java [code]
• abstraction/specification/parser/TokenIndex.java [code]
• birp/parser/TokenIndex.java [code]
• bui/session/parser/TokenIndex.java [code]
• jjjc/parser/TokenIndex.java [code]
• specification/assertion/parser/TokenIndex.java [code]
• specification/parser/TokenIndex.java [code]
• specification/pattern/parser/TokenIndex.java [code]
• specification/predicate/parser/TokenIndex.java [code]
• TokenLineColumnNumberExtractor.java [code]
• TokenMgrError.java [code]
• TOne2one.java [code]
• TOperator.java [code]
• abstraction/specification/node/TOr.java [code]
• birp/node/TOr.java [code]
• jjjc/node/TOr.java [code]
• specification/node/TOr.java [code]
• specification/predicate/node/TOr.java [code]
• TPackage.java [code]
• TPattern.java [code]
• abstraction/specification/node/TPlus.java [code]
• birp/node/TPlus.java [code]
• bui/session/node/TPlus.java [code]
• jjjc/node/TPlus.java [code]
• specification/node/TPlus.java [code]
• specification/pattern/node/TPlus.java [code]
• specification/predicate/node/TPlus.java [code]
• TPlusAssign.java [code]
• TPlusPlus.java [code]
• TPost.java [code]
• TPre.java [code]
• TPredicate.java [code]
• TPredicates.java [code]
• TPrintln.java [code]
• TPrivate.java [code]
• TProcess.java [code]
• TProtected.java [code]
• TPublic.java [code]
• abstraction/specification/node/TQuestion.java [code]
• jjjc/node/TQuestion.java [code]
• specification/predicate/node/TQuestion.java [code]
• TraceManager.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/TrailInfo.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/TrailInfo.java [code]
• TRange.java [code]
• TransExtractor.java [code]
• TransferableSliceVariable.java [code]
• TransferableTreeNode.java [code]
• Transformation.java [code]
• Transformations.java [code]
• Transition.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/TransitionResult.java [code]
• src/gov/nasa/arc/ase/jpf/TransitionResult.java [code]
• Translation.java [code]
• Translator.java [code]
• TransSequence.java [code]
• TransSystem.java [code]
• TransVector.java [code]
• Trap.java [code]
• TrapNode.java [code]
• TRawInputCharacter.java [code]
• TRbrace.java [code]
• abstraction/options/node/TRBrace.java [code]
• abstraction/specification/node/TRBrace.java [code]
• bui/session/node/TRBrace.java [code]
• jjjc/node/TRBrace.java [code]
• specification/node/TRBrace.java [code]
• specification/pattern/node/TRBrace.java [code]
• specification/predicate/node/TRBrace.java [code]
• TRbrack.java [code]
• jjjc/node/TRBracket.java [code]
• specification/assertion/node/TRBracket.java [code]
• specification/node/TRBracket.java [code]
• specification/predicate/node/TRBracket.java [code]
• TReal.java [code]
• TRecord.java [code]
• Tree.java [code]
• edu/ksu/cis/bandera/spin/TreeNode.java [code]
• gov/nasa/arc/ase/util/TreeNode.java [code]
• TReentrant.java [code]
• TreeTableModel.java [code]
• TreeTableModelAdapter.java [code]
• TRef.java [code]
• jjjc/node/TReturn.java [code]
• specification/predicate/node/TReturn.java [code]
• TRetVal.java [code]
• TRightarrow.java [code]
• TrivialExpression.java [code]
• TRPar.java [code]
• TRparen.java [code]
• abstraction/options/node/TRParen.java [code]
• abstraction/specification/node/TRParen.java [code]
• specification/node/TRParen.java [code]
• specification/predicate/node/TRParen.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/expr/True.java [code]
• src/gov/nasa/arc/ase/jpf/expr/True.java [code]
• TrueBSet.java [code]
• TryFinallyStmtAnnotation.java [code]
• TryStmtAnnotation.java [code]
• abstraction/options/node/TSemicolon.java [code]
• abstraction/specification/node/TSemicolon.java [code]
• birp/node/TSemicolon.java [code]
• jjjc/node/TSemicolon.java [code]
• specification/assertion/node/TSemicolon.java [code]
• specification/node/TSemicolon.java [code]
• specification/predicate/node/TSemicolon.java [code]
• TSession.java [code]
• abstraction/specification/node/TShiftLeft.java [code]
• jjjc/node/TShiftLeft.java [code]
• specification/predicate/node/TShiftLeft.java [code]
• TShiftLeftAssign.java [code]
• jjjc/node/TShort.java [code]
• specification/predicate/node/TShort.java [code]
• abstraction/specification/node/TSignedShiftRight.java [code]
• jjjc/node/TSignedShiftRight.java [code]
• specification/predicate/node/TSignedShiftRight.java [code]
• TSignedShiftRightAssign.java [code]
• jjjc/node/TStar.java [code]
• specification/node/TStar.java [code]
• specification/predicate/node/TStar.java [code]
• TStarAssign.java [code]
• TStart.java [code]
• TStatic.java [code]
• TString.java [code]
• bui/session/node/TStringLiteral.java [code]
• jjjc/node/TStringLiteral.java [code]
• specification/pattern/node/TStringLiteral.java [code]
• specification/predicate/node/TStringLiteral.java [code]
• TStrongDiv.java [code]
• TStrongMod.java [code]
• TSub.java [code]
• TSuper.java [code]
• TSwitch.java [code]
• TSynchronized.java [code]
• TTest.java [code]
• jjjc/node/TThis.java [code]
• specification/predicate/node/TThis.java [code]
• TThread.java [code]
• TThreadterminated.java [code]
• TThrow.java [code]
• TThrows.java [code]
• TTimes.java [code]
• TTokens.java [code]
• abstraction/options/node/TTraditionalComment.java [code]
• abstraction/specification/node/TTraditionalComment.java [code]
• jjjc/node/TTraditionalComment.java [code]
• specification/assertion/node/TTraditionalComment.java [code]
• specification/node/TTraditionalComment.java [code]
• specification/predicate/node/TTraditionalComment.java [code]
• TTransient.java [code]
• birp/node/TTrue.java [code]
• jjjc/node/TTrue.java [code]
• specification/predicate/node/TTrue.java [code]
• TTry.java [code]
• TUnicodeEscape.java [code]
• TUnlock.java [code]
• abstraction/specification/node/TUnsignedShiftRight.java [code]
• jjjc/node/TUnsignedShiftRight.java [code]
• specification/predicate/node/TUnsignedShiftRight.java [code]
• TUnsignedShiftRightAssign.java [code]
• TUnwait.java [code]
• TVoid.java [code]
• TVolatile.java [code]
• TWait.java [code]
• TWasnotified.java [code]
• TWeakDiv.java [code]
• TWeakMod.java [code]
• TWhen.java [code]
• TWhile.java [code]
• TWhitespace.java [code]
• abstraction/options/node/TWhiteSpace.java [code]
• abstraction/specification/node/TWhiteSpace.java [code]
• bui/session/node/TWhiteSpace.java [code]
• jjjc/node/TWhiteSpace.java [code]
• specification/assertion/node/TWhiteSpace.java [code]
• specification/node/TWhiteSpace.java [code]
• specification/pattern/node/TWhiteSpace.java [code]
• specification/predicate/node/TWhiteSpace.java [code]
• lib/jpf/de/fub/bytecode/generic/Type.java [code]
• src/ca/mcgill/sable/soot/Type.java [code]
• src/de/fub/bytecode/generic/Type.java [code]
• src/edu/ksu/cis/bandera/bir/Type.java [code]
• src/edu/ksu/cis/bandera/jjjc/symboltable/Type.java [code]
• TypeArray.java [code]
• assertion/ast/TypeChecker.java [code]
• predicate/ast/TypeChecker.java [code]
• Typed.java [code]
• TypeDependencyGraph.java [code]
• TypedInstruction.java [code]
• ca/mcgill/sable/util/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/abstraction/options/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/abstraction/specification/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/bui/session/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/specification/assertion/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/specification/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/specification/pattern/node/TypedLinkedList.java [code]
• edu/ksu/cis/bandera/specification/predicate/node/TypedLinkedList.java [code]
• TypedSplayTreeMap.java [code]
• jjjc/exception/TypeException.java [code]
• specification/assertion/exception/TypeException.java [code]
• specification/predicate/exception/TypeException.java [code]
• TypeExtractor.java [code]
• TypeGUI.java [code]
• TypeInference.java [code]
• TypeResolver.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Types.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Types.java [code]
• TypeStack.java [code]
• TypeStructure.java [code]
• ca/mcgill/sable/soot/TypeSwitch.java [code]
• edu/ksu/cis/bandera/bir/TypeSwitch.java [code]
• TypeTable.java [code]
• TypeTree.java [code]
• TypeTreeNode.java [code]
• TypeTreeNodeInterface.java [code]
• TypeVariable.java [code]
• UncaughtException.java [code]
• lib/jpf/de/fub/bytecode/generic/UnconditionalBranch.java [code]
• src/de/fub/bytecode/generic/UnconditionalBranch.java [code]
• UndefinedEntryException.java [code]
• UnicodeLexer.java [code]
• UnicodePreprocessor.java [code]
• UnionFindSet.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/runtime/Unit.java [code]
• regtest/bsl/Unit/Unit.java [code]
• src/ca/mcgill/sable/soot/jimple/Unit.java [code]
• UnitBox.java [code]
• UnitPool.java [code]
• lib/jpf/de/fub/bytecode/classfile/Unknown.java [code]
• src/de/fub/bytecode/classfile/Unknown.java [code]
• UnknownType.java [code]
• UnopExpr.java [code]
• UnusuableType.java [code]
• UshrExpr.java [code]
• Utf8_Enumeration.java [code]
• ca/mcgill/sable/soot/coffi/Util.java [code]
• edu/ksu/cis/bandera/abstraction/util/Util.java [code]
• edu/ksu/cis/bandera/bofa/Util.java [code]
• edu/ksu/cis/bandera/bui/Util.java [code]
• edu/ksu/cis/bandera/jjjc/util/Util.java [code]
• lib/jpf/de/fub/bytecode/classfile/Utility.java [code]
• src/de/fub/bytecode/classfile/Utility.java [code]
• Value.java [code]
• ValueBox.java [code]
• ValueIndexManager.java [code]
• ValueIndexManagerAlloc.java [code]
• ValueIndexManagerPoint.java [code]
• ValueNode.java [code]
• ValueObject.java [code]
• ValueTypeException.java [code]
• ValueVariant.java [code]
• ValueVariantManager.java [code]
• Variable.java [code]
• VariableBox.java [code]
• lib/jpf/de/fub/bytecode/generic/VariableLengthInstruction.java [code]
• src/de/fub/bytecode/generic/VariableLengthInstruction.java [code]
• VarTreeNode.java [code]
• temp$NoInitialRegNoUpdate/bsl/Vector.java [code]
• temp$NoSteadyRegNoUpdate/bsl/Vector.java [code]
• temp$RegUpdate/bsl/Vector.java [code]
• VectorList.java [code]
• VectorSet.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Verify.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/Verify.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/VerifyReflection.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/VerifyReflection.java [code]
• ViewerTabbedPane.java [code]
• VInvokeCallBack.java [code]
• virtual_parse_stack.java [code]
• VirtualInvokeExpr.java [code]
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/VirtualMachine.java [code]
• src/gov/nasa/arc/ase/jpf/jvm/VirtualMachine.java [code]
• VisibleExtractor.java [code]
• lib/jpf/de/fub/bytecode/classfile/Visitor.java [code]
• src/de/fub/bytecode/classfile/Visitor.java [code]
• src/de/fub/bytecode/generic/Visitor.java [code]
• src/gov/nasa/arc/ase/util/graph/Visitor.java [code]
• ca/mcgill/sable/soot/VoidType.java [code]
• edu/ksu/cis/bandera/jjjc/symboltable/VoidType.java [code]
• temp$NoInitialRegNoUpdate/bsl/Watcher.java [code]
• temp$NoSteadyRegNoUpdate/bsl/Watcher.java [code]
• temp$RegUpdate/bsl/Watcher.java [code]
• WeedException.java [code]
• WhileStmtAnnotation.java [code]
• WorkList.java [code]
• BanderaTutorial/temp$NestedDeadlock/bsl/Wrapper.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/bsl/Wrapper.java [code]
• BanderaTutorial/temp$NestedDeadlockSlice/sliced/Wrapper.java [code]
• temp$NestedDeadlock/bsl/Wrapper.java [code]
• temp$NestedDeadlockSlice/bsl/Wrapper.java [code]
• temp$NestedDeadlockSlice/sliced/Wrapper.java [code]
• WriteDescr.java [code]
• temp$ReaderWriterEx/bsl/Writer.java [code]
• temp$WriterEx/bsl/Writer.java [code]
• temp$ReaderWriterEx/bsl/WriterLock.java [code]
• temp$WriterEx/bsl/WriterLock.java [code]
• temp$ReaderWriterEx/bsl/WriterPreferenceReadWriteLock.java [code]
• temp$WriterEx/bsl/WriterPreferenceReadWriteLock.java [code]
• temp$ReaderWriterEx/bsl/WriterThread.java [code]
• temp$WriterEx/bsl/WriterThread.java [code]
• X1PAbstractDef.java [code]
• X1PAction.java [code]
• X1PAssertion.java [code]
• X1PBlockedStmt.java [code]
• X1PCatchClause.java [code]
• X1PChoicetail.java [code]
• X1PClassBodyDeclaration.java [code]
• X1PClassOption.java [code]
• assertion/node/X1PComment.java [code]
• predicate/node/X1PComment.java [code]
• X1PDef.java [code]
• X1PDefinition.java [code]
• X1PDim.java [code]
• X1PDimExp.java [code]
• X1PEnumdeftail.java [code]
• X1PExp.java [code]
• X1PField.java [code]
• X1PFieldOption.java [code]
• X1PFormalParameter.java [code]
• X1PFormatWord.java [code]
• X1PGlobal.java [code]
• X1PImport.java [code]
• X1PImportDeclaration.java [code]
• X1PInterfaceMemberDeclaration.java [code]
• X1PLivevar.java [code]
• X1PLocalOption.java [code]
• X1PLocation.java [code]
• X1PMethodOption.java [code]
• X1PModifier.java [code]
• X1PName.java [code]
• X1POperatorTest.java [code]
• abstraction/specification/node/X1PPattern.java [code]
• specification/pattern/node/X1PPattern.java [code]
• X1PPredicate.java [code]
• X1PPropositionDefinition.java [code]
• X1PQtl.java [code]
• X1PReftail.java [code]
• bui/session/node/X1PResource.java [code]
• specification/pattern/node/X1PResource.java [code]
• X1PSession.java [code]
• X1PSwitchBlockStmtGroup.java [code]
• X1PSwitchLabel.java [code]
• X1PThread.java [code]
• X1PTransformation.java [code]
• X1PTypeDeclaration.java [code]
• X1PVariable.java [code]
• X1PVariableDeclarator.java [code]
• X1PVariableInitializer.java [code]
• X1PWord.java [code]
• abstraction/options/node/X1TDim.java [code]
• specification/predicate/node/X1TDim.java [code]
• X2PAbstractDef.java [code]
• X2PAction.java [code]
• X2PAssertion.java [code]
• X2PBlockedStmt.java [code]
• X2PCatchClause.java [code]
• X2PChoicetail.java [code]
• X2PClassBodyDeclaration.java [code]
• X2PClassOption.java [code]
• assertion/node/X2PComment.java [code]
• predicate/node/X2PComment.java [code]
• X2PDef.java [code]
• X2PDefinition.java [code]
• X2PDim.java [code]
• X2PDimExp.java [code]
• X2PEnumdeftail.java [code]
• X2PExp.java [code]
• X2PField.java [code]
• X2PFieldOption.java [code]
• X2PFormalParameter.java [code]
• X2PFormatWord.java [code]
• X2PGlobal.java [code]
• X2PImport.java [code]
• X2PImportDeclaration.java [code]
• X2PInterfaceMemberDeclaration.java [code]
• X2PLivevar.java [code]
• X2PLocalOption.java [code]
• X2PLocation.java [code]
• X2PMethodOption.java [code]
• X2PModifier.java [code]
• X2PName.java [code]
• X2POperatorTest.java [code]
• abstraction/specification/node/X2PPattern.java [code]
• specification/pattern/node/X2PPattern.java [code]
• X2PPredicate.java [code]
• X2PPropositionDefinition.java [code]
• X2PQtl.java [code]
• X2PReftail.java [code]
• bui/session/node/X2PResource.java [code]
• specification/pattern/node/X2PResource.java [code]
• X2PSession.java [code]
• X2PSwitchBlockStmtGroup.java [code]
• X2PSwitchLabel.java [code]
• X2PThread.java [code]
• X2PTransformation.java [code]
• X2PTypeDeclaration.java [code]
• X2PVariable.java [code]
• X2PVariableDeclarator.java [code]
• X2PVariableInitializer.java [code]
• X2PWord.java [code]
• abstraction/options/node/X2TDim.java [code]
• specification/predicate/node/X2TDim.java [code]
• XorExpr.java [code]
• XPAbstractDef.java [code]
• XPAction.java [code]
• XPAssertion.java [code]
• XPBlockedStmt.java [code]
• XPCatchClause.java [code]
• XPChoicetail.java [code]
• XPClassBodyDeclaration.java [code]
• XPClassOption.java [code]
• assertion/node/XPComment.java [code]
• predicate/node/XPComment.java [code]
• XPDef.java [code]
• XPDefinition.java [code]
• XPDim.java [code]
• XPDimExp.java [code]
• XPEnumdeftail.java [code]
• XPExp.java [code]
• XPField.java [code]
• XPFieldOption.java [code]
• XPFormalParameter.java [code]
• XPFormatWord.java [code]
• XPGlobal.java [code]
• XPImport.java [code]
• XPImportDeclaration.java [code]
• XPInterfaceMemberDeclaration.java [code]
• XPLivevar.java [code]
• XPLocalOption.java [code]
• XPLocation.java [code]
• XPMethodOption.java [code]
• XPModifier.java [code]
• XPName.java [code]
• XPOperatorTest.java [code]
• abstraction/specification/node/XPPattern.java [code]
• specification/pattern/node/XPPattern.java [code]
• XPPredicate.java [code]
• XPPropositionDefinition.java [code]
• XPQtl.java [code]
• XPReftail.java [code]
• bui/session/node/XPResource.java [code]
• specification/pattern/node/XPResource.java [code]
• XPSession.java [code]
• XPSwitchBlockStmtGroup.java [code]
• XPSwitchLabel.java [code]
• XPThread.java [code]
• XPTransformation.java [code]
• XPTypeDeclaration.java [code]
• XPVariable.java [code]
• XPVariableDeclarator.java [code]
• XPVariableInitializer.java [code]
• XPWord.java [code]
• abstraction/options/node/XTDim.java [code]
• specification/predicate/node/XTDim.java [code]
• abstraction/pvs/Yylex.java [code]
• specification/nnf/ltl/Yylex.java [code]