Juliet C/C++ 1.3 Test suite #112
DownloadDescription
A collection of test cases in the C/C++ language. It contains examples organized under 118 different CWEs. Version 1.3 adds test cases for increment and decrement and fixes some dozen systematic problems in 1.2 cases.
All documents related to the Juliet Test Suite can be found at the documents page.
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.
Pursuant to 17 USC 105, Juliet Test Suite for C/C++ version 1.3 is not subject to copyright protection in the United States. To the extent NIST may claim Foreign Rights in Juliet Test Suite for C/C++ version 1.3, the Test Suite is being made available to you under the CC0 1.0 Public Domain License.
Documentation
-
CWE: 366 Race Condition Within a Thread Sinks: int_byref GoodSink: Acquire a lock before attempting to increment a local integer by passing it as a reference to another function BadSink : Do not acquire a lock before attempting to increment a local integer by passing it as a reference to anoth...
-
CWE: 366 Race Condition Within a Thread Sinks: int_byref GoodSink: Acquire a lock before attempting to increment a local integer by passing it as a reference to another function BadSink : Do not acquire a lock before attempting to increment a local integer by passing it as a reference to anoth...
-
CWE: 366 Race Condition Within a Thread Sinks: int_byref GoodSink: Acquire a lock before attempting to increment a local integer by passing it as a reference to another function BadSink : Do not acquire a lock before attempting to increment a local integer by passing it as a reference to anoth...
-
CWE: 366 Race Condition Within a Thread Sinks: int_byref GoodSink: Acquire a lock before attempting to increment a local integer by passing it as a reference to another function BadSink : Do not acquire a lock before attempting to increment a local integer by passing it as a reference to anoth...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 01 Baseline
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 02 Control flow: if(1) and if(0)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 04 Control flow: if(STATIC_CONST_TRUE) and if(STATIC_CONST_...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 05 Control flow: if(staticTrue) and if(staticFalse)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 06 Control flow: if(STATIC_CONST_FIVE==5) and if(STATIC_CON...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 07 Control flow: if(staticFive==5) and if(staticFive!=5)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 08 Control flow: if(staticReturnsTrue()) and if(staticRetur...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 09 Control flow: if(GLOBAL_CONST_TRUE) and if(GLOBAL_CONST_...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 10 Control flow: if(globalTrue) and if(globalFalse)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 11 Control flow: if(globalReturnsTrue()) and if(globalRetur...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 12 Control flow: if(globalReturnsTrueOrFalse())
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 13 Control flow: if(GLOBAL_CONST_FIVE==5) and if(GLOBAL_CON...
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 14 Control flow: if(globalFive==5) and if(globalFive!=5)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 15 Control flow: switch(6)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 16 Control flow: while(1)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 17 Control flow: for loops
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: access GoodSink: Open the file without checking the status information BadSink : Get status information on file using access(), open, write to, and close the file Flow Variant: 18 Control flow: goto statements
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: stat GoodSink: Open the file without checking the status information BadSink : Get status information on file using stat(), open, write to, and close the file Flow Variant: 01 Baseline
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: stat GoodSink: Open the file without checking the status information BadSink : Get status information on file using stat(), open, write to, and close the file Flow Variant: 02 Control flow: if(1) and if(0)
-
CWE: 367 Time-of-Check Time-Of-Use Race Condition Sinks: stat GoodSink: Open the file without checking the status information BadSink : Get status information on file using stat(), open, write to, and close the file Flow Variant: 03 Control flow: if(5==5) and if(5!=5)