You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Exhaustive test suites (i.e. nearly 100% test coverage) make a lot of hard problems easy.
type checking: like I'm doing with ASDL. You can have a very strict type system, but have it be dynamically checked. It's trivial to implement and helps program correctness a lot.
buffer overflow detection and security testing: ASAN