jar

com.jordansamhi : coal

Maven & Gradle

Jun 01, 2023
2 stars

The COAL Solver · The COAL constant propagation solver for complex object types.

Table Of Contents

Latest Version

Download com.jordansamhi : coal JAR file - Latest Versions:

All Versions

Download com.jordansamhi : coal JAR file - All Versions:

Version Vulnerabilities Size Updated
0.2.x
0.2

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window coal-0.2.1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

edu.psu.cse.siis.coal.field.transformers

├─ edu.psu.cse.siis.coal.field.transformers.FieldNullTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.FieldTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.FieldTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.FieldTransformerManager.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.IdentityFieldTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.NullFieldTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.TopFieldTransformer.class - [JAR]

edu.psu.cse.siis.coal.field.transformers.set

├─ edu.psu.cse.siis.coal.field.transformers.set.Add.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.AddSequenceElement.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.Clear.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.FieldAddSequenceElementTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.FieldAddTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.FieldClearTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.FieldRemoveTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.FieldReplaceTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.Remove.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.Replace.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.set.SetFieldTransformer.class - [JAR]

edu.psu.cse.siis.coal.transformers

├─ edu.psu.cse.siis.coal.transformers.AllTop.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.AllTopEdgeFunction.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.IdentityPathTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.NullPathTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.PathTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.PropagationTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.PropagationTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.transformers.TopPropagationTransformer.class - [JAR]

edu.psu.cse.siis.coal.lang

├─ edu.psu.cse.siis.coal.lang.ParseException.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.PropagationParser.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.PropagationParserConstants.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.PropagationParserTokenManager.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.SimpleCharStream.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.Token.class - [JAR]

├─ edu.psu.cse.siis.coal.lang.TokenMgrError.class - [JAR]

edu.psu.cse.siis.coal.field

├─ edu.psu.cse.siis.coal.field.SequenceElement.class - [JAR]

├─ edu.psu.cse.siis.coal.field.TransformerSequence.class - [JAR]

edu.psu.cse.siis.coal

├─ edu.psu.cse.siis.coal.Analysis.class - [JAR]

├─ edu.psu.cse.siis.coal.AnalysisException.class - [JAR]

├─ edu.psu.cse.siis.coal.AnalysisParameters.class - [JAR]

├─ edu.psu.cse.siis.coal.CallFlowFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.CallToReturnEdgeFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.CallToReturnFlowFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.CommandLineArguments.class - [JAR]

├─ edu.psu.cse.siis.coal.CommandLineParser.class - [JAR]

├─ edu.psu.cse.siis.coal.Constants.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultCommandLineArguments.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultCommandLineParser.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultResult.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultResultBuilder.class - [JAR]

├─ edu.psu.cse.siis.coal.DefaultResultProcessor.class - [JAR]

├─ edu.psu.cse.siis.coal.ExtendedSignature.class - [JAR]

├─ edu.psu.cse.siis.coal.FatalAnalysisException.class - [JAR]

├─ edu.psu.cse.siis.coal.FunctionFactoryUtils.class - [JAR]

├─ edu.psu.cse.siis.coal.Internable.class - [JAR]

├─ edu.psu.cse.siis.coal.IterationSolver.class - [JAR]

├─ edu.psu.cse.siis.coal.Main.class - [JAR]

├─ edu.psu.cse.siis.coal.MethodDescription.class - [JAR]

├─ edu.psu.cse.siis.coal.Model.class - [JAR]

├─ edu.psu.cse.siis.coal.ModelCompiler.class - [JAR]

├─ edu.psu.cse.siis.coal.NormalEdgeFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.NormalFlowFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.Pool.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationIcfg.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationLattice.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationProblem.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationSceneTransformer.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationSceneTransformerFilePrinter.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationSceneTransformerPrinter.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationSolver.class - [JAR]

├─ edu.psu.cse.siis.coal.PropagationTimers.class - [JAR]

├─ edu.psu.cse.siis.coal.Result.class - [JAR]

├─ edu.psu.cse.siis.coal.ResultBuilder.class - [JAR]

├─ edu.psu.cse.siis.coal.Results.class - [JAR]

├─ edu.psu.cse.siis.coal.ReturnFlowFunctionFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.SymbolFilter.class - [JAR]

edu.psu.cse.siis.coal.field.transformers.scalar

├─ edu.psu.cse.siis.coal.field.transformers.scalar.FieldScalarReplaceTransformerFactory.class - [JAR]

├─ edu.psu.cse.siis.coal.field.transformers.scalar.ScalarReplace.class - [JAR]

edu.psu.cse.siis.coal.arguments

├─ edu.psu.cse.siis.coal.arguments.Argument.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.ArgumentValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.ArgumentValueIdentifier.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.ArgumentValueManager.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.BackwardValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.ClassValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.Field.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.IntValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.MethodReturnValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.MethodReturnValueManager.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.SourceDescriptor.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.SourceMethodReturnValueAnalysis.class - [JAR]

├─ edu.psu.cse.siis.coal.arguments.StringValueAnalysis.class - [JAR]

edu.psu.cse.siis.coal.values

├─ edu.psu.cse.siis.coal.values.BasePropagationValue.class - [JAR]

├─ edu.psu.cse.siis.coal.values.BottomPropagationValue.class - [JAR]

├─ edu.psu.cse.siis.coal.values.NullPathValue.class - [JAR]

├─ edu.psu.cse.siis.coal.values.PathValue.class - [JAR]

├─ edu.psu.cse.siis.coal.values.PropagationValue.class - [JAR]

├─ edu.psu.cse.siis.coal.values.TopPropagationValue.class - [JAR]

edu.psu.cse.siis.coal.field.values

├─ edu.psu.cse.siis.coal.field.values.FieldValue.class - [JAR]

├─ edu.psu.cse.siis.coal.field.values.IntermediateFieldValue.class - [JAR]

├─ edu.psu.cse.siis.coal.field.values.NullFieldValue.class - [JAR]

├─ edu.psu.cse.siis.coal.field.values.ScalarFieldValue.class - [JAR]

├─ edu.psu.cse.siis.coal.field.values.SetFieldValue.class - [JAR]

├─ edu.psu.cse.siis.coal.field.values.TopFieldValue.class - [JAR]

Advertisement

Dependencies from Group

Jun 27, 2022
0 stars
Jun 01, 2023
2 stars
May 26, 2023
9 stars
Aug 22, 2023
9 stars

Discover Dependencies

klu
Jul 03, 2022
7 stars
Aug 23, 2023
30 stars
Mar 27, 2023
30 stars
Aug 23, 2023
30 stars
Aug 23, 2023
30 stars
Aug 23, 2023
30 stars
Aug 23, 2023
30 stars
Mar 27, 2023
30 stars
Aug 23, 2023
30 stars