the parent comment has a link that includes code and a blog post. clang-analyzer...

		awruef on April 7, 2015 \| parent \| context \| favorite \| on: How Heartbleed could've been found the parent comment has a link that includes code and a blog post. clang-analyzer uses "symbolic execution". the work I've been doing in extension also uses symbolic execution.