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

refactor(printer): move class definition to header file #136

Closed caballa closed 2 years ago

caballa commented 2 years ago

We have also decoupled the class that prints memory graphs to dot format from the LLVM pass so that seadsa clients can use the printer without using the LLVM pass manager.