Yoann Padioleau
Yoann Padioleau
This is related to https://github.com/returntocorp/semgrep/issues/4839
The open Xxx is handled now.
The rest not.
maybe we do the metavariable-regexp filtering too late. We should maybe distribute it to all the patterns that use the metavariable with an intermediate And.
maybe this is 101 logic ... we have A /\ not B /\ not C /\ not D /\ metavariable-regexp and we should do (a /\ metavariable-regexp) /\ (not B...
Right now how things are implemented is that each pattern is tried independently, but maybe this is wrong regarding the existential.
We need to talk with a logician :)
Combining boolean logic and metavariables is tricky.
origin of the conversation here: https://github.com/returntocorp/semgrep/issues/2685
another related pb mentioned by gitlab: https://semgrep.dev/s/squaresurf:react-dangerouslysetinnerhtml link to slack: https://r2c-community.slack.com/archives/C01KY32FDAT/p1615507626047700