Program analysis

2024-09-06 NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities
2024-03-16 Integrating Static and Data-Driven Resource Analyses for Programs
2023-06-06 The Quantum Physicist's Method of Resource Analysis