4 ms·Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines6 points by petethomas 8y ago