LDRA

Generated Content

This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:
5.0

C++ checkers	Rule
134 S	EXP30-CPP. Do not depend on order of evaluation between sequence points
1 Q	EXP30-CPP. Do not depend on order of evaluation between sequence points
35 D	EXP30-CPP. Do not depend on order of evaluation between sequence points
42 D	DCL30-CPP. Declare objects with appropriate storage durations
51 D	MEM30-CPP. Do not access freed memory
71 S	DCL30-CPP. Declare objects with appropriate storage durations
75 D	FIO31-CPP. Do not simultaneously open the same file multiple times
84 D	FIO39-CPP. Do not alternately input and output from a stream without an intervening flush or positioning call
86 D	FIO30-CPP. Exclude user input from format strings
9 S	EXP30-CPP. Do not depend on order of evaluation between sequence points
	:rand() for generating pseudorandom numbers

>

Space shortcuts