View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window attestor-0.4.1.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
de.rwth.i2.attestor.grammar.admissibility
├─ de.rwth.i2.attestor.grammar.admissibility.AdmissibilityStrategy.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalContract.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalContractCollection.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalContractGenerator.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalContractMatch.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalPreconditionMatchingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.StateSpaceGeneratorFactory.class - [JAR]
de.rwth.i2.attestor.grammar
├─ de.rwth.i2.attestor.grammar.AbstractionOptions.class - [JAR]
├─ de.rwth.i2.attestor.grammar.CollapsedHeapConfiguration.class - [JAR]
├─ de.rwth.i2.attestor.grammar.Grammar.class - [JAR]
├─ de.rwth.i2.attestor.grammar.GrammarBuilder.class - [JAR]
├─ de.rwth.i2.attestor.grammar.GrammarExporter.class - [JAR]
├─ de.rwth.i2.attestor.grammar.IndexMatcher.class - [JAR]
├─ de.rwth.i2.attestor.grammar.MatchingHandler.class - [JAR]
de.rwth.i2.attestor.grammar.util
├─ de.rwth.i2.attestor.grammar.util.ExternalNodesPartitioner.class - [JAR]
de.rwth.i2.attestor.graph.morphism
├─ de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.FeasibilityFunction.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.Graph.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.Morphism.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.MorphismChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.MorphismOptions.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.TerminationFunction.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.VF2Algorithm.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.VF2AlgorithmBuilder.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.VF2GraphData.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.VF2State.class - [JAR]
de.rwth.i2.attestor.phases.preprocessing
├─ de.rwth.i2.attestor.phases.preprocessing.AbstractionPreprocessingPhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.preprocessing.GrammarRefinementPhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.preprocessing.MarkingGenerationPhase.class - [JAR]
de.rwth.i2.attestor.phases.commandLineInterface
├─ de.rwth.i2.attestor.phases.commandLineInterface.CommandLinePhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.commandLineInterface.CommandLineReader.class - [JAR]
├─ de.rwth.i2.attestor.phases.commandLineInterface.SettingsLexer.class - [JAR]
de.rwth.i2.attestor.graph.morphism.terminationFunctions
├─ de.rwth.i2.attestor.graph.morphism.terminationFunctions.IsomorphismFound.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.terminationFunctions.MorphismFound.class - [JAR]
de.rwth.i2.attestor.stateSpaceGeneration
├─ de.rwth.i2.attestor.stateSpaceGeneration.AbortStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.FinalStateStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.LabelledProgramState.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.PostProcessingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.Program.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.ProgramState.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.SemanticsCommand.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.State.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateCanonicalizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateExplorationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateLabelingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateRectificationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateRefinementStrategy.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpace.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceExporter.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerationAbortedException.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerator.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGeneratorBuilder.class - [JAR]
├─ de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceSupplier.class - [JAR]
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonContractExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonCustomHcListExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonExtendedHeapConfigurationExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonGrammarExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonHeapConfigurationExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonOverviewExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonStateSpaceExporter.class - [JAR]
de.rwth.i2.attestor.grammar.materialization.strategies
├─ de.rwth.i2.attestor.grammar.materialization.strategies.GeneralMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.strategies.MaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.strategies.MaterializationStrategyBuilder.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.strategies.OneStepMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.strategies.OneStepMaterializationStrategyBuilder.class - [JAR]
de.rwth.i2.attestor.refinement.reachability
├─ de.rwth.i2.attestor.refinement.reachability.ReachabilityAutomatonState.class - [JAR]
├─ de.rwth.i2.attestor.refinement.reachability.ReachabilityHeapAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.reachability.ReachabilityHelper.class - [JAR]
de.rwth.i2.attestor.phases.modelChecking
├─ de.rwth.i2.attestor.phases.modelChecking.ModelCheckingPhase.class - [JAR]
de.rwth.i2.attestor.phases.communication
├─ de.rwth.i2.attestor.phases.communication.InputSettings.class - [JAR]
├─ de.rwth.i2.attestor.phases.communication.ModelCheckingSettings.class - [JAR]
├─ de.rwth.i2.attestor.phases.communication.OutputSettings.class - [JAR]
de.rwth.i2.attestor.markingGeneration.neighbourhood
├─ de.rwth.i2.attestor.markingGeneration.neighbourhood.NeighbourhoodMarkingCommand.class - [JAR]
├─ de.rwth.i2.attestor.markingGeneration.neighbourhood.NeighbourhoodMarkingGenerator.class - [JAR]
de.rwth.i2.attestor.procedures
├─ de.rwth.i2.attestor.procedures.AbstractMethodExecutor.class - [JAR]
├─ de.rwth.i2.attestor.procedures.Contract.class - [JAR]
├─ de.rwth.i2.attestor.procedures.ContractCollection.class - [JAR]
├─ de.rwth.i2.attestor.procedures.ContractGenerator.class - [JAR]
├─ de.rwth.i2.attestor.procedures.ContractMatch.class - [JAR]
├─ de.rwth.i2.attestor.procedures.Method.class - [JAR]
├─ de.rwth.i2.attestor.procedures.MethodExecutor.class - [JAR]
├─ de.rwth.i2.attestor.procedures.NoContractMatch.class - [JAR]
├─ de.rwth.i2.attestor.procedures.PreconditionMatchingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.procedures.ScopeExtractor.class - [JAR]
├─ de.rwth.i2.attestor.procedures.ScopedHeap.class - [JAR]
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
├─ de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.CannotMatchException.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.EmbeddingIndexChecker.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.IndexEmbeddingResult.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.IndexedCanonicalizationHelper.class - [JAR]
de.rwth.i2.attestor.refinement.grammarRefinement
├─ de.rwth.i2.attestor.refinement.grammarRefinement.AssignmentIterator.class - [JAR]
├─ de.rwth.i2.attestor.refinement.grammarRefinement.GrammarRefinement.class - [JAR]
├─ de.rwth.i2.attestor.refinement.grammarRefinement.InitialHeapConfigurationRefinement.class - [JAR]
de.rwth.i2.attestor.refinement.languageInclusion
├─ de.rwth.i2.attestor.refinement.languageInclusion.LanguageInclusionAutomaton.class - [JAR]
de.rwth.i2.attestor.graph.morphism.checkers
├─ de.rwth.i2.attestor.graph.morphism.checkers.AbstractVF2MorphismChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.checkers.VF2EmbeddingChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.checkers.VF2IsomorphismChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.checkers.VF2MinDistanceEmbeddingChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.checkers.VF2PreconditionChecker.class - [JAR]
de.rwth.i2.attestor.io.jsonExport.inputFormat
├─ de.rwth.i2.attestor.io.jsonExport.inputFormat.ContractToInputFormatExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonExport.inputFormat.HCtoInputFormatExporter.class - [JAR]
de.rwth.i2.attestor.graph.heap
├─ de.rwth.i2.attestor.graph.heap.HeapConfiguration.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.HeapConfigurationBuilder.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.HeapConfigurationExporter.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.Matching.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.NonterminalEdgeBuilder.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.Variable.class - [JAR]
de.rwth.i2.attestor.util
├─ de.rwth.i2.attestor.util.ListUtil.class - [JAR]
├─ de.rwth.i2.attestor.util.MatchingUtil.class - [JAR]
├─ de.rwth.i2.attestor.util.Pair.class - [JAR]
├─ de.rwth.i2.attestor.util.SingleElementUtil.class - [JAR]
├─ de.rwth.i2.attestor.util.ZipUtils.class - [JAR]
de.rwth.i2.attestor.programState.defaultState
├─ de.rwth.i2.attestor.programState.defaultState.DefaultProgramState.class - [JAR]
├─ de.rwth.i2.attestor.programState.defaultState.RefinedDefaultNonterminal.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes.DefaultScopeExtractor.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes.InternalScopedHeap.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes.ReachableFragmentComputer.class - [JAR]
de.rwth.i2.attestor.markingGeneration
├─ de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator.class - [JAR]
├─ de.rwth.i2.attestor.markingGeneration.Markings.class - [JAR]
de.rwth.i2.attestor.main.scene
├─ de.rwth.i2.attestor.main.scene.ConcreteMethod.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.DefaultScene.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.ElementNotPresentException.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.Labels.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.Options.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.Scene.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.SceneObject.class - [JAR]
├─ de.rwth.i2.attestor.main.scene.Strategies.class - [JAR]
de.rwth.i2.attestor.grammar.materialization.defaultGrammar
├─ de.rwth.i2.attestor.grammar.materialization.defaultGrammar.DefaultMaterializationRuleManager.class - [JAR]
de.rwth.i2.attestor.graph.heap.internal
├─ de.rwth.i2.attestor.graph.heap.internal.InternalHeapConfiguration.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.internal.InternalHeapConfigurationBuilder.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.internal.InternalMatching.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.internal.InternalNonterminalEdgeBuilder.class - [JAR]
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleContractCollection.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleContractGenerator.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleGenerator.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleMethodExecutor.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleStateSpace.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleTrace.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.FinalStatesComputer.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.NoSuccessorFinalStateStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.StateSubsumptionStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.TargetBasedStateExplorationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.TraceBasedFinalStateStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.TraceBasedStateExplorationStrategy.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.AdmissibleStateRectificationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.AggressivePostProcessingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.DepthFirstStateExplorationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.FinalStateSubsumptionPostProcessingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoAbortStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoCanonicalizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoPostProcessingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoRectificationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoStateCounter.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoStateLabelingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoStateRefinementStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.StateSpaceBoundedAbortStrategy.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.TerminalStatementFinalStateStrategy.class - [JAR]
de.rwth.i2.attestor.programState.indexedState.index
├─ de.rwth.i2.attestor.programState.indexedState.index.AbstractIndexSymbol.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.ConcreteIndexSymbol.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.DefaultIndexMaterialization.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.Index.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.IndexCanonizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.IndexCanonizationStrategyImpl.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.IndexMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.IndexSymbol.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.index.IndexVariable.class - [JAR]
de.rwth.i2.attestor.graph.heap.matching
├─ de.rwth.i2.attestor.graph.heap.matching.AbstractMatchingChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.matching.EmbeddingChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.matching.IsomorphismChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.matching.MinDistanceEmbeddingChecker.class - [JAR]
├─ de.rwth.i2.attestor.graph.heap.matching.PreconditionChecker.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.recursive
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.InternalPartialStateSpace.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.InternalProcedureCall.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.InternalProcedureRegistry.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.RecursiveStateSpaceGenerationPhase.class - [JAR]
de.rwth.i2.attestor.refinement.identicalNeighbourhood
├─ de.rwth.i2.attestor.refinement.identicalNeighbourhood.NeighbourhoodAutomaton.class - [JAR]
de.rwth.i2.attestor.programState
├─ de.rwth.i2.attestor.programState.AtomicPropositions.class - [JAR]
├─ de.rwth.i2.attestor.programState.GeneralProgramState.class - [JAR]
de.rwth.i2.attestor.phases.report
├─ de.rwth.i2.attestor.phases.report.ReportGenerationPhase.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr.EqualExpr.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr.UnequalExpr.class - [JAR]
de.rwth.i2.attestor.types
├─ de.rwth.i2.attestor.types.GeneralType.class - [JAR]
├─ de.rwth.i2.attestor.types.Type.class - [JAR]
├─ de.rwth.i2.attestor.types.TypeNames.class - [JAR]
├─ de.rwth.i2.attestor.types.Types.class - [JAR]
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair.HeapConfigurationPair.class - [JAR]
├─ de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair.HeapConfigurationPairBuilder.class - [JAR]
de.rwth.i2.attestor.semantics.util
├─ de.rwth.i2.attestor.semantics.util.Constants.class - [JAR]
├─ de.rwth.i2.attestor.semantics.util.DeadVariableEliminator.class - [JAR]
de.rwth.i2.attestor.seplog
├─ de.rwth.i2.attestor.seplog.GrammarExtractor.class - [JAR]
├─ de.rwth.i2.attestor.seplog.HeapConfigurationExtractor.class - [JAR]
├─ de.rwth.i2.attestor.seplog.InductivePredicatesParser.class - [JAR]
├─ de.rwth.i2.attestor.seplog.NonterminalCollector.class - [JAR]
├─ de.rwth.i2.attestor.seplog.SeparationLogicBaseListener.class - [JAR]
├─ de.rwth.i2.attestor.seplog.SeparationLogicLexer.class - [JAR]
├─ de.rwth.i2.attestor.seplog.SeparationLogicListener.class - [JAR]
├─ de.rwth.i2.attestor.seplog.SeparationLogicParser.class - [JAR]
├─ de.rwth.i2.attestor.seplog.SymbolicHeapParser.class - [JAR]
├─ de.rwth.i2.attestor.seplog.VariableEquivalenceClass.class - [JAR]
├─ de.rwth.i2.attestor.seplog.VariableExtractor.class - [JAR]
├─ de.rwth.i2.attestor.seplog.VariableUnification.class - [JAR]
de.rwth.i2.attestor.refinement
├─ de.rwth.i2.attestor.refinement.AutomatonStateLabelingStrategy.class - [JAR]
├─ de.rwth.i2.attestor.refinement.AutomatonStateLabelingStrategyBuilder.class - [JAR]
├─ de.rwth.i2.attestor.refinement.BundledStateRefinementStrategy.class - [JAR]
├─ de.rwth.i2.attestor.refinement.HeapAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.HeapAutomatonState.class - [JAR]
├─ de.rwth.i2.attestor.refinement.RefinedNonterminal.class - [JAR]
├─ de.rwth.i2.attestor.refinement.StatelessHeapAutomaton.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.ConcreteValue.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Field.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.IntConstant.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Local.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NewExpr.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullConstant.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullPointerDereferenceException.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.SettableValue.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.UndefinedValue.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl
├─ de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl.InternalStateSpace.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl.ProgramImpl.class - [JAR]
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.AbstractInterproceduralMethodExecutor.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.InterproceduralAnalysis.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.NonRecursiveMethodExecutor.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.PartialStateSpace.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.ProcedureCall.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.ProcedureRegistry.class - [JAR]
├─ de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.RecursiveMethodExecutor.class - [JAR]
de.rwth.i2.attestor.refinement.garbageCollection
├─ de.rwth.i2.attestor.refinement.garbageCollection.GarbageCollector.class - [JAR]
de.rwth.i2.attestor.refinement.balanced
├─ de.rwth.i2.attestor.refinement.balanced.BalancednessAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.balanced.BalancednessHelper.class - [JAR]
├─ de.rwth.i2.attestor.refinement.balanced.BalancednessStateRefinementStrategy.class - [JAR]
├─ de.rwth.i2.attestor.refinement.balanced.ListLengthAutomaton.class - [JAR]
de.rwth.i2.attestor.main
├─ de.rwth.i2.attestor.main.AbstractAttestor.class - [JAR]
├─ de.rwth.i2.attestor.main.AbstractPhase.class - [JAR]
├─ de.rwth.i2.attestor.main.Attestor.class - [JAR]
├─ de.rwth.i2.attestor.main.Main.class - [JAR]
├─ de.rwth.i2.attestor.main.PhaseRegistry.class - [JAR]
de.rwth.i2.attestor.semantics
├─ de.rwth.i2.attestor.semantics.ProgramParser.class - [JAR]
├─ de.rwth.i2.attestor.semantics.TerminalStatement.class - [JAR]
de.rwth.i2.attestor.graph
├─ de.rwth.i2.attestor.graph.BasicNonterminal.class - [JAR]
├─ de.rwth.i2.attestor.graph.BasicSelectorLabel.class - [JAR]
├─ de.rwth.i2.attestor.graph.Nonterminal.class - [JAR]
├─ de.rwth.i2.attestor.graph.SelectorLabel.class - [JAR]
de.rwth.i2.attestor.graph.digraph
├─ de.rwth.i2.attestor.graph.digraph.LabeledDigraph.class - [JAR]
├─ de.rwth.i2.attestor.graph.digraph.NodeLabel.class - [JAR]
de.rwth.i2.attestor.refinement.product
├─ de.rwth.i2.attestor.refinement.product.ProductHeapAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.product.ProductHeapAutomatonState.class - [JAR]
de.rwth.i2.attestor.refinement.visited
├─ de.rwth.i2.attestor.refinement.visited.StatelessVisitedAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.visited.StatelessVisitedByAutomaton.class - [JAR]
de.rwth.i2.attestor.graph.morphism.feasibility
├─ de.rwth.i2.attestor.graph.morphism.feasibility.AbstractCompatibleNeighbours.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.AdmissibleAbstraction.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.CompatibleEdgeLabels.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.CompatibleExternalNodes.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.CompatibleNodeTypes.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.CompatiblePredecessors.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.CompatibleSuccessors.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.EmbeddingEdgeLabels.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.EmbeddingExternalNodes.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.IdenticalNodeTypes.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.OneStepLookaheadIn.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.OneStepLookaheadOut.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.TwoStepLookahead.class - [JAR]
├─ de.rwth.i2.attestor.graph.morphism.feasibility.WeaklyCompatibleExternalNodes.class - [JAR]
de.rwth.i2.attestor.grammar.materialization.util
├─ de.rwth.i2.attestor.grammar.materialization.util.ApplicableRulesFinder.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.GrammarAdapter.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.GrammarResponseApplier.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.GraphMaterializer.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.MaterializationRuleManager.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.ViolationPointResolver.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.util.ViolationPoints.class - [JAR]
de.rwth.i2.attestor.phases.transformers
├─ de.rwth.i2.attestor.phases.transformers.CounterexampleTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.GrammarTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.InputSettingsTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.InputTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.MCSettingsTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.ModelCheckingResultsTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.OutputSettingsTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.ProgramTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.StateLabelingStrategyBuilderTransformer.class - [JAR]
├─ de.rwth.i2.attestor.phases.transformers.StateSpaceTransformer.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics.translation
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.DefaultAbstractSemantics.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.JimpleToAbstractSemantics.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.LiveVariableHelper.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.StandardAbstractSemantics.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.TarjanAlgorithm.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.translation.TopLevelTranslation.class - [JAR]
de.rwth.i2.attestor.markingGeneration.visited
├─ de.rwth.i2.attestor.markingGeneration.visited.VisitedMarkingCommand.class - [JAR]
├─ de.rwth.i2.attestor.markingGeneration.visited.VisitedMarkingGenerator.class - [JAR]
de.rwth.i2.attestor.grammar.canonicalization
├─ de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationHelper.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationStrategyBuilder.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.EmbeddingCheckerProvider.class - [JAR]
├─ de.rwth.i2.attestor.grammar.canonicalization.GeneralCanonicalizationStrategy.class - [JAR]
de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar
├─ de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar.DefaultCanonicalizationHelper.class - [JAR]
de.rwth.i2.attestor.graph.util
├─ de.rwth.i2.attestor.graph.util.ReachabilityChecker.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.JimpleParser.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.SootInitializer.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.AssignInvoke.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.AssignStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.BranchingSkip.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.GotoStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.IdentityStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.IfStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.InvokeStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.ReturnValueStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.ReturnVoidStmt.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.Skip.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.Statement.class - [JAR]
de.rwth.i2.attestor.programState.indexedState
├─ de.rwth.i2.attestor.programState.indexedState.AnnotatedSelectorLabel.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.IndexedHeapConfigurationUtil.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.IndexedNonterminal.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.IndexedNonterminalImpl.class - [JAR]
├─ de.rwth.i2.attestor.programState.indexedState.IndexedState.class - [JAR]
de.rwth.i2.attestor.phases.modelChecking.modelChecker
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.Assertion.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.FailureTrace.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.ModelCheckingResult.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.ModelCheckingTrace.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.ProofStructure.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.ProofStructureExporter.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.ProofStructureHtmlExporter.class - [JAR]
├─ de.rwth.i2.attestor.phases.modelChecking.modelChecker.TableauRulesSwitch.class - [JAR]
de.rwth.i2.attestor.refinement.pointsTo
├─ de.rwth.i2.attestor.refinement.pointsTo.PointsToHeapAutomaton.class - [JAR]
├─ de.rwth.i2.attestor.refinement.pointsTo.PointsToHeapAutomatonState.class - [JAR]
de.rwth.i2.attestor.grammar.materialization.communication
├─ de.rwth.i2.attestor.grammar.materialization.communication.CannotMaterializeException.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.DefaultGrammarResponse.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.DefaultGrammarResponseApplier.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.GrammarRequest.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.GrammarResponse.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.MaterializationAndRuleResponse.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.UnexpectedNonterminalTypeException.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.communication.WrongResponseTypeException.class - [JAR]
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InstanceInvokeHelper.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeCleanup.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper.class - [JAR]
├─ de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.StaticInvokeHelper.class - [JAR]
de.rwth.i2.attestor.phases.counterexamples
├─ de.rwth.i2.attestor.phases.counterexamples.CounterexampleGenerationPhase.class - [JAR]
de.rwth.i2.attestor.io.jsonImport
├─ de.rwth.i2.attestor.io.jsonImport.HcLabelPair.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonImport.HeapConfigurationRenaming.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonImport.JsonToGrammar.class - [JAR]
├─ de.rwth.i2.attestor.io.jsonImport.JsonToHeapConfiguration.class - [JAR]
de.rwth.i2.attestor.grammar.materialization.indexedGrammar
├─ de.rwth.i2.attestor.grammar.materialization.indexedGrammar.IndexMaterializationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.indexedGrammar.IndexedGrammarResponseApplier.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.indexedGrammar.IndexedMaterializationRuleManager.class - [JAR]
├─ de.rwth.i2.attestor.grammar.materialization.indexedGrammar.IndexedRuleAdapter.class - [JAR]
de.rwth.i2.attestor.io
├─ de.rwth.i2.attestor.io.CustomHcListExporter.class - [JAR]
├─ de.rwth.i2.attestor.io.FileReader.class - [JAR]
├─ de.rwth.i2.attestor.io.FileUtils.class - [JAR]
de.rwth.i2.attestor.grammar.concretization
├─ de.rwth.i2.attestor.grammar.concretization.ConcretizationStrategyBuilder.class - [JAR]
├─ de.rwth.i2.attestor.grammar.concretization.DefaultSingleStepConcretizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.concretization.FullConcretizationStrategy.class - [JAR]
├─ de.rwth.i2.attestor.grammar.concretization.FullConcretizationStrategyImpl.class - [JAR]
├─ de.rwth.i2.attestor.grammar.concretization.SingleStepConcretizationStrategy.class - [JAR]
de.rwth.i2.attestor.refinement.variableRelation
├─ de.rwth.i2.attestor.refinement.variableRelation.VariableRelationsAutomaton.class - [JAR]
de.rwth.i2.attestor.phases.parser
├─ de.rwth.i2.attestor.phases.parser.ParseContractsPhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.parser.ParseGrammarPhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.parser.ParseInputPhase.class - [JAR]
├─ de.rwth.i2.attestor.phases.parser.ParseProgramPhase.class - [JAR]
