Juliet C/C++ 1.0 Test suite #25
DownloadDescription
A collection of test cases in the C/C++ language. It contains examples for 116 different CWEs. This software is not subject to copyright protection and is in the public domain. NIST assumes no responsibility whatsoever for its use by other parties, and makes no guaranties, expressed or implied, about its quality, reliability, or any other characteristic. All documents related to the Juliet Test Suite can be found at the documents page.
Documentation
Displaying test cases 35276 - 35300 of 45309 in total
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 45 Data flow: data passed as a static global variable from one function to ano...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 51 Data flow: data passed as an argument from one function to another in differ...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 52 Data flow: data passed as an argument from one function to another to anothe...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 53 Data flow: data passed as an argument from one function through two others t...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 54 Data flow: data passed as an argument from one function through three others...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 61 Data flow: data returned from one function to another in different source f...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 63 Data flow: pointer to data passed from one function to another in different...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 64 Data flow: void pointer to data passed from one function to another in diff...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 65 Data/control flow: data passed as an argument from one function to a functi...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 66 Data flow: data passed in an array from one function to another in differen...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 67 Data flow: data passed in a struct from one function to another in differen...
-
CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 68 Data flow: data passed as a global variable from one function to another in ...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 01 Baseline
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 02 Control flow: if(1) and if(0)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 04 Control flow: if(static_const_t) and if(static_const_f)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 05 Control flow: if(static_t) and if(static_f)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 06 Control flow: if(static_const_five==5) and if(static_const_five!=5)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 07 Control flow: if(static_five==5) and if(static_five!=5)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 08 Control flow: if(static_returns_t()) and if(static_returns_f())
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 09 Control flow: if(global_const_t) and if(global_const_f)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 10 Control flow: if(global_t) and if(global_f)
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 11 Control flow: if(global_returns_t()) and if(global_returns_f())
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 12 Control flow: if(global_returns_t_or_f())
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sink: BadSink : Assert if n is less than ASSERT_VALUE Flow Variant: 13 Control flow: if(global_const_five==5) and if(global_const_five!=5)