With a background in security, cryptography, and protocol correctness I’m now working (with muse.dev) to make static analysis more main stream and accessible to developers at-large. Remember how the Haskell community realized “Monad” should be “warm fuzzy thing” or “the easy path”? Same idea here, “static analysis” should be “code check” - it might be hard to be the inventor but not the user.