A video of the talk can be seen here:
or on YouTube here.
The slides are here.
We had a mini-sprint after the talk, and another later on in the main sprints, covering these topics:
- getting the plugin to build on OS X (using MacPorts' build of gcc-4.6.1): this works, but needed some compat patching around some of the differences between glibc and OS X's libc (also case-sensitivity of filenames).
- improving the static analysis engine: currently it takes the simplistic approach of trying to generate all traces of execution through the function in a big tree, which suffers from exponentially explosions. I'm hoping the insides can be reworked to implement an iterative solver that can handle loops more robustly (data flow equations)
- improving the HTML error reports that the analyzer generates. More on this to follow!