Defect Type: Pointer related defects Defect Sub-type: Dereferencing a NULL pointer The test case contains coincidental weaknesses along with intended ones as follows for file null_pointer.c: * line(s): 105 CWE-822 * line(s): 231,282,300,318 CWE-561 * line(s): 238 CWE-824 * line(s): 340,341 CWE-476

Defect Type: Misc defects Defect Sub-type: Non void function does not return value Description: Defect Free Code to identify false positives in conditions like having return value

Defect Type: Misc defects Defect Sub-type: Non void function does not return value

Defect Type: Resource management defects Defect Sub-type: Memory leakage Description: Defect Free Code to identify false positives in memory leak conditions The test case contains coincidental weaknesses along with intended ones as follows for file memory_leak.c: * line(s): 46,53,55,75,99,101,359...

Defect Type: Resource management defects Defect Sub-type: Memory leakage The test case contains coincidental weaknesses along with intended ones as follows for file memory_leak.c: * line(s): 23 CWE-835 * line(s): 23 CWE-190 * line(s): 25 CWE-789 * line(s): 46,52,73,96,249,311,349,354,424,449,455,...

Defect Type: Resource management defects Defect Sub-type: Memory allocation failure Description: Defect Free Code to identify false positives while memory_allocation_failure - Memory could not be allocated / insufficient memory Created on: Oct 14, 2013 Author: hemalatha The test case contains co...

Defect Type: Resource management defects Defect Sub-type: Memory allocation failure Description: memory_allocation_failure - Memory could not be allocated / insufficient memory Created on: Oct 14, 2013 Author: hemalatha The test case contains coincidental weaknesses along with intended ones as f...

Defect Type: Concurrency defects Defect Sub-type: Locked but never unlock Description: Defect Free Code to identify false positives while there has been a lock of a resource and never unlocked scenario The test case contains coincidental weaknesses along with intended ones as follows for file loc...

Defect Type: Concurrency defects Defect Sub-type: Locked but never unlock The test case contains coincidental weaknesses along with intended ones as follows for file lock_never_unlock.c: * line(s): 151,208,227,305,324,367,392,445,469,521,545 CWE-843

Defect Type: Concurrency defects Defect Sub-type: Live lock Description: Defect Free Code to identify false positives in live lock - concurrency conditions

Defect Type: Concurrency defects Defect Sub-type: Live lock The test case contains coincidental weaknesses along with intended ones as follows for file livelock.c: * line(s): 31,49 CWE-190

Defect Type: Dynamic memory defects Defect Sub-type: Assign small buffer for structure Description: Defect Free Code to identify false positives in lesser static memory allocation

Defect Type: Dynamic memory defects Defect Sub-type: Assign small buffer for structure

Defect Type: Resource management defects Defect Sub-type: Invalid memory access to already freed area Description: Defect Free Code to identify false positives during invalid memory access The test case contains coincidental weaknesses along with intended ones as follows for file invalid_memory_a...

Defect Type: Resource management defects Defect Sub-type: Invalid memory access to already freed area The test case contains coincidental weaknesses along with intended ones as follows for file invalid_memory_access.c: * line(s): 33,37,60,65,72 CWE-561 * line(s): 45,67,84,133,181,188,201,205,206,...

Defect Type: Misc defects Defect Sub-type: Bad extern type for global variable Description: Defect Free Code to identify false positives during invalid extern declaration The test case contains coincidental weaknesses along with intended ones as follows for file invalid_extern.c: * line(s): 61 CW...

Defect Type: Misc defects Defect Sub-type: Bad extern type for global variable

Defect Type: Misc defects Defect Sub-type: Useless assignment Description: Defect Free Code to identify false positives during useless assignment

Defect Type: Misc defects Defect Sub-type: Useless assignment

Defect Type: Inappropriate code Defect Sub-type: Improper termination of block Description: Defect Free Code to identify false positives during improper termination of block

Defect Type: Inappropriate code Defect Sub-type: Improper termination of block

Defect Type: Inappropriate code Defect Sub-type: Return value of function never checked Description: Defect Free Code to identify false positives of return value not checked scenarios The test case contains coincidental weaknesses along with intended ones as follows for file function_return_value...

Defect Type: Inappropriate code Defect Sub-type: Return value of function never checked The test case contains coincidental weaknesses along with intended ones as follows for file function_return_value_unchecked.c: * line(s): 71,90,122,128,134,214,279,284,289,316,397 CWE-561 * line(s): 163,422 CW...

Defect Type: Pointer related defects Defect Sub-type: Bad cast of a function pointer Description: Defect Free Code to identify false positives in bad cast of function pointer The test case contains coincidental weaknesses along with intended ones as follows for file func_pointer.c: * line(s): 133...

Defect Type: Pointer related defects Defect Sub-type: Bad cast of a function pointer The test case contains coincidental weaknesses along with intended ones as follows for file func_pointer.c: * line(s): 101,103,151,157,177,179,180,182,210,216,229,240,241,262,338,352,395,397,438,443,560,561,601 C...