Search Results for author:
Found 1 papers, 0 papers with code
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
In this work, we present a machine learning pipeline that induces a security analyzer for programs by example.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
