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

Sea-Dsa specs compilation does not work on a mac #90

Closed agurfinkel closed 2 years ago

agurfinkel commented 4 years ago

Mac uses AppleClang and requires special switches to compile C code. The current recipe in tools/CMakeLists.txt embeds Linux specific compilation options and fails on other architectures.

CMake already knows what are the right switches. It should be used to set the compilation command

AVassilev98 commented 4 years ago

https://github.com/seahorn/sea-dsa/pull/91