Release v0.92.0

Added

• The JSON output of semgrep scan is now fully specified using
  ATD (https://atd.readthedocs.io/) and jsonschema (https://json-schema.org/).
  See the semgrep-interfaces submodule under interfaces/
  (e.g., interfaces/semgrep-interfaces/Semgrep_output_v0.atd for the ATD spec)
• The JSON output of semgrep scan now contains a "version": field with the
  version of Semgrep used to generate the match results.
• taint-mode: Previously, to declare a function parameteter as a taint source,
  we had to rely on a trick that declared that any occurence of the parameter
  was a taint source. If the parameter was overwriten with safe data, this was
  not recognized by the taint engine. Now, focus-metavariable can be used to
  precisely specify that a function parameter is a source of taint, and the taint
  engine will handle this as expected.
• taint-mode: Add basic support for object destructuring in languages such as
  Javascript. For example, given let {x} = E, Semgrep will now infer that x
  is tainted if E is tainted.

Fixed

• OCaml: Parenthesis in autofixed code will no longer leave dangling closing-paren.
  Thanks to Elliott Cable for his contribution (#5087)
• When running the Semgrep Docker image, we now mark all directories as safe for use by Git,
  which prevents a crash when the current user does not own the source code directory.
• C++: Ellipsis are now allowed in for loop header (#5164)
• Java: typed metavariables now leverages the type of foreach variables (#5181)
• r2c-internal-project-depends-on:
  • Lockfiles that fail to parse will not crash semgrep
  • cargo.lock and Pipfile.lock dependencies that don't specify hashes now parse
  • go.sum files with a trailing newline now parse