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

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

Test Case IDCandidate199330
Bad / Good / MixedGoodGood test case
AuthorToyota ITC
Bad pair: 199329  
Test suite: 104  
Added byCharles Oliveira
Type of test caseSource Code
Input string
Expected Output
Instructionsgcc -Wall -I ../../../shared/104 zero_division.c zero_division_main.c -lm -lpthread
Submission date2016-07-22
DescriptionDefect Type: Numerical defects
Defect Sub-type: Division by zero
Description: Defect Free Code to identify false positives to identify the division by zero functionality

The test case contains coincidental weaknesses along with intended ones as follows for file zero_division.c:
* line(s): 236,240,250 CWE-476

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

File Contains:
CWE-369: Divide By Zero on line(s): 22, 33, 45, 56, 75, 90, 115, 126, 138, 153, 166, 178, 195, 206, 225, 252
CWE-476: NULL Pointer Dereference on line(s): 236, 240, 250