Static analysis that shows its work.

DragonBot is a security scanner written in Rust. It follows untrusted data across files, resolves every symbol, and proves each finding with an independent checker. First JavaScript, TypeScript, Python, Rust and Haskell; every other language next.