184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks#!/usr/bin/env python
284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks"""
484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna ZaksScript to Summarize statistics in the scan-build output.
584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna ZaksStatistics are enabled by passing '-internal-stats' option to scan-build
784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks(or '-analyzer-stats' to the analyzer).
884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks"""
1084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
1184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaksimport string
1284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaksfrom operator import itemgetter
1384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaksimport sys
1484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
1584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaksif __name__ == '__main__':
1684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    if len(sys.argv) < 2:
1784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        print >> sys.stderr, 'Usage: ', sys.argv[0],\
1884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks                             'scan_build_output_file'
1984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        sys.exit(-1)
2084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
2184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    f = open(sys.argv[1], 'r')
2284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    Time = 0.0
2384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    TotalTime = 0.0
2484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    MaxTime = 0.0
2584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    Warnings = 0
2684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    Count = 0
2784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    FunctionsAnalyzed = 0
2884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    ReachableBlocks = 0
2984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    ReachedMaxSteps = 0
3084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    NumSteps = 0
31210f5a28227c90d739298e3e6729e827858fe397Anna Zaks    NumInlinedCallSites = 0
32210f5a28227c90d739298e3e6729e827858fe397Anna Zaks    NumBifurcatedCallSites = 0
3384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    MaxCFGSize = 0
3484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    Mode = 1
3584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    for line in f:
3684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        if ("Miscellaneous Ungrouped Timers" in line) :
3784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          Mode = 1
3884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        if (("Analyzer Total Time" in line) and (Mode == 1)) :
3984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
4084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          Time = Time + float(s[6])
4184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          Count = Count + 1
4284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          if (float(s[6]) > MaxTime) :
4384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks            MaxTime = float(s[6])
44210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if ((("warning generated." in line) or ("warnings generated" in line)) and Mode == 1) :
4584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
4684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          Warnings = Warnings + int(s[0])
47210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if (("The # of functions analysed (as top level)" in line) and (Mode == 1)) :
4884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
4984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          FunctionsAnalyzed = FunctionsAnalyzed + int(s[0])
5084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        if (("The % of reachable basic blocks" in line) and (Mode == 1)) :
5184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
5284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          ReachableBlocks = ReachableBlocks + int(s[0])
53210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if (("The # of times we reached the max number of steps" in line) and (Mode == 1)) :
5484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
5584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          ReachedMaxSteps = ReachedMaxSteps + int(s[0])
5684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        if (("The maximum number of basic blocks in a function" in line) and (Mode == 1)) :
5784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
5884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          if (MaxCFGSize < int(s[0])) :
5984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks            MaxCFGSize = int(s[0])
60210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if (("The # of steps executed" in line) and (Mode == 1)) :
6184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
6284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          NumSteps = NumSteps + int(s[0])
63210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if (("The # of times we inlined a call" in line) and (Mode == 1)) :
64210f5a28227c90d739298e3e6729e827858fe397Anna Zaks          s = line.split()
65210f5a28227c90d739298e3e6729e827858fe397Anna Zaks          NumInlinedCallSites = NumInlinedCallSites + int(s[0])
66210f5a28227c90d739298e3e6729e827858fe397Anna Zaks        if (("The # of times we split the path due to imprecise dynamic dispatch info" in line) and (Mode == 1)) :
67210f5a28227c90d739298e3e6729e827858fe397Anna Zaks          s = line.split()
68210f5a28227c90d739298e3e6729e827858fe397Anna Zaks          NumBifurcatedCallSites = NumBifurcatedCallSites + int(s[0])
6984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks        if ((")  Total" in line) and (Mode == 1)) :
7084c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          s = line.split()
7184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks          TotalTime = TotalTime + float(s[6])
7284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks
7384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "TU Count %d" % (Count)
7484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Time %f" % (Time)
7584c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Warnings %d" % (Warnings)
7684c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Functions Analyzed %d" % (FunctionsAnalyzed)
7784c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Reachable Blocks %d" % (ReachableBlocks)
7884c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Reached Max Steps %d" % (ReachedMaxSteps)
7984c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Number of Steps %d" % (NumSteps)
80210f5a28227c90d739298e3e6729e827858fe397Anna Zaks    print "Number of Inlined calls %d (bifurcated %d)" % (NumInlinedCallSites, NumBifurcatedCallSites)
8184c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "MaxTime %f" % (MaxTime)
8284c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "TotalTime %f" % (TotalTime)
8384c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks    print "Max CFG Size %d" % (MaxCFGSize)
8484c1f4b1edddf74f8080cfc470796c2c498b5d43Anna Zaks