Jayden Wong
Jayden Wong
Home
Projects
Resume
Reading List
Static Analysis
Scaling Static Analysis at Facebook
Tricorder: Building a Program Analysis Ecosystem
A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World
What Developers Want and Need from Program Analysis: An Empirical Study
Use-after-free Bugs
Double Free Bugs
Programming Z3
Z3 Internals
A Decade of Software Model Checking with SLAM
Software Model Checking: 20 Years and Beyond
Code-level model checking in the software development workflow
Fuzzing
Whitebox Fuzzing for Security Testing
Guided in-process fuzzing of Chrome components
How the Atheris Python Fuzzer Works
An Empirical Study of the Reliability of UNIX Utilities
Miller, Fredriksen, and So win the 2022 Jean-Claude Laprie Award
Misc.
Shannon Entropy