Jinq framework for performing symbolic execution analysis on Java code
Version0.5compared with
Version Details
| 0.4 | 0.5 | |
|---|---|---|
| Release date | Jul 03, 2014 | Jul 30, 2014 |
| Licenses | BSD 2-clause | BSD 2-clause |
| Vulnerabilities | None | None |
| 0.4 | 0.5 | |
|---|---|---|
| Release date | Jul 03, 2014 | Jul 30, 2014 |
| Licenses | BSD 2-clause | BSD 2-clause |
| Vulnerabilities | None | None |