static analysis talk at great british node conf 2013