Automatically generating features for learning program analysis heuristics for C-like languages

We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been developed, which mine existi...