Map
Index
Random
Help
th

Quote: bug detectors for thread correctness, performance issue, security violation, usage bug, dropped exception, null pointer, open stream, unchecked return, unconditional wait

topics > all references > references g-h > QuoteRef: hoveD12_2004 , p. 94



Topic:
safety, liveness, and system properties
Topic:
preventing accidental errors
Topic:
consistency testing
Topic:
debugging by usage rules
Group:
security

Quotation Skeleton

Broadly speaking, each detector [discussed in this paper] falls into one … issue @ Security and vulnerability to malicious untrusted … Cloneable Not Implemented Correctly … Double Checked Locking … Dropped Exception … Bad Covariant Definition of Equals … Inconsistent Synchronization … Null Pointer Dereference … Open Stream … Return Value Should be Checked … Unconditional Wait … [p. 97] Figure 5: Example of null pointer dereference … [from JavaStructureDiffViewer.java, Eclipse 3.0] … if (c==null && c.isDisposed()) return;   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: safety, liveness, and system properties (22 items)
Topic: preventing accidental errors (36 items)
Topic: consistency testing (60 items)
Topic: debugging by usage rules (40 items)
Group: security   (23 topics, 802 quotes)

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