Package crypto.reporting

Class ReportStatistics

  • public class ReportStatistics
extends Object
    This class is used by the class Reporter to store all statistics, which are relevant for the analysis. Currently the following statistics are supported: - softwareID: Identifier of the analyzed software. This value can be set by using the --identifier flag. - seedObjectCount: Number of seed objects. - analysisTime: The time in milliseconds for the actual analysis (e.g. without the initialization of the analysis and the construction of the callgraph) - callgraphTime: The time in milliseconds to construct the callgraph. - callgraphReachableMethods: The number of reachable methods in the callgraph. - callgraphReachableMethodsWithActiveBodies: The number of reachable methods with active bodies in the callgraph. - dataflowVisitedMethods: The number of visited methods in the dataflows.

    • Constructor Detail

      • ReportStatistics

        public ReportStatistics()
        Creates an instance to store all relevant statistics for an analysis. The softwareID is initialized with an empty string and all numeric variables are initialized with -1. The corresponding set methods should be used to update the statistic values.

    • Method Detail

      • setSoftwareID

        public void setSoftwareID​(String softwareID)

      • getSoftwareID

        public String getSoftwareID()

      • setSeedObjectCount

        public void setSeedObjectCount​(int seedObjectCount)

      • getSeedObjectCount

        public int getSeedObjectCount()

      • setAnalysisTime

        public void setAnalysisTime​(long analysisTime)

      • getAnalysisTime

        public long getAnalysisTime()

      • setCallgraphTime

        public void setCallgraphTime​(long callgraphTime)

      • getCallgraphTime

        public long getCallgraphTime()

      • setCallgraphReachableMethods

        public void setCallgraphReachableMethods​(int callgraphReachableMethods)

      • getCallgraphReachableMethods

        public int getCallgraphReachableMethods()

      • setCallgraphReachableMethodsWithActiveBodies

        public void setCallgraphReachableMethodsWithActiveBodies​(int callgraphReachableMethodsWithActiveBodies)

      • getCallgraphReachableMethodsWithActiveBodies

        public int getCallgraphReachableMethodsWithActiveBodies()

      • setDataflowVisitedMethods

        public void setDataflowVisitedMethods​(int dataflowVisitedMethods)

      • getDataflowVisitedMethods

        public int getDataflowVisitedMethods()