Skip debug functions in the call graph

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

Closed adrianherrera closed 2 years ago

adrianherrera commented 2 years ago

(*m_complete_cg)[&F]; fails for debug intrinsics (e.g., llvm.dbg.declare).

Per this LLVM code, these functions are skipped and so don't appear in the call graph. Sea-dsa must do the same.

caballa commented 2 years ago

Thanks @adrianherrera !