| #!/usr/bin/env python |
| |
| """ |
| Script to Summarize statistics in the scan-build output. |
| |
| Statistics are enabled by passing '-internal-stats' option to scan-build |
| (or '-analyzer-stats' to the analyzer). |
| """ |
| from __future__ import absolute_import, division, print_function |
| |
| import sys |
| |
| if __name__ == '__main__': |
| if len(sys.argv) < 2: |
| print('Usage: ', sys.argv[0],\ |
| 'scan_build_output_file', file=sys.stderr) |
| sys.exit(-1) |
| |
| f = open(sys.argv[1], 'r') |
| Time = 0.0 |
| TotalTime = 0.0 |
| MaxTime = 0.0 |
| Warnings = 0 |
| Count = 0 |
| FunctionsAnalyzed = 0 |
| ReachableBlocks = 0 |
| ReachedMaxSteps = 0 |
| NumSteps = 0 |
| NumInlinedCallSites = 0 |
| NumBifurcatedCallSites = 0 |
| MaxCFGSize = 0 |
| for line in f: |
| if ("Analyzer Total Time" in line): |
| s = line.split() |
| Time = Time + float(s[6]) |
| Count = Count + 1 |
| if (float(s[6]) > MaxTime): |
| MaxTime = float(s[6]) |
| if ("warning generated." in line) or ("warnings generated" in line): |
| s = line.split() |
| Warnings = Warnings + int(s[0]) |
| if "The # of functions analysed (as top level)" in line: |
| s = line.split() |
| FunctionsAnalyzed = FunctionsAnalyzed + int(s[0]) |
| if "The % of reachable basic blocks" in line: |
| s = line.split() |
| ReachableBlocks = ReachableBlocks + int(s[0]) |
| if "The # of times we reached the max number of steps" in line: |
| s = line.split() |
| ReachedMaxSteps = ReachedMaxSteps + int(s[0]) |
| if "The maximum number of basic blocks in a function" in line: |
| s = line.split() |
| if MaxCFGSize < int(s[0]): |
| MaxCFGSize = int(s[0]) |
| if "The # of steps executed" in line: |
| s = line.split() |
| NumSteps = NumSteps + int(s[0]) |
| if "The # of times we inlined a call" in line: |
| s = line.split() |
| NumInlinedCallSites = NumInlinedCallSites + int(s[0]) |
| if "The # of times we split the path due \ |
| to imprecise dynamic dispatch info" in line: |
| s = line.split() |
| NumBifurcatedCallSites = NumBifurcatedCallSites + int(s[0]) |
| if ") Total" in line: |
| s = line.split() |
| TotalTime = TotalTime + float(s[6]) |
| |
| print("TU Count %d" % (Count)) |
| print("Time %f" % (Time)) |
| print("Warnings %d" % (Warnings)) |
| print("Functions Analyzed %d" % (FunctionsAnalyzed)) |
| print("Reachable Blocks %d" % (ReachableBlocks)) |
| print("Reached Max Steps %d" % (ReachedMaxSteps)) |
| print("Number of Steps %d" % (NumSteps)) |
| print("Number of Inlined calls %d (bifurcated %d)" % ( |
| NumInlinedCallSites, NumBifurcatedCallSites)) |
| print("MaxTime %f" % (MaxTime)) |
| print("TotalTime %f" % (TotalTime)) |
| print("Max CFG Size %d" % (MaxCFGSize)) |
