National Institute of Standards and Technology
Package illustrating a test case

Test case 53810

Deprecated test case

This version contains mistakes, making it deprecated. Deprecated test cases should not be used for new work. However, They remain in the SARD as a reference to redo previous work.
Type
source code
State
mixed
Status
deprecated
Language
Java
Submission Date

Description

CWE: 369 Divide by zero
BadSource: getParameterServlet Read data from a querystring using getParameter
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: modulo
GoodSink: Check for zero before modulo
BadSink : Modulo by a value that may be zero
Flow Variant: 14 Control flow: if(IO.static_five==5) and if(IO.static_five!=5)

Flaws

Test Suites

Documentation

Have any comments on this test case? Please, send us an email.