Automated code reviews via mutation testing - semantic code coverage.
mbj
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Aurore54F