Map
Index
Random
Help
th

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 > QuoteRef: hoveD12_2004 , p. 93



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.


Related Topics up

Topic: debugging by usage rules (40 items)
Topic: automated tests of specifications and designs (12 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.