Nat Mote
Nat Mote
This sounds nice, but frankly it's unlikely to be an area where we're going to add complexity anytime soon. You might find that our platform meets your rule and finding...
Also reported internally here: https://linear.app/semgrep/issue/SAF-2099/
This looks like correct behavior to me. `pattern-inside` tells Semgrep to look for matches inside the specified pattern, but the resulting findings will not include the code that matches the...
I'm still having trouble understanding exactly what part of the behavior you're observing you find undesirable. What do you mean when you say "line 40 $P can't match?" It certainly...
I see now. Here's a [reduced example](https://semgrep.dev/playground/s/yeREr). The problem is that the contents bound to `$P` are not properly substituted in the error message. The message should be "$y, $z`...
I also personally find this annoying. I often work around it by writing `ModuleName.$X`, but that won't work in your context. OCaml is an experimental language for Semgrep, so we...
Could you provide a playground example with a rule and some test code illustrating the desired behavior?
Interesting! `"..."` matches any string literal, and I haven't seen any example where we allow `'...'` to match character literals in languages that have a distinction. However, it seems like...
I'm taking a look at this.
Yes, once I have a little more time to prepare it