4.0.0 org.jinq jinq 1.8.32 analysis jar Jinq Symbolic Execution Analysis Framework Jinq framework for performing symbolic execution analysis on Java code src org.apache.maven.plugins maven-jar-plugin org.jinq.analysis org.jinq jinq-asm-rebased 1.8.32 org.jinq api 1.8.32 junit junit 4.13.1 test