Jinq Symbolic Execution Analysis Framework

Jinq framework for performing symbolic execution analysis on Java code

License	BSD 2-Clause License
Categories	Jinq Data Databases
GroupId	org.jinq
ArtifactId	analysis
Last Version	1.8.34
Release Date	Oct 21, 2021
Type	jar
Description	Jinq Symbolic Execution Analysis Framework Jinq framework for performing symbolic execution analysis on Java code

Download analysis

Filename	Size
analysis-1.8.34.pom
analysis-1.8.34.jar	98 KB
analysis-1.8.34-sources.jar	36 KB
analysis-1.8.34-javadoc.jar	377 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.jinq/analysis/ -->
<dependency>
    <groupId>org.jinq</groupId>
    <artifactId>analysis</artifactId>
    <version>1.8.34</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.jinq/analysis/
implementation 'org.jinq:analysis:1.8.34'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.jinq/analysis/
implementation ("org.jinq:analysis:1.8.34")

Apache Buildr

'org.jinq:analysis:jar:1.8.34'

Apache Ivy

<dependency org="org.jinq" name="analysis" rev="1.8.34">
  <artifact name="analysis" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.jinq', module='analysis', version='1.8.34')
)

Scala SBT

libraryDependencies += "org.jinq" % "analysis" % "1.8.34"

Leiningen

[org.jinq/analysis "1.8.34"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.jinq : jinq-asm-rebased	jar	1.8.34
org.jinq : api	jar	1.8.34

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.13.1

Project Modules

There are no modules declared in this project.

Versions

Version
1.8.34 Oct 21, 2021
1.8.33 Mar 26, 2021
1.8.32 Nov 4, 2020
1.8.31 Sep 23, 2020
1.8.30 Jul 1, 2020
1.8.29 Oct 8, 2019
1.8.28 Jul 22, 2019
1.8.27 Jun 10, 2019
1.8.26 Jun 5, 2019
1.8.25 Nov 8, 2018
1.8.24 Apr 24, 2018
1.8.23 Mar 21, 2018
1.8.22 Oct 8, 2017
1.8.21 Jun 28, 2017
1.8.20 Jun 4, 2017
1.8.19 Apr 18, 2017
1.8.18 Apr 17, 2017
1.8.17 Feb 7, 2017
1.8.16 Jan 25, 2017
1.8.15 Jan 5, 2017
1.8.14 Nov 26, 2016
1.8.13 Sep 18, 2016
1.8.12 Aug 15, 2016
1.8.11 Apr 23, 2016
1.8.10 Feb 13, 2016
1.8.9 Jan 10, 2016
1.8.8 Jan 6, 2016
1.8.7 Dec 17, 2015
1.8.6 Dec 2, 2015
1.8.5 Nov 7, 2015
1.8.4 Jun 26, 2015
1.8.2 Jun 24, 2015
1.8.1 Jun 16, 2015
1.8 Jun 3, 2015
1.7.2 May 13, 2015
1.7.1 May 7, 2015
1.7 Apr 23, 2015
1.6.2 Feb 6, 2015
1.6.1 Feb 5, 2015
1.6 Jan 17, 2015
1.5 Dec 20, 2014
1.4 Nov 21, 2014
1.3 Nov 16, 2014
1.2 Nov 7, 2014
1.1 Oct 18, 2014
1.0 Oct 14, 2014
1.0rc1 Sep 24, 2014
0.9 Sep 12, 2014
0.8 Aug 30, 2014
0.7 Aug 16, 2014
0.6 Aug 5, 2014
0.5 Jul 30, 2014
0.4 Jul 4, 2014
0.3.1 Jun 20, 2014
0.3 Jun 20, 2014
0.2.1 Jun 15, 2014