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

Do not ignore a return value if its type contains a pointer. #55

Closed caballa closed 4 years ago

caballa commented 4 years ago

Improve to commit dde25dd907318024f4b325e04753eccda472179f.

caballa commented 4 years ago

This should fix also the problem with musllvm found by Emily