kernel-check

Here is 1 public repository matching this topic...

Strict checker for dsh: verify code and commands with real checkers - Lean 4 kernel checking, language compilers, and harness-shell hazard rules.

plugin static-analysis formal-verification dsh type-check cordis lean4 deepseek deepseek-harness dsh-plugin cordis-plugin strict-check kernel-check

To associate your repository with the kernel-check topic, visit your repo's landing page and select "manage topics."