| 
|
Quote: FindBugs identifies 50 bug patterns using the inheritance hierarchy, linear code scan, control flow graph, and dataflow analysis; implemented with BCEL; most tests are short
topics >
all references >
references g-h >
Topic:
debugging by usage rules
Topic:
automated tests of specifications and designs
Quotation Skeleton
Currently, FindBugs contains detectors for about 50 bug … [ref], an open source bytecode analysis and instrumentation library. … the detectors can be divided into several rough … @ Linear code scan. … using the visited instructions to drive a state … heuristics [e.g., branch targets] can be effective in approximating control … methods. @ Dataflow. The most complicated detectors use … pointer dereference detector. … The most complex detector has about 1000 lines … than 100 lines of source code. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (40 items)
Topic: automated tests of specifications and designs (12 items)