SAMATE Logo NIST Logo The SAMATE Project Department of Homeland Security
Downloads:  Download this Test Case #199254

Back to the previous page... Back to the previous page

Test Case IDCandidate199254
Bad / Good / MixedGoodGood test case
AuthorToyota ITC
Bad pair: 199253  
Test suite: 104  
Added byCharles Oliveira
Type of test caseSource Code
Input string
Expected Output
Instructionsgcc -Wall -I ../../../shared/104 double_free.c double_free_main.c -lm -lpthread
Submission date2016-07-22
DescriptionDefect Type: Resource management defects
Defect Sub-type: Double free
Description: Defect Free Code to identify false positives in double free - resource management defects

The test case contains coincidental weaknesses along with intended ones as follows for file double_free.c:
* line(s): 36,55,73 CWE-476
* line(s): 38,101,117 CWE-561

There are no comments
Have any comments on this test case? Please, .

File Contains:
CWE-415: Double Free on line(s): 21, 40, 59, 76, 89, 103, 119, 129, 171, 186, 190, 222
CWE-561: Dead Code on line(s): 38, 101, 117
CWE-476: NULL Pointer Dereference on line(s): 36, 55, 73