While at it, https://github.com/semgrep/semgrep was around for several years, too.