Package it.unive.lisa

Class LiSARunner<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

java.lang.Object

it.unive.lisa.LiSARunner<A,H,V>

Type Parameters:

A - the type of AbstractState contained into the analysis state that will be used in the fixpoints

H - the type of HeapDomain contained into the computed abstract state that will be used in the fixpoints

V - the type of ValueDomain contained into the computed abstract state that will be used in the fixpoints

public class LiSARunner<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends java.lang.Object

An auxiliary analysis runner for executing LiSA analysis.

Method Summary

Methods inherited from class java.lang.Object

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