Description
CWE: 191 Integer Underflow
BadSource: fgets Read data from the console using fgets()
GoodSource: Set data to a small, non-zero number (negative two)
Sinks: sub
GoodSink: Ensure there will not be an underflow before subtracting 1 from data
BadSink : Subtract 1 from data, which can cause an Underflow
Flow Variant: 52 Data flow: data passed as an argument from one function to another to another in three different source files
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.