jar

edu.psu.cse.siis : coal

Maven & Gradle

Sep 17, 2015
1 usages
6 stars

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

Table Of Contents

Latest Version

Download edu.psu.cse.siis : coal JAR file - Latest Versions:

All Versions

Download edu.psu.cse.siis : coal JAR file - All Versions:

Version Vulnerabilities Size Updated
0.1.x

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.1.7.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.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.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.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

Sep 17, 2015
1 usages
0 stars
Sep 17, 2015
1 usages
6 stars
ic3
Sep 17, 2015
26 stars

Discover Dependencies

Sep 06, 2022
1 usages
37 stars
Feb 07, 2019
2 usages
3 stars
Jun 11, 2018
1 usages
98 stars
May 12, 2015
1 usages
0 stars
Jun 06, 2023
1 usages
13 stars
May 20, 2015
1 usages
2 stars
May 27, 2015
1 usages
2 stars
May 27, 2015
1 usages
2 stars
Sep 04, 2018
1 usages
74 stars
Jun 01, 2015
3 usages
0 stars