| 
|
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 >
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.
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)