secure-software-engineering / phasar

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

IDE Statistics #697

Closed fabianbs96 closed 4 months ago

fabianbs96 commented 5 months ago

This PR adds some statistics to IDE, especially edge functions; they should be useful for debugging.

In addition, this PR restructures the AnalysisController slightly, to reduce dependencies and improve incremental builds.

fabianbs96 commented 5 months ago

Haven't pushed the fixes yet, sry. Will push them on monday.