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 constant gep with an inttoptr as pointer operand #72

Closed caballa closed 4 years ago

caballa commented 4 years ago

To solve issue https://github.com/seahorn/sea-dsa/issues/71

caballa commented 4 years ago

Yes, it's only one level. I didn't want to spend too much time on it.

agurfinkel commented 4 years ago

@caballa is this read to be merged?

caballa commented 4 years ago

Yes, I'll rebase and merge