All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download lisa-core JAR 0.1b4 with all dependencies


    Files of the artifact lisa-core version 0.1b4 from the group com.github.unive-ssv.

    Artifact lisa-core
    Group com.github.unive-ssv
    Version 0.1b4


    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of lisa-core version 0.1b4

    META-INF
    META-INF.META-INF.MANIFEST.MF
    it.unive.lisa
    it.unive.lisa.it.unive.lisa.LiSA
    it.unive.lisa.it.unive.lisa.LiSAConfiguration
    it.unive.lisa.it.unive.lisa.LiSAFactory
    it.unive.lisa.it.unive.lisa.LiSARunner
    it.unive.lisa.analysis.combination
    it.unive.lisa.analysis.combination.it.unive.lisa.analysis.combination.CartesianProduct
    it.unive.lisa.analysis.combination.it.unive.lisa.analysis.combination.ValueCartesianProduct
    it.unive.lisa.analysis.dataflow
    it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.AvailableExpressions
    it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.ConstantPropagation
    it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.ReachingDefinitions
    it.unive.lisa.analysis.heap
    it.unive.lisa.analysis.heap.it.unive.lisa.analysis.heap.MonolithicHeap
    it.unive.lisa.analysis.heap.it.unive.lisa.analysis.heap.TypeBasedHeap
    it.unive.lisa.analysis.heap.pointbased
    it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.AllocationSite
    it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.AllocationSites
    it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap
    it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.PointBasedHeap
    it.unive.lisa.analysis.nonInterference
    it.unive.lisa.analysis.nonInterference.it.unive.lisa.analysis.nonInterference.NonInterference
    it.unive.lisa.analysis.numeric
    it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.IntegerConstantPropagation
    it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Interval
    it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Parity
    it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Sign
    it.unive.lisa.analysis.types
    it.unive.lisa.analysis.types.it.unive.lisa.analysis.types.InferredTypes
    it.unive.lisa.interprocedural
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.CFGResults
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.CallGraphBasedAnalysis
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.ContextBasedAnalysis
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.ContextInsensitiveToken
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.ContextSensitivityToken
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.FixpointResults
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.ModularWorstCaseAnalysis
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.RecursionFreeToken
    it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.SingleScopeToken
    it.unive.lisa.interprocedural.callgraph
    it.unive.lisa.interprocedural.callgraph.it.unive.lisa.interprocedural.callgraph.CHACallGraph
    it.unive.lisa.interprocedural.callgraph.it.unive.lisa.interprocedural.callgraph.RTACallGraph




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy