secure-software-engineering / phasar

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

Extended calculated statistics #546

Closed janniclas closed 1 year ago

janniclas commented 1 year ago

This PR adds statistics for the following instruction counts:

Further some dead code was removed.

janniclas commented 1 year ago

@fabianbs96 I included the changes we discussed in regards of exposing the complete GeneralStatistics from the IRDB class, as well as overloading the << operator in the statistics class to ease printing and cleanup the code in phasar-llvm.cpp