Package it.unive.lisa

Class LiSARunner<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>

java.lang.Object

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

Type Parameters:

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

H - the type of HeapDomain contained into the abstract state that will be used in the analysis fixpoint

V - the type of ValueDomain contained into the abstract state that will be used in the analysis fixpoint

T - the type of TypeDomain contained into the abstract state that will be used in the analysis fixpoint

public class LiSARunner<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>
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