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 41051 - 41075 of 61387 in total
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 61 Data flow: data returned from one function to another in different sou...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 62 Data flow: data flows using a C++ reference from one function to anoth...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 63 Data flow: pointer to data passed from one function to another in diff...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 64 Data flow: void pointer to data passed 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 Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 65 Data/control flow: data passed as an argument from one function to a f...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 66 Data flow: data passed in an array from one function to another in dif...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 67 Data flow: data passed in a struct from one function to another in dif...
-
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 or equal to ASSERT_VALUE Flow Variant: 68 Data flow: data passed as a global variable from one function to anothe...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 72 Data flow: data passed in a vector from one function to another in dif...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 73 Data flow: data passed in a list from one function to another in diffe...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 74 Data flow: data passed in a map from one function to another in differ...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 81 Data flow: data passed in a parameter to an virtual method called via ...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 82 Data flow: data passed in a parameter to an virtual method called via a pointer
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 83 Data flow: data passed to class constructor and destructor by declarin...
-
CWE: 617 Reachable Assertion BadSource: rand Set data to result of rand(), which may be zero GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 84 Data flow: data passed to class constructor and destructor by declarin...
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 01 Baseline
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 02 Control flow: if(1) and if(0)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 04 Control flow: if(STATIC_CONST_TRUE) and if(STATIC_CONST_FALSE)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 05 Control flow: if(staticTrue) and if(staticFalse)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 06 Control flow: if(STATIC_CONST_FIVE==5) and if(STATIC_CONST_FIVE!=5)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 07 Control flow: if(staticFive==5) and if(staticFive!=5)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 08 Control flow: if(staticReturnsTrue()) and if(staticReturnsFalse())
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 09 Control flow: if(GLOBAL_CONST_TRUE) and if(GLOBAL_CONST_FALSE)
-
CWE: 617 Reachable Assertion Sinks: GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 10 Control flow: if(globalTrue) and if(globalFalse)