Hacker News new | ask | show | jobs
by slaymaker1907 1718 days ago
You could check out Semmle. It is trying to solve a similar problem, but with code analysis.