semgrep — skill by trailofbits