BTW: For a tool that actually legitimately does this, look at Semgrep. Their playground example literally assigns 1 to a variable x, after which searching for "2" finds the expression "1 + x" in the code: https://semgrep.dev/playground/s/5rKgj