Versions Compared

Key

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

...

Tool
Version
Checker
Description
The Checker Framework

Include Page
The Checker Framework_V
The Checker Framework_V

Linear CheckerControl aliasing and prevent re-use (see Chapter 19)
Coverity7.5

SINGLETON_RACE
UNSAFE_LAZY_INIT
FB.LI_LAZY_INIT_UPDATE_STATIC
FB.LI_LAZY_INIT_STATIC

Implemented
Parasoft Jtest9.5

Include Page
Parasoft_V
Parasoft_V

TRS.ILIMake lazy initializations thread-safe

...