Class FindUnsatisfiedObligation

java.lang.Object
edu.umd.cs.findbugs.bcel.CFGDetector
edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation
All Implemented Interfaces:
Detector2, Priorities

public class FindUnsatisfiedObligation extends CFGDetector
Find unsatisfied obligations in Java methods. Examples: open streams, open database connections, etc.

See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.

  • Field Details

    • DEBUG

      private static final boolean DEBUG
    • DEBUG_METHOD

      private static final String DEBUG_METHOD
    • DEBUG_FP

      private static final boolean DEBUG_FP
    • COMPUTE_TRANSFERS

      private static final boolean COMPUTE_TRANSFERS
      Compute possible obligation transfers as a way of suppressing false positives due to "wrapper" objects. Not quite ready for prime time.
    • REPORT_PATH

      private static final boolean REPORT_PATH
      Report path information from point of resource creation to CFG exit. This makes the reported warning a lot easier to understand.
    • REPORT_PATH_DEBUG

      private static final boolean REPORT_PATH_DEBUG
    • REPORT_OBLIGATION_SET

      private static final boolean REPORT_OBLIGATION_SET
      Report the final obligation set as part of the BugInstance.
    • bugReporter

      private final BugReporter bugReporter
    • database

      private final ObligationPolicyDatabase database
  • Constructor Details

    • FindUnsatisfiedObligation

      public FindUnsatisfiedObligation(BugReporter bugReporter)
  • Method Details