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 gates edu.uiowa.cs.clc:kind2-java-api (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem maven edu.uiowa.cs.clc:[email protected]