I’ve been working on Bina, a deterministic, rule-based static analysis tool for Python focused on logical correctness and control-flow issues.
Bina analyzes Python ASTs using explicit, explainable rules and is designed to complement linters, type checkers, and tests — not replace them.
To validate the approach, I ran it against the full source of FastAPI and Requests. By default, it reports zero or near-zero findings on these codebases, which is intentional and documented.
It’s available both as a GitHub Action and a local CLI (pip-installable). Screenshots and examples are in the README.
I’d really appreciate feedback, skepticism, and edge cases — especially from people who’ve been burned by noisy static analysis in CI.