Dev10 - Githubissues

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

Closed AVassilev98 closed 4 years ago

AVassilev98 commented 4 years ago

Base spec language meets the needs for all the stub examples I've done so far