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

Add `isIncomplete` and `isUnknown` methods to the `Node` class #65

Closed shaobo-he closed 4 years ago

shaobo-he commented 4 years ago

These two methods test if the node type is incomplete or unknown, respectively. We use them in SMACK so we'd like to add them. Please let me know if it's Ok to submit a PR to the llvm-8.0 branch rather than the master branch.

agurfinkel commented 4 years ago

I will merge it once the CI succeeds. llvm-8.0 is good. We will backport to later versions as needed.