Jinq Symbolic Execution Analysis Framework

Jinq framework for performing symbolic execution analysis on Java code

'org.jinq:analysis:1.6.2'

<dependency>
	<groupId>org.jinq</groupId>
	<artifactId>analysis</artifactId>
	<version>1.6.2</version>
</dependency>

<dependency org="org.jinq" name="analysis" rev="1.6.2"/>

"org.jinq", "analysis", "1.6.2"

Dependencies