public class InfoflowPerformanceData extends Object
| 构造器和说明 |
|---|
InfoflowPerformanceData() |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
add(InfoflowPerformanceData performanceData)
Adds the data of the given performance object to this one.
|
void |
addEdgePropagationCount(long toAdd)
Adds the given number of edges to the total number of edges propagated
|
void |
addTaintPropagationSeconds(int toAdd)
Adds the given number of seconds to the time spent on taint propagation
|
boolean |
equals(Object obj) |
int |
getCallgraphConstructionSeconds()
Gets the number of seconds that the data flow analysis spent on callgraph
constructions
|
long |
getEdgePropagationCount()
Gets the number of edges that have been propagated in the solver
|
int |
getMaxMemoryConsumption()
Gets the peak amount of memory that the data flow analysis has been using
during its analysis
|
int |
getPathReconstructionSeconds()
Gets the number of seconds spent on path reconstruction, i.e., finding the
sources to which the sinks are connected in the taint graph
|
int |
getSinkCount()
Gets the number of sinks that were identified in the given input program
|
int |
getSourceCount()
Gets the number of sources that were identified in the given input program
|
int |
getTaintPropagationSeconds()
Gets the number of seconds spent on the taint propagation
|
int |
getTotalRuntimeSeconds()
Gets the total number of seconds that the data flow analysis has spent to
create the flow results
|
int |
hashCode() |
boolean |
isEmpty()
Gets whether this data object is empty, i.e., does not contain any data
|
void |
setCallgraphConstructionSeconds(int callgraphSeconds)
Sets the number of seconds that the data flow analysis spent on callgraph
constructions
|
void |
setMaxMemoryConsumption(int maxMemoryConsumption)
Sets the peak amount of memory that the data flow analysis has been using
during its analysis
|
void |
setPathReconstructionSeconds(int pathReconstructionSeconds)
Sets the number of seconds spent on path reconstruction, i.e., finding the
sources to which the sinks are connected in the taint graph
|
void |
setSinkCount(int sinkCount)
Sets the number of sinks that were identified in the given input program
|
void |
setSourceCount(int sourceCount)
Sets the number of sources that were identified in the given input program
|
void |
setTaintPropagationSeconds(int taintPropagationSeconds)
Sets the number of seconds spent on the taint propagation
|
void |
setTotalRuntimeSeconds(int totalRuntimeSeconds)
Sets the total number of seconds that the data flow analysis has spent to
create the flow results
|
String |
toString() |
void |
updateMaxMemoryConsumption(int usedMemory)
Updates the maximum memory consumption with the given consumption value.
|
public int getCallgraphConstructionSeconds()
public void setCallgraphConstructionSeconds(int callgraphSeconds)
callgraphSeconds - The number of seconds that the data flow analysis
spent on callgraph constructions, or -1 if no such
data has been recordedpublic int getTaintPropagationSeconds()
public void setTaintPropagationSeconds(int taintPropagationSeconds)
taintPropagationSeconds - The number of seconds spent on the taint
propagationpublic int getPathReconstructionSeconds()
public void setPathReconstructionSeconds(int pathReconstructionSeconds)
pathReconstructionSeconds - The number of seconds spent on path
reconstruction.public int getTotalRuntimeSeconds()
public void setTotalRuntimeSeconds(int totalRuntimeSeconds)
totalRuntimeSeconds - The total number of seconds that the data flow
analysis has spent to create the flow results, or
-1 if no such data has been recordedpublic int getMaxMemoryConsumption()
public void setMaxMemoryConsumption(int maxMemoryConsumption)
maxMemoryConsumption - The peak amount of memory that the data flow
analysis has been using during its analysis, or
-1 if no such data has been recordedpublic boolean isEmpty()
public void add(InfoflowPerformanceData performanceData)
performanceData - The performance data to add to this objectpublic void updateMaxMemoryConsumption(int usedMemory)
usedMemory - The maximum memory consumption of a computation step in
megabytespublic void addTaintPropagationSeconds(int toAdd)
toaAdd - The time to add in secondspublic void addEdgePropagationCount(long toAdd)
toaAdd - The number of edges to addpublic void setSourceCount(int sourceCount)
sourceCount - The number of sources that were identified in the given
input programpublic int getSourceCount()
public void setSinkCount(int sinkCount)
sourceCount - The number of sinks that were identified in the given
input programpublic int getSinkCount()
public long getEdgePropagationCount()
Copyright © 2022 Fraunhofer SIT. All rights reserved.