pwaller/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: 0Language: C++
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.