search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
930 stars 140 forks source link

Redesign ProjectIRDB #511

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 2 years ago

The redesign of the ProjectIRDB, as discussed

fabianbs96 commented 2 years ago

After merging, this branch can be deleted

fabianbs96 commented 2 years ago

To reduce merge conflicts, we should first merge #516. However, comments are also welcome before^^