jar

org.jinq : analysis

Maven & Gradle

Aug 26, 2022
6 usages
653 stars

Jinq Symbolic Execution Analysis Framework · Jinq framework for performing symbolic execution analysis on Java code

Table Of Contents

Latest Version

Download org.jinq : analysis JAR file - Latest Versions:

All Versions

Download org.jinq : analysis JAR file - All Versions:

Version Vulnerabilities Size Updated
2.0.x
1.8.x
1.8
1.7.x
1.7
1.6.x
1.6
1.5
1.4
1.3
1.2
1.1
1.0
1.0rc1
0.9
0.8
0.7
0.6
0.5
0.4
0.3.x
0.3
0.2.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 analysis-2.0.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

com.user00.thunk

├─ com.user00.thunk.SerializedLambda.class - [JAR]

ch.epfl.labos.iu.orm.queryll2.symbolic

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.ConstantValue.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.FrameWithHelpers.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.InterpreterWithArgs.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.LambdaFactory.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.MethodCallValue.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.MethodSignature.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.SymbolicInterpreterWithFieldAccess.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValuePostfixWalker.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueRewriterWalker.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitor.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitorException.class - [JAR]

ch.epfl.labos.iu.orm.queryll2.path

├─ ch.epfl.labos.iu.orm.queryll2.path.Annotations.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.CFG.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.CodePath.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.MethodAnalysisResults.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffect.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffectCall.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffectFieldAssign.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.PathAnalysis.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisFactory.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSimplifier.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.StaticMethodAnalysisStorage.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.SymbExBooleanRewriter.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.SymbExSimplifier.class - [JAR]

├─ ch.epfl.labos.iu.orm.queryll2.path.TransformationClassAnalyzer.class - [JAR]

Advertisement

Dependencies from Group

api
Aug 26, 2022
7 usages
653 stars
Aug 26, 2022
6 usages
653 stars
Aug 26, 2022
5 usages
653 stars
Aug 26, 2022
4 usages
653 stars
Aug 26, 2022
2 usages
653 stars

Discover Dependencies

Jan 20, 2022
5 usages
134 stars
Aug 04, 2023
3 usages
4 stars
Nov 30, 2017
3 usages
23 stars
Nov 26, 2022
5 usages
255 stars
Oct 08, 2021
3 usages
3.6k stars
Mar 15, 2020
4 usages
72 stars
Mar 15, 2020
5 usages
72 stars
Mar 15, 2020
3 usages
1 stars