Polyglot Language Understanding

• semgrep / coccinelle (OCaml)
  • Semgrep: a static analysis journey (2021) - How an academic project for the Linux kernel evolved into a multilingual security tool
  • INRIA -> Facebook -> r2c
  • facebook/pfff repo (OCaml)
• Comby (OCaml), Strange Loop Talk, CMU paper
  • parser parser combinators
  • https://comby.dev/en/projects
• uchex (Stanford paper, 2016)
  • micro-grammars, parser combinators
  • "belief-style checkers" (not the only supported technique)
  • Haskell Parsec, original implementation was Python
• sylver - not open source?
  • Sylver is a language-agnostic tool for source code exploration and analysis.
  • Using the SYLQ query language REPL, you can perform syntax-aware search on your codebase to find style issues and potential bugs.
• github/semantic -- appears inactive
  • Haskell

Other Surveys

• Alternative Shells
• Alternative Regex Syntax