1. 4
  1. 2

    Semmle are a spin out from Oxford University - a genuine formal methods success story I believe (although they probably wouldn’t want that term anywhere near their marketing :) )

    1. 1

      There’s a bug on the page where long lines in the code block escape the code block on mobile (ones that include whitespace don’t seem to be affected). Interesting read none the less.