#!/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).

"""

import string
from operator import itemgetter
import sys

if __name__ == '__main__':
    if len(sys.argv) < 2:
        print >> sys.stderr, 'Usage: ', sys.argv[0],\
                             'scan_build_output_file'
        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
    Mode = 1
    for line in f:
        if ("Miscellaneous Ungrouped Timers" in line) :
          Mode = 1
        if (("Analyzer Total Time" in line) and (Mode == 1)) :
          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)) and Mode == 1) :
          s = line.split()
          Warnings = Warnings + int(s[0])
        if (("The # of functions analysed (as top level)" in line) and (Mode == 1)) :
          s = line.split()
          FunctionsAnalyzed = FunctionsAnalyzed + int(s[0])
        if (("The % of reachable basic blocks" in line) and (Mode == 1)) :
          s = line.split()
          ReachableBlocks = ReachableBlocks + int(s[0])
        if (("The # of times we reached the max number of steps" in line) and (Mode == 1)) :
          s = line.split()
          ReachedMaxSteps = ReachedMaxSteps + int(s[0])
        if (("The maximum number of basic blocks in a function" in line) and (Mode == 1)) :
          s = line.split()
          if (MaxCFGSize < int(s[0])) :
            MaxCFGSize = int(s[0])
        if (("The # of steps executed" in line) and (Mode == 1)) :
          s = line.split()
          NumSteps = NumSteps + int(s[0])
        if (("The # of times we inlined a call" in line) and (Mode == 1)) :
          s = line.split()
          NumInlinedCallSites = NumInlinedCallSites + int(s[0])
        if (("The # of times we split the path due to imprecise dynamic dispatch info" in line) and (Mode == 1)) :
          s = line.split()
          NumBifurcatedCallSites = NumBifurcatedCallSites + int(s[0])
        if ((")  Total" in line) and (Mode == 1)) :
          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)