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

Support for AtomicCmpXchgInst and AtomicRMWInst #64

Closed caballa closed 4 years ago

shaobo-he commented 4 years ago

Hey guys,

Any updates on this PR?

Thanks, Shaobo

agurfinkel commented 4 years ago

@shaobo-he merged into llvm5 branch. will sync with llvm8 next

shaobo-he commented 4 years ago

@shaobo-he merged into llvm5 branch. will sync with llvm8 next

Thank you very much.