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

Rename Cell::isNull to Cell::isNodeNull #30

Closed kuhar closed 6 years ago

agurfinkel commented 6 years ago

why?

kuhar commented 6 years ago

Type can also be null, so I think it's better to make it explicit that this checks the node pointer.

agurfinkel commented 6 years ago

What does that mean that type is null?

On Wed, Apr 25, 2018 at 17:45 Jakub Kuderski notifications@github.com wrote:

Type can also be null, so I think it's better to make it explicit that this checks the node pointer.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://github.com/seahorn/sea-dsa/pull/30#issuecomment-384444357, or mute the thread https://github.com/notifications/unsubscribe-auth/AFzN5xPdAoZuAV_-qU8dgCkuJuPF0NeAks5tsO5lgaJpZM4TkMo4 .

-- On the move ...