Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scanssemgrep.dev7 pointsbkettle12 days ago