research
∙
06/14/2023
A statistical approach for finding property-access errors
We study the problem of finding incorrect property accesses in JavaScrip...
share
research
∙
02/13/2023
Adaptive Test Generation Using a Large Language Model
Unit tests play a key role in ensuring the correctness of software. Howe...
research
∙
01/25/2023
Beware of the Unexpected: Bimodal Taint Analysis
Static analysis is a powerful tool for detecting security vulnerabilitie...
research
∙
02/28/2022
Practical Automated Detection of Malicious npm Packages
The npm registry is one of the pillars of the JavaScript and TypeScript ...
research
∙
11/18/2021
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
Static analysis has established itself as a weapon of choice for detecti...
research
∙
07/29/2021