Failure to parse a Java multiline string ending in an escaped double quote, i.e. four consecutive double quotes

[begglez]

Describe the bug
Semgrep can't parse a Java multiline string ending in an escaped double quote.

To Reproduce
Try parsing this:
String x = """
hello world
\"""";

Not linking to the semgrep.dev playground because I didn't see a way to permalink a snippet without creating an account.

Expected behavior
Parse the string

What is the priority of the bug to you?

• P0: blocking your adoption of Semgrep or workflow
• P1: important to fix or quite annoying
• P2: regular bug that should get fixed

Environment
Reproducible in semgrep.dev

Use case
Eliminate erroneous alerts from hooks on GH PRs

[ievans]

thanks for the bug report!

ftr, you can create a permalink by clicking the "share" button without login