Hierarchy For All Packages

Package Hierarchies:

Class Hierarchy

  • java.lang.Object
    • it.unive.lisa.analysis.heap.pointbased.AllocationSiteBasedAnalysis<A> (implements it.unive.lisa.analysis.heap.BaseHeapDomain<H>)
    • it.unive.lisa.util.datastructures.automaton.Automaton<A,​T> (implements it.unive.lisa.util.datastructures.automaton.AutomataFactory<A,​T>)
    • it.unive.lisa.analysis.dataflow.AvailableExpressions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,​E>)
    • it.unive.lisa.interprocedural.BackwardModularWorstCaseAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
    • it.unive.lisa.conf.BaseConfiguration
    • it.unive.lisa.util.datastructures.graph.BaseGraph<G,​N,​E> (implements it.unive.lisa.util.datastructures.graph.Graph<G,​N,​E>)
      • it.unive.lisa.interprocedural.callgraph.CallGraph
        • it.unive.lisa.interprocedural.callgraph.BaseCallGraph
    • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
    • it.unive.lisa.analysis.taint.BaseTaint<T> (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.string.bricks.Brick (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.string.bricks.Bricks (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
    • it.unive.lisa.analysis.combination.CartesianProduct<C,​T1,​T2,​E,​I> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,​E,​I>)
    • it.unive.lisa.analysis.string.CharInclusion (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.analysis.dataflow.ConstantPropagation (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,​E>)
    • it.unive.lisa.interprocedural.context.ContextInsensitiveToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
    • it.unive.lisa.analysis.traces.ExecutionTrace
    • it.unive.lisa.analysis.string.fsa.FSA (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.interprocedural.context.FullStackToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,​K,​V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
      • it.unive.lisa.analysis.string.SubstringDomain (implements it.unive.lisa.analysis.value.ValueDomain<D>)
      • it.unive.lisa.analysis.traces.TracePartitioning<A> (implements it.unive.lisa.analysis.AbstractState<A>)
    • it.unive.lisa.analysis.string.tarsis.IndexFinder
    • it.unive.lisa.analysis.types.InferredTypes (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T>)
    • it.unive.lisa.analysis.numeric.IntegerConstantPropagation (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.numeric.Interval (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, java.lang.Comparable<T>)
    • it.unive.lisa.interprocedural.context.KDepthToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
    • it.unive.lisa.interprocedural.context.LastCallToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
    • it.unive.lisa.LiSAFactory
    • it.unive.lisa.LiSAFactory.ConfigurableComponent
    • it.unive.lisa.analysis.dataflow.Liveness (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,​E>)
    • it.unive.lisa.interprocedural.ModularWorstCaseAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
    • it.unive.lisa.analysis.heap.MonolithicHeap (implements it.unive.lisa.analysis.heap.BaseHeapDomain<H>)
    • it.unive.lisa.analysis.nonInterference.NonInterference (implements it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue<T>)
    • it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowersetOfBaseNonRelationalValueDomain<C,​E> (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.combination.NonRelationalValueCartesianProduct<C,​T1,​T2> (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.numeric.Parity (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.numeric.Pentagon (implements it.unive.lisa.analysis.BaseLattice<L>, it.unive.lisa.analysis.value.ValueDomain<D>)
    • it.unive.lisa.analysis.string.Prefix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.analysis.dataflow.ReachingDefinitions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,​E>)
    • it.unive.lisa.interprocedural.context.recursion.Recursion<A>
    • it.unive.lisa.analysis.lattices.SetLattice<S,​E> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
      • it.unive.lisa.analysis.heap.pointbased.AllocationSites (implements it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T>)
      • it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowerset<C,​T,​E,​I> (implements it.unive.lisa.analysis.SemanticDomain<D,​E,​I>)
    • it.unive.lisa.analysis.numeric.Sign (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.SimpleAbstractState<H,​V,​T> (implements it.unive.lisa.analysis.AbstractState<A>, it.unive.lisa.analysis.BaseLattice<L>)
    • it.unive.lisa.analysis.stability.Stability<V> (implements it.unive.lisa.analysis.BaseLattice<L>, it.unive.lisa.analysis.value.ValueDomain<D>)
    • it.unive.lisa.analysis.types.StaticTypes (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T>)
    • it.unive.lisa.analysis.string.StringConstantPropagation (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.string.tarsis.StringReplacer
    • it.unive.lisa.analysis.string.tarsis.StringSearcher
    • it.unive.lisa.analysis.string.fsa.StringSymbol (implements it.unive.lisa.util.datastructures.automaton.TransitionSymbol<T>)
    • it.unive.lisa.analysis.string.Suffix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.symbolic.SymbolicExpression (implements it.unive.lisa.analysis.ScopedObject<T>)
      • it.unive.lisa.symbolic.value.ValueExpression
    • it.unive.lisa.analysis.string.tarsis.Tarsis (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.analysis.traces.TraceToken
    • it.unive.lisa.analysis.stability.Trend (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.heap.TypeBasedHeap (implements it.unive.lisa.analysis.heap.BaseHeapDomain<H>)
    • it.unive.lisa.analysis.numeric.UpperBounds (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, java.lang.Iterable<T>)

Interface Hierarchy