Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

CON00- J

medium

probable

medium

P8

L2

Automated Detection

...

The following table summarizes the examples flagged as violations by SureLogic tools:

Noncompliant Code Example

FlashLight

Message

JSure

Annotation

Message

non-static lock object for static data

Yes

Instance fields with empty locksets

Yes

@RegionLock("ControlledStop is this protects Instance")

Reports three issues: Lock "<this>:ControlledStop" not held when accessing (this.done), done = false and (this.done)

The unprotected field can be observed through its GUI.

...