Maven · repo1.maven.org
edu.uiowa.cs.clc:kind2-java-api
Java Process Spawn: Runtime.exec / ProcessBuilder — process spawning.
Why PkgRadar flagged 0.7.0
| Severity | Signal | Evidence |
|---|---|---|
| medium | Java Process Spawn | Runtime.exec / ProcessBuilder — process spawning. · edu/uiowa/cs/clc/kind2/api/Kind2Api.java |
Scanned versions
| Version | Verdict | Score | Scanned (UTC) |
|---|---|---|---|
0.7.0 | Review | 10 | 2026-06-18 |
Block this in CI
pkgradar gate --ecosystem maven edu.uiowa.cs.clc:[email protected]