edu.umd.cs.findbugs
Class GraphIS2FalsePositives
java.lang.Object
edu.umd.cs.findbugs.QueryBugAnnotations
edu.umd.cs.findbugs.GraphIS2FalsePositives
public class GraphIS2FalsePositives
- extends QueryBugAnnotations
Graph IS2 (inconsistent synchronization) false positive rate
as a function of cutoff percent for number of unsynchronized accesses.
In theory, the smaller the number of unsynchronized accesses,
the more likely it is that any particular unsynchronized access
is a bug.
Method Summary |
private void |
emitDataPoint()
|
void |
execute(java.lang.String[] argv)
|
static void |
main(java.lang.String[] argv)
|
protected void |
match(BugInstance bugInstance,
java.lang.String filename)
Called when a bug instance contains a query keyword. |
private void |
setParams(int syncPercent)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SERIOUS
private static final int SERIOUS
- See Also:
- Constant Field Values
HARMLESS
private static final int HARMLESS
- See Also:
- Constant Field Values
FALSE
private static final int FALSE
- See Also:
- Constant Field Values
MISSED
private static final int MISSED
- See Also:
- Constant Field Values
NON_SERIOUS_AVOIDED
private static final int NON_SERIOUS_AVOIDED
- See Also:
- Constant Field Values
NUM_STATS
private static final int NUM_STATS
- See Also:
- Constant Field Values
syncPercent
private int syncPercent
stats
private int[] stats
total
private int total
GraphIS2FalsePositives
public GraphIS2FalsePositives()
main
public static void main(java.lang.String[] argv)
throws java.lang.Exception
- Throws:
java.lang.Exception
execute
public void execute(java.lang.String[] argv)
throws java.lang.Exception
- Throws:
java.lang.Exception
setParams
private void setParams(int syncPercent)
emitDataPoint
private void emitDataPoint()
match
protected void match(BugInstance bugInstance,
java.lang.String filename)
throws java.lang.Exception
- Description copied from class:
QueryBugAnnotations
- Called when a bug instance contains a query keyword.
- Specified by:
match
in class QueryBugAnnotations
- Parameters:
bugInstance
- the bug instance containing the keywordfilename
- name of the file containing the bug instance
- Throws:
java.lang.Exception