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

Types #25

Closed kuhar closed 5 years ago

kuhar commented 6 years ago

Initial type tracking for SeaDsa

kuhar commented 6 years ago

Sure, I can split it more. How about this: 1) fixes to extract/insertvalue 2) fixes to the testing infrastructure 3) WIP branch with types ?

caballa commented 6 years ago

That would be great. 1 and 2 should go directly master.

agurfinkel commented 6 years ago

should this be merged?

kuhar commented 6 years ago

I'm not sure about merging it -- so far it only collects types (which should be (almost) entirely done), but doesn't affect logic. Perhaps it would be better to check how much it actually performs when the logic part is in place.