| Nodest - feedback-driven static analysis of Node.js applications. | 1 | 0.35 | 2019 |
| Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation | 0 | 0.34 | 2019 |
| An efficient tunable selective points-to analysis for large codebases | 0 | 0.34 | 2017 |
