Package | Description |
---|---|
edu.umd.cs.findbugs.ba.deref | |
edu.umd.cs.findbugs.ba.heap | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.npe2 |
This package is a rewrite of the null-pointer analysis to use
sets of value numbers rather than frames.
|
edu.umd.cs.findbugs.ba.vna |
Modifier and Type | Class and Description |
---|---|
class |
UnconditionalValueDerefDataflow
Dataflow to find value numbers unconditionally dereferenced.
|
Modifier and Type | Class and Description |
---|---|
class |
LoadDataflow |
class |
StoreDataflow |
Modifier and Type | Class and Description |
---|---|
class |
IsNullValueDataflow |
Modifier and Type | Class and Description |
---|---|
class |
DefinitelyNullSetDataflow |
Modifier and Type | Class and Description |
---|---|
class |
ValueNumberDataflow |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.