Hierarchy For All Packages
Package Hierarchies:- it.unive.lisa,
- it.unive.lisa.analysis,
- it.unive.lisa.analysis.heap,
- it.unive.lisa.analysis.impl.types,
- it.unive.lisa.analysis.nonrelational,
- it.unive.lisa.caches,
- it.unive.lisa.callgraph,
- it.unive.lisa.callgraph.impl.intraproc,
- it.unive.lisa.cfg,
- it.unive.lisa.cfg.edge,
- it.unive.lisa.cfg.statement,
- it.unive.lisa.cfg.type,
- it.unive.lisa.checks,
- it.unive.lisa.checks.syntactic,
- it.unive.lisa.checks.warnings,
- it.unive.lisa.logging,
- it.unive.lisa.outputs,
- it.unive.lisa.outputs.compare,
- it.unive.lisa.symbolic,
- it.unive.lisa.symbolic.heap,
- it.unive.lisa.symbolic.types,
- it.unive.lisa.symbolic.value,
- it.unive.lisa.util.collections,
- it.unive.lisa.util.file,
- it.unive.lisa.util.workset
Class Hierarchy
- java.lang.Object
- it.unive.lisa.analysis.AbstractState<H,V> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.cfg.AdjacencyMatrix (implements java.lang.Iterable<T>)
- it.unive.lisa.analysis.AnalysisState<H,V> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.analysis.BaseHeapDomain<H> (implements it.unive.lisa.analysis.HeapDomain<D>)
- it.unive.lisa.analysis.heap.MonolithicHeap
- it.unive.lisa.analysis.nonrelational.BaseNonRelationalValueDomain<T> (implements it.unive.lisa.analysis.nonrelational.NonRelationalValueDomain<T>)
- it.unive.lisa.analysis.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
- it.unive.lisa.analysis.ExpressionStore<V>
- it.unive.lisa.analysis.nonrelational.HeapEnvironment<T> (implements it.unive.lisa.analysis.HeapDomain<D>)
- it.unive.lisa.analysis.impl.types.TypeEnvironment (implements it.unive.lisa.analysis.ValueDomain<D>)
- it.unive.lisa.analysis.nonrelational.ValueEnvironment<T> (implements it.unive.lisa.analysis.ValueDomain<D>)
- it.unive.lisa.analysis.InverseSetLattice<S,E>
- it.unive.lisa.analysis.SetLattice<S,E>
- it.unive.lisa.analysis.impl.types.InferredTypes
- it.unive.lisa.analysis.BaseHeapDomain<H> (implements it.unive.lisa.analysis.HeapDomain<D>)
- it.unive.lisa.symbolic.types.BoolType (implements it.unive.lisa.cfg.type.BooleanType)
- it.unive.lisa.caches.Caches
- it.unive.lisa.cfg.CFG
- it.unive.lisa.analysis.CFGWithAnalysisResults<H,V>
- it.unive.lisa.cfg.CFGDescriptor
- it.unive.lisa.checks.CheckTool
- it.unive.lisa.util.collections.CollectionsDiffBuilder<T>
- it.unive.lisa.util.workset.ConcurrentFIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
- it.unive.lisa.util.workset.ConcurrentLIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
- it.unive.lisa.logging.Counter
- it.unive.lisa.outputs.DotGraph
- it.unive.lisa.cfg.edge.Edge
- it.unive.lisa.cfg.edge.FalseEdge
- it.unive.lisa.cfg.edge.SequentialEdge
- it.unive.lisa.cfg.edge.TrueEdge
- it.unive.lisa.util.collections.ExternalSet<T> (implements java.lang.Iterable<T>, java.util.Set<E>)
- it.unive.lisa.util.collections.ExternalSetCache<T>
- it.unive.lisa.util.workset.FIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
- it.unive.lisa.util.file.FileManager
- it.unive.lisa.analysis.HeapSemanticOperation.HeapReplacement
- it.unive.lisa.callgraph.impl.intraproc.IntraproceduralCallGraph (implements it.unive.lisa.callgraph.CallGraph)
- it.unive.lisa.symbolic.types.IntType (implements it.unive.lisa.cfg.type.NumericType)
- it.unive.lisa.logging.IterationLogger
- it.unive.lisa.outputs.JsonReport
- it.unive.lisa.outputs.JsonReport.JsonWarning (implements java.lang.Comparable<T>)
- it.unive.lisa.outputs.compare.JsonReportComparer
- it.unive.lisa.util.workset.LIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
- it.unive.lisa.LiSA
- it.unive.lisa.cfg.type.NullType (implements it.unive.lisa.cfg.type.PointerType)
- it.unive.lisa.cfg.Parameter
- it.unive.lisa.cfg.statement.Statement (implements java.lang.Comparable<T>)
- it.unive.lisa.cfg.statement.Expression
- it.unive.lisa.cfg.statement.BinaryExpression
- it.unive.lisa.cfg.statement.Assignment
- it.unive.lisa.cfg.statement.Call
- it.unive.lisa.cfg.statement.CFGCall (implements it.unive.lisa.cfg.statement.MetaVariableCreator)
- it.unive.lisa.cfg.statement.NativeCall
- it.unive.lisa.cfg.statement.BinaryNativeCall
- it.unive.lisa.cfg.statement.UnaryNativeCall
- it.unive.lisa.cfg.statement.OpenCall (implements it.unive.lisa.cfg.statement.MetaVariableCreator)
- it.unive.lisa.cfg.statement.UnresolvedCall
- it.unive.lisa.cfg.statement.Literal
- it.unive.lisa.cfg.statement.NullLiteral
- it.unive.lisa.cfg.statement.Variable
- it.unive.lisa.cfg.statement.BinaryExpression
- it.unive.lisa.cfg.statement.NoOp
- it.unive.lisa.cfg.statement.Ret
- it.unive.lisa.cfg.statement.Return (implements it.unive.lisa.cfg.statement.MetaVariableCreator)
- it.unive.lisa.cfg.statement.Throw
- it.unive.lisa.cfg.statement.Expression
- it.unive.lisa.symbolic.types.StringType (implements it.unive.lisa.cfg.type.StringType)
- it.unive.lisa.symbolic.SymbolicExpression
- it.unive.lisa.symbolic.heap.HeapExpression
- it.unive.lisa.symbolic.heap.AccessChild
- it.unive.lisa.symbolic.heap.HeapAllocation
- it.unive.lisa.symbolic.heap.HeapReference
- it.unive.lisa.symbolic.value.ValueExpression
- it.unive.lisa.symbolic.value.BinaryExpression
- it.unive.lisa.symbolic.value.Constant
- it.unive.lisa.symbolic.value.NullConstant
- it.unive.lisa.symbolic.value.Identifier
- it.unive.lisa.symbolic.value.HeapIdentifier
- it.unive.lisa.symbolic.value.ValueIdentifier
- it.unive.lisa.symbolic.value.Skip
- it.unive.lisa.symbolic.value.TernaryExpression
- it.unive.lisa.symbolic.value.TypeConversion
- it.unive.lisa.symbolic.value.UnaryExpression
- it.unive.lisa.symbolic.heap.HeapExpression
- it.unive.lisa.checks.syntactic.SyntacticChecksExecutor
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- it.unive.lisa.AnalysisException
- it.unive.lisa.cfg.FixpointException
- java.lang.RuntimeException
- it.unive.lisa.AnalysisExecutionException
- it.unive.lisa.analysis.SemanticException
- java.lang.Exception
- it.unive.lisa.logging.TimerLogger
- it.unive.lisa.cfg.type.Untyped (implements it.unive.lisa.cfg.type.Type)
- it.unive.lisa.cfg.type.VoidType (implements it.unive.lisa.cfg.type.Type)
- it.unive.lisa.checks.warnings.Warning (implements java.lang.Comparable<T>)
- it.unive.lisa.checks.warnings.WarningWithLocation
- it.unive.lisa.checks.warnings.CFGDesccriptorWarning
- it.unive.lisa.checks.warnings.CFGWarning
- it.unive.lisa.checks.warnings.StatementWarning
- it.unive.lisa.checks.warnings.ExpressionWarning
- it.unive.lisa.checks.warnings.WarningWithLocation
Interface Hierarchy
- it.unive.lisa.callgraph.CallGraph
- it.unive.lisa.cfg.CFG.SemanticFunction<H,V>
- it.unive.lisa.analysis.HeapSemanticOperation
- it.unive.lisa.analysis.HeapDomain<D> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.analysis.nonrelational.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>)
- it.unive.lisa.outputs.compare.JsonReportComparer.DiffReporter
- it.unive.lisa.analysis.Lattice<L>
- it.unive.lisa.analysis.HeapDomain<D> (also extends it.unive.lisa.analysis.HeapSemanticOperation, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>
- it.unive.lisa.analysis.nonrelational.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.analysis.nonrelational.NonRelationalValueDomain<T> (also extends it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.analysis.nonrelational.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.HeapSemanticOperation, it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>)
- it.unive.lisa.analysis.nonrelational.NonRelationalValueDomain<T> (also extends it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>)
- it.unive.lisa.analysis.ValueDomain<D> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.cfg.statement.MetaVariableCreator
- it.unive.lisa.symbolic.value.Operator
- it.unive.lisa.analysis.SemanticDomain<D,E,I>
- it.unive.lisa.analysis.HeapDomain<D> (also extends it.unive.lisa.analysis.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.analysis.ValueDomain<D> (also extends it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.checks.syntactic.SyntacticCheck
- it.unive.lisa.logging.TimerLogger.LoggableAction
- it.unive.lisa.logging.TimerLogger.LoggableBiConsumer<T0,T1>
- it.unive.lisa.logging.TimerLogger.LoggableBiFunction<R,T0,T1>
- it.unive.lisa.logging.TimerLogger.LoggableConsumer<T0>
- it.unive.lisa.logging.TimerLogger.LoggableFunction<R,T0>
- it.unive.lisa.logging.TimerLogger.LoggableMultiConsumer
- it.unive.lisa.logging.TimerLogger.LoggableMultiFunction<R>
- it.unive.lisa.logging.TimerLogger.LoggablePentaConsumer<T0,T1,T2,T3,T4>
- it.unive.lisa.logging.TimerLogger.LoggablePentaFunction<R,T0,T1,T2,T3,T4>
- it.unive.lisa.logging.TimerLogger.LoggableQuadConsumer<T0,T1,T2,T3>
- it.unive.lisa.logging.TimerLogger.LoggableQuadFunction<R,T0,T1,T2,T3>
- it.unive.lisa.logging.TimerLogger.LoggableSupplier<R>
- it.unive.lisa.logging.TimerLogger.LoggableTriConsumer<T0,T1,T2>
- it.unive.lisa.logging.TimerLogger.LoggableTriFunction<R,T0,T1,T2>
- it.unive.lisa.cfg.type.Type
- it.unive.lisa.cfg.type.BooleanType
- it.unive.lisa.cfg.type.NumericType
- it.unive.lisa.cfg.type.PointerType
- it.unive.lisa.cfg.type.ArrayType
- it.unive.lisa.cfg.type.StringType
- it.unive.lisa.util.workset.WorkingSet<E>
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- it.unive.lisa.symbolic.value.BinaryOperator (implements it.unive.lisa.symbolic.value.Operator)
- it.unive.lisa.outputs.compare.JsonReportComparer.REPORT_TYPE
- it.unive.lisa.outputs.compare.JsonReportComparer.REPORTED_COMPONENT
- it.unive.lisa.analysis.SemanticDomain.Satisfiability (implements it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.symbolic.value.TernaryOperator (implements it.unive.lisa.symbolic.value.Operator)
- it.unive.lisa.logging.TimeFormat
- it.unive.lisa.symbolic.value.UnaryOperator (implements it.unive.lisa.symbolic.value.Operator)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)