| Package | Description |
|---|---|
| edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
|
| Constructor and Description |
|---|
ObligationDataflow(CFG cfg,
ObligationAnalysis analysis) |
SpotBugs is licensed under the LGPL.