de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class NoMaterializationStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoMaterializationStrategy

All Implemented Interfaces:

MaterializationStrategy

public class NoMaterializationStrategy
extends Object
implements MaterializationStrategy

Constructor Summary

Constructors

Constructor and Description
NoMaterializationStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NoMaterializationStrategy

public NoMaterializationStrategy()

Method Detail

materialize

public Collection<HeapConfiguration> materialize(HeapConfiguration heapConfiguration,
                                                 ViolationPoints potentialViolationPoints)

Description copied from interface: MaterializationStrategy

Attempts to materialize a given program states such that the provided

Specified by:

materialize in interface MaterializationStrategy

Parameters:

heapConfiguration - The program state that should be materialized.

potentialViolationPoints - A specification of points in the program state that prevent the concrete semantics from being executed.

Returns:

A list of materialized program states in which all provided violation points have been resolved.