A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool