issues
search
seahorn
/
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Other
157
stars
29
forks
source link
feat(shadowmem): change alloca to memdef
#112
Closed
priyasiddharth
closed
3 years ago
priyasiddharth
commented
3 years ago
fixing up commit history by merging related changes.
fixing up commit history by merging related changes.