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