tool_name			test_case	id		uid		Comments
---------------------------------------------------------------------
C/C++ LDRA Testbed	dovecot		63		37129	LDRA Rule 480 S should read "memcpy params access same variable".  This rule specifies that an object shall not be copied to another when the two objects have some overlap in memory as this behaviour is undefined
C/C++ LDRA Testbed	dovecot		201		37267	This is a standard coding rule; a procedure is used to assign a value to the wanted_id pointer, but there is no check to see whether the returned value is NULL, or not.
C/C++ LDRA Testbed	dovecot		447		37513	False positive.  Issue corrected in version 8.4.1 of the LDRA tool suite.
C/C++ LDRA Testbed	dovecot		571		37637	False positive.  Issue corrected in version 8.4.1 of the LDRA tool suite.
C/C++ LDRA Testbed	dovecot		2126	39192	False positive.
C/C++ LDRA Testbed	dovecot		2323	39389	False positive.
C/C++ LDRA Testbed	dovecot		2454	39520	False positive.
C/C++ LDRA Testbed	dovecot		2460	39526	False positive.  The tool does not recognize the use of the '*' to indicate field width or precision with the printf() routine.
C/C++ LDRA Testbed	dovecot		5064	42130	False positive.
C/C++ LDRA Testbed	dovecot		5138	42204	False positive.  Due to the way that the built-in memory manager works, the Dovecot application code habitually relies on the i_new() routine returning a valid pointer, so there is seldom a check for NULL on it, resulting in many of these types of false positive.
C/C++ LDRA Testbed	dovecot		5736	42802	False positive.  The tool does not recognize the i_new() routine as a heap memory allocation routine.
C/C++ LDRA Testbed	dovecot		5761	42827	False positive.  Mismatch warning due to different pointer types; void * for context, and struct mail_index_strmap_view for view.
C/C++ LDRA Testbed	dovecot		5882	42948	False positive.
C/C++ LDRA Testbed	dovecot		6927	43993	False positive.
C/C++ LDRA Testbed	dovecot		6937	44003	False positive.
C/C++ LDRA Testbed	dovecot		6940	44006	False positive.
C/C++ LDRA Testbed	dovecot		7848	44914	False positive.
C/C++ LDRA Testbed	dovecot		7880	44946	False positive.
C/C++ LDRA Testbed	dovecot		8413	45479	False positive.
C/C++ LDRA Testbed	dovecot		9393	46459	False positive.
C/C++ LDRA Testbed	dovecot		9399	46465	False positive.
C/C++ LDRA Testbed	dovecot		10015	47081	False positive.
C/C++ LDRA Testbed	dovecot		10379	47445	False positive.
C/C++ LDRA Testbed	dovecot		10689	47755	False positive.
C/C++ LDRA Testbed	dovecot		13181	50247	False positive.
C/C++ LDRA Testbed	dovecot		15143	52209	False positive.
C/C++ LDRA Testbed	dovecot		15165	52231	False positive.
C/C++ LDRA Testbed	dovecot		15269	52335	LDRA Rule 480 S should read "memcpy params access same variable".  This rule specifies that an object shall not be copied to another when the two objects have some overlap in memory as this behaviour is undefined
C/C++ LDRA Testbed	dovecot		15345	52411	False positive.
C/C++ LDRA Testbed	dovecot		15405	52471	False positive.
