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 36176 - 36200 of 61387 in total
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 04 Control flow: if(STATIC_CONST_TRUE) and if(STATIC_CONST_FALSE)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 05 Control flow: if(staticTrue) and if(staticFalse)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 06 Control flow: if(STATIC_CONST_FIVE==5) and if(STATIC_CONST_FIVE!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 07 Control flow: if(staticFive==5) and if(staticFive!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 08 Control flow: if(staticReturnsTrue()) and if(staticReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 09 Control flow: if(GLOBAL_CONST_TRUE) and if(GLOBAL_CONST_FALSE)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 10 Control flow: if(globalTrue) and if(globalFalse)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 11 Control flow: if(globalReturnsTrue()) and if(globalReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 12 Control flow: if(globalReturnsTrueOrFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 13 Control flow: if(GLOBAL_CONST_FIVE==5) and if(GLOBAL_CONST_FIVE!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 14 Control flow: if(globalFive==5) and if(globalFive!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 15 Control flow: switch(6)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 16 Control flow: while(1)
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 17 Control flow: for loops
-
CWE: 476 NULL Pointer Dereference Sinks: null_check_after_deref GoodSink: Do not check for NULL after the pointer has been dereferenced BadSink : Check for NULL after a pointer has already been dereferenced Flow Variant: 18 Control flow: goto statements
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 22 Control flow: Flow controlled by value of a global variable. Sink functions are in a separate file...
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 51 Data flow: data passed as an argument from one function to another in different source files
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 52 Data flow: data passed as an argument from one function to another to another in three different s...
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 53 Data flow: data passed as an argument from one function through two others to a fourth; all four f...
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 54 Data flow: data passed as an argument from one function through three others to a fifth; all five ...
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 63 Data flow: pointer to data passed from one function to another in different source files
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 64 Data flow: void pointer to data passed from one function to another in different source files
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 65 Data/control flow: data passed as an argument from one function to a function in a different sourc...
-
CWE: 476 NULL Pointer Dereference BadSource: Set data to NULL GoodSource: Initialize data Sinks: GoodSink: Check for NULL before attempting to print data BadSink : Print data Flow Variant: 66 Data flow: data passed in an array from one function to another in different source files