Automatically generating features for learning program analysis heuristics for C-like languages
Apron: A Library of Numerical Abstract Domains for Static Analysis