Jinq framework for performing symbolic execution analysis on Java code
Version1.0compared with
Version Details
| 1.0rc1 | 1.0 | |
|---|---|---|
| Release date | Sep 23, 2014 | Oct 14, 2014 |
| Licenses | BSD 2-clause | BSD 2-clause |
| Vulnerabilities | None | None |
| 1.0rc1 | 1.0 | |
|---|---|---|
| Release date | Sep 23, 2014 | Oct 14, 2014 |
| Licenses | BSD 2-clause | BSD 2-clause |
| Vulnerabilities | None | None |