Contribute Media
A thank you to everyone who makes this possible: Read More

Let's Build a Symbolic Analyser And Automatically Find Bugs


Learn the theory and practice of symbolic analysis, a method of fake-running your code that lets you discover bugs and verify functionality without actually executing code, using Z3 and Python!

Sun Aug 4 11:50:00 2019 at C3.6


Improve this page