Versions Compared

Old Version 2

changes.mady.by.user Tamara Laranga Barreiro

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

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

...

Tip

The table below can be re-ordered, by clicking column headers.

...

Include Page
Codee_V
Codee_V

Checker

Guideline

(customization) FIO44-C. Only use values for fsetpos() that are returned from fgetpos()
PWD002 CON43-C. Do not allow data races in multithreaded code
PWD002 CON07-C. Ensure that compound operations on shared variables are atomic
PWD003 MSC15-C. Do not depend on undefined behavior
PWD004 ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD005 ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD006 EXP33-C. Do not read uninitialized memory
PWD006 ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD006 MSC15-C. Do not depend on undefined behavior
PWD007 CON43-C. Do not allow data races in multithreaded code
PWD008 ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWD008 CON43-C. Do not allow data races in multithreaded code
PWD008 MSC15-C. Do not depend on undefined behavior
PWD010 CON43-C. Do not allow data races in multithreaded code
PWR001 DCL19-C. Minimize the scope of variables and functions
PWR002 DCL19-C. Minimize the scope of variables and functions
PWR014 ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
PWR028 EXP08-C. Ensure pointer arithmetic is used correctly
PWR030 EXP08-C. Ensure pointer arithmetic is used correctly
PWR037 FLP34-C. Ensure that floating-point conversions are within range of the new type
PWR079 EXP33-C. Do not read uninitialized memory
PWR079 MSC15-C. Do not depend on undefined behavior
PWR080 EXP33-C. Do not read uninitialized memory
PWR080 MSC15-C. Do not depend on undefined behavior
RMK016 FLP01-C. Take care in rearranging floating-point expressions

Checker

Guideline