SPARK: Static Program Analysis Reasoning and Retrieving Knowledge

3 Nov 2017Wasuwee SodsongBernhard ScholzSanjay Chawla

Program analysis is a technique to reason about programs without executing them, and it has various applications in compilers, integrated development environments, and security. In this work, we present a machine learning pipeline that induces a security analyzer for programs by example... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.