[Tibbes]

For those interested in the "Static Source Code Analysis" section, "Semil" is a typo for "Semmle" [1]

[1]: https://semmle.com/customers/code-exploration-at-nasa/