Bane: a library for scalable constraint-based program analysis