A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Primary LanguageC++OtherNOASSERTION