Linzhang Wang

Learning a Static Bug Finder from Data

2019 · arXiv (Cornell University)

We present an alternative approach to creating static bug finders. Instead of relying on human expertise, we utilize deep neural networks to train static analyzers directly from data. In particular, we frame the problem of …