Uses of Class
de.rwth.i2.attestor.grammar.materialization.util.ViolationPoints

Packages that use ViolationPoints

Package	Description
de.rwth.i2.attestor.grammar.materialization.strategies
de.rwth.i2.attestor.grammar.materialization.util
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.semantics	This package defines the translation process from Java bytecode to an executable (abstract) semantics.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke	This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr	This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of ViolationPoints in de.rwth.i2.attestor.grammar.materialization.strategies

Methods in de.rwth.i2.attestor.grammar.materialization.strategies with parameters of type ViolationPoints

Modifier and Type	Method and Description
Collection<HeapConfiguration>	GeneralMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)
Collection<HeapConfiguration>	MaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints) Attempts to materialize a given program states such that the provided

Uses of ViolationPoints in de.rwth.i2.attestor.grammar.materialization.util

Methods in de.rwth.i2.attestor.grammar.materialization.util that return ViolationPoints

Modifier and Type	Method and Description
static ViolationPoints	ViolationPoints.getEmptyViolationPoints()

Methods in de.rwth.i2.attestor.grammar.materialization.util with parameters of type ViolationPoints

Modifier and Type	Method and Description
void	ViolationPoints.addAll(ViolationPoints vio) Add all violation points to this set of violation points.

Uses of ViolationPoints in de.rwth.i2.attestor.markingGeneration.neighbourhood

Methods in de.rwth.i2.attestor.markingGeneration.neighbourhood that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	NeighbourhoodMarkingCommand.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.markingGeneration.visited

Methods in de.rwth.i2.attestor.markingGeneration.visited that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	VisitedMarkingCommand.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Methods in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies with parameters of type ViolationPoints

Modifier and Type	Method and Description
Collection<HeapConfiguration>	NoMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)

Uses of ViolationPoints in de.rwth.i2.attestor.semantics

Methods in de.rwth.i2.attestor.semantics that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	TerminalStatement.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	Skip.getPotentialViolationPoints()
ViolationPoints	ReturnVoidStmt.getPotentialViolationPoints()
ViolationPoints	IdentityStmt.getPotentialViolationPoints()
ViolationPoints	AssignInvoke.getPotentialViolationPoints()
ViolationPoints	AssignStmt.getPotentialViolationPoints()
ViolationPoints	IfStmt.getPotentialViolationPoints()
ViolationPoints	InvokeStmt.getPotentialViolationPoints()
ViolationPoints	GotoStmt.getPotentialViolationPoints()
ViolationPoints	ReturnValueStmt.getPotentialViolationPoints()
ViolationPoints	BranchingSkip.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	InvokeHelper.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	NewExpr.getPotentialViolationPoints()
ViolationPoints	NullConstant.getPotentialViolationPoints()
ViolationPoints	Value.getPotentialViolationPoints()
ViolationPoints	Field.getPotentialViolationPoints()
ViolationPoints	UndefinedValue.getPotentialViolationPoints()
ViolationPoints	IntConstant.getPotentialViolationPoints()
ViolationPoints	Local.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	EqualExpr.getPotentialViolationPoints()
ViolationPoints	UnequalExpr.getPotentialViolationPoints()

Uses of ViolationPoints in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return ViolationPoints

Modifier and Type	Method and Description
ViolationPoints	SemanticsCommand.getPotentialViolationPoints()

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type ViolationPoints

Modifier and Type	Method and Description
Collection<ProgramState>	StateMaterializationStrategy.materialize(ProgramState state, ViolationPoints violationPoints)