Deprecated test suite
Juliet C/C++ 1.2 with extra support Test suite #86
DownloadDescription
This is a collection of test cases in the C/C++ language. It contains examples for 118 different CWEs. NOTE: This package contains only individual test cases. We recommend to download the full test suite at the top of the "Test Suite" page. All documents related to the Juliet Test Suite can be found at the documents page
Displaying test cases 40976 - 41000 of 61387 in total
-
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 or equal to ASSERT_VALUE Flow Variant: 07 Control flow: if(staticFive==5) and if(staticFive!=5)
-
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 or equal to ASSERT_VALUE Flow Variant: 08 Control flow: if(staticReturnsTrue()) and if(staticReturnsFalse())
-
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 or equal to ASSERT_VALUE Flow Variant: 09 Control flow: if(GLOBAL_CONST_TRUE) and if(GLOBAL_CONST_FALSE)
-
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 or equal to ASSERT_VALUE Flow Variant: 10 Control flow: if(globalTrue) and if(globalFalse)
-
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 or equal to ASSERT_VALUE Flow Variant: 11 Control flow: if(globalReturnsTrue()) and if(globalReturnsFalse())
-
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 or equal to ASSERT_VALUE Flow Variant: 12 Control flow: if(globalReturnsTrueOrFalse())
-
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 or equal to ASSERT_VALUE Flow Variant: 13 Control flow: if(GLOBAL_CONST_FIVE==5) and if(GLOBAL_CONST_FIVE!=5)
-
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 or equal to ASSERT_VALUE Flow Variant: 14 Control flow: if(globalFive==5) and if(globalFive!=5)
-
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 or equal to ASSERT_VALUE Flow Variant: 15 Control flow: switch(6)
-
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 or equal to ASSERT_VALUE Flow Variant: 16 Control flow: while(1)
-
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 or equal to ASSERT_VALUE Flow Variant: 17 Control flow: for loops
-
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 or equal to ASSERT_VALUE Flow Variant: 18 Control flow: goto statements
-
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 or equal to ASSERT_VALUE Flow Variant: 21 Control flow: Flow controlled by value of a static global variab...
-
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 or equal to ASSERT_VALUE Flow Variant: 22 Control flow: Flow controlled by value of a global variable. Sin...
-
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 or equal to ASSERT_VALUE Flow Variant: 31 Data flow using a copy of data within the same function
-
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 or equal to ASSERT_VALUE Flow Variant: 32 Data flow using two pointers to the same value within the same 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 or equal to ASSERT_VALUE Flow Variant: 33 Data flow: use of a C++ reference to data within the same function
-
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 or equal to ASSERT_VALUE Flow Variant: 34 Data flow: use of a union containing two methods of accessing 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 or equal to ASSERT_VALUE Flow Variant: 41 Data flow: data passed as an argument from one function to anoth...
-
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 or equal to ASSERT_VALUE Flow Variant: 42 Data flow: data returned from one function to another in the sam...
-
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 or equal to ASSERT_VALUE Flow Variant: 43 Data flow: data flows using a C++ reference from one function t...
-
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 or equal to ASSERT_VALUE Flow Variant: 44 Data/control flow: data passed as an argument from one function...
-
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 or equal to ASSERT_VALUE Flow Variant: 45 Data flow: data passed as a static global variable from one fun...
-
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 or equal to ASSERT_VALUE Flow Variant: 51 Data flow: data passed as an argument from one function to anoth...
-
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 or equal to ASSERT_VALUE Flow Variant: 52 Data flow: data passed as an argument from one function to anoth...