Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: updated automated detection

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

CON03- J

low

likely

high

P3

L3

Automated Detection

Currently, SureLogic Flashlight does not detect all violations of this guideline. It does not detectThe following table summarizes the examples flagged as violations by SureLogic tools:

Noncompliant Code Example

FlashLight

Message

JSure

Message

background thread

No

No data available about field accesses

No

N/A

Suggestion: The annotation @Starts("nothing") should also apply to static and instance initializers.

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...