edu.umd.cs.findbugs
Class GraphIS2FalsePositives

java.lang.Object
  extended by edu.umd.cs.findbugs.QueryBugAnnotations
      extended by 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.


Field Summary
private static int FALSE
           
private static int HARMLESS
           
private static int MISSED
           
private static int NON_SERIOUS_AVOIDED
           
private static int NUM_STATS
           
private static int SERIOUS
           
private  int[] stats
           
private  int syncPercent
           
private  int total
           
 
Constructor Summary
GraphIS2FalsePositives()
           
 
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 edu.umd.cs.findbugs.QueryBugAnnotations
addKeyword, scan, scan
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

GraphIS2FalsePositives

public GraphIS2FalsePositives()
Method Detail

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 keyword
filename - name of the file containing the bug instance
Throws:
java.lang.Exception