Juliet Java 1.3 with extra support Test suite #109

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 04...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 05...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 06...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 07...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 08...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 09...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 10...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 11...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 12...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 13...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 14...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 15...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 16...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 17...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 21...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 22...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 31...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 41...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 42...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 45...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 51...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 52...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 53...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 54...

CWE: 400 Resource Exhaustion BadSource: database Read count from a database GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: write GoodSink: Write to a file count number of times, but first validate count BadSink : Write to a file count number of times Flow Variant: 61...