Skip to content
#

sats

Here are 33 public repositories matching this topic...

0% fp Contract-oriented Python SAST with near-zero false positives. Zero dependencies, stdlib only. Learns guard contracts from your code, enforces consistency. Four-state analysis (guarded/unguarded/unknown/safe), auto-fix, cross-file taint, web dashboard, knowledge base. Principle Zero: never assert more than can be proven.

  • Updated Jul 2, 2026
  • Python

Improve this page

Add a description, image, and links to the sats topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more