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