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

Download coal JAR 0.2.1 with all dependencies


The COAL constant propagation solver for complex object types.

Files of the artifact coal version 0.2.1 from the group com.jordansamhi.

Artifact coal
Group com.jordansamhi
Version 0.2.1
Last update 01. June 2023
Tags: types constant propagation complex coal solver object
Organization Systems and Internet Infrastructure Security Laboratory
URL https://github.com/JordanSamhi/coal
License Apache 2.0
Dependencies amount 5
Dependencies slf4j-api, commons-cli, coal-strings, dexlib2, slf4j-log4j12,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of coal Show documentation

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

0 downloads

Source code of coal version 0.2.1

META-INF
META-INF.META-INF.MANIFEST.MF
edu.psu.cse.siis.coal
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Analysis
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.AnalysisException
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.AnalysisParameters
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.CallFlowFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.CallToReturnEdgeFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.CallToReturnFlowFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.CommandLineArguments
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.CommandLineParser
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Constants
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultAnalysis
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultCommandLineArguments
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultCommandLineParser
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultResult
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultResultBuilder
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.DefaultResultProcessor
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.ExtendedSignature
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.FatalAnalysisException
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.FunctionFactoryUtils
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Internable
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.IterationSolver
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Main
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.MethodDescription
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Model
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.ModelCompiler
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.NormalEdgeFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.NormalFlowFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Pool
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationIcfg
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationLattice
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationProblem
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationSceneTransformer
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationSceneTransformerFilePrinter
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationSceneTransformerPrinter
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationSolver
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.PropagationTimers
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Result
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.ResultBuilder
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.Results
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.ReturnFlowFunctionFactory
edu.psu.cse.siis.coal.edu.psu.cse.siis.coal.SymbolFilter
edu.psu.cse.siis.coal.arguments
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.Argument
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.ArgumentValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.ArgumentValueIdentifier
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.ArgumentValueManager
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.BackwardValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.ClassValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.Field
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.IntValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.MethodReturnValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.MethodReturnValueManager
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.SourceDescriptor
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.SourceMethodReturnValueAnalysis
edu.psu.cse.siis.coal.arguments.edu.psu.cse.siis.coal.arguments.StringValueAnalysis
edu.psu.cse.siis.coal.field
edu.psu.cse.siis.coal.field.edu.psu.cse.siis.coal.field.SequenceElement
edu.psu.cse.siis.coal.field.edu.psu.cse.siis.coal.field.TransformerSequence
edu.psu.cse.siis.coal.field.transformers
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.FieldNullTransformerFactory
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.FieldTransformer
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.FieldTransformerFactory
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.FieldTransformerManager
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.IdentityFieldTransformer
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.NullFieldTransformer
edu.psu.cse.siis.coal.field.transformers.edu.psu.cse.siis.coal.field.transformers.TopFieldTransformer
edu.psu.cse.siis.coal.field.transformers.scalar
edu.psu.cse.siis.coal.field.transformers.scalar.edu.psu.cse.siis.coal.field.transformers.scalar.FieldScalarReplaceTransformerFactory
edu.psu.cse.siis.coal.field.transformers.scalar.edu.psu.cse.siis.coal.field.transformers.scalar.ScalarReplace
edu.psu.cse.siis.coal.field.transformers.set
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.Add
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.AddSequenceElement
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.Clear
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.FieldAddSequenceElementTransformerFactory
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.FieldAddTransformerFactory
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.FieldClearTransformerFactory
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.FieldRemoveTransformerFactory
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.FieldReplaceTransformerFactory
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.Remove
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.Replace
edu.psu.cse.siis.coal.field.transformers.set.edu.psu.cse.siis.coal.field.transformers.set.SetFieldTransformer
edu.psu.cse.siis.coal.field.values
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.FieldValue
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.IntermediateFieldValue
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.NullFieldValue
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.ScalarFieldValue
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.SetFieldValue
edu.psu.cse.siis.coal.field.values.edu.psu.cse.siis.coal.field.values.TopFieldValue
edu.psu.cse.siis.coal.lang
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.ParseException
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.PropagationParser
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.PropagationParserConstants
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.PropagationParserTokenManager
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.SimpleCharStream
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.Token
edu.psu.cse.siis.coal.lang.edu.psu.cse.siis.coal.lang.TokenMgrError
edu.psu.cse.siis.coal.transformers
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.AllTop
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.AllTopEdgeFunction
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.IdentityPathTransformer
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.NullPathTransformer
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.PathTransformer
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.PropagationTransformer
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.PropagationTransformerFactory
edu.psu.cse.siis.coal.transformers.edu.psu.cse.siis.coal.transformers.TopPropagationTransformer
edu.psu.cse.siis.coal.values
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.BasePropagationValue
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.BottomPropagationValue
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.NullPathValue
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.PathValue
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.PropagationValue
edu.psu.cse.siis.coal.values.edu.psu.cse.siis.coal.values.TopPropagationValue
.log4j.properties




© 2015 - 2024 Weber Informatics LLC | Privacy Policy