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 35076 - 35100 of 45309 in total
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 606 Unchecked Input For Loop Condition BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Input a number less than MAX_LOOP Sinks: GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP BadSink : Use data as the for l...
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 01 Baseline
-
CWE: 617 Reachable Assertion Sinks: simple 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: simple 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: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 04 Control flow: if(static_const_t) and if(static_const_f)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 05 Control flow: if(static_t) and if(static_f)
-
CWE: 617 Reachable Assertion Sinks: simple 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: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 07 Control flow: if(static_five==5) and if(static_five!=5)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 08 Control flow: if(static_returns_t()) and if(static_returns_f())
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 09 Control flow: if(global_const_t) and if(global_const_f)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 10 Control flow: if(global_t) and if(global_f)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 11 Control flow: if(global_returns_t()) and if(global_returns_f())
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 12 Control flow: if(global_returns_t_or_f())
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 13 Control flow: if(global_const_five==5) and if(global_const_five!=5)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 14 Control flow: if(global_five==5) and if(global_five!=5)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 15 Control flow: switch(6)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 16 Control flow: while(1) and while(0)
-
CWE: 617 Reachable Assertion Sinks: simple GoodSink: assert(true), which will never trigger BadSink : assert(false), which will always trigger Flow Variant: 17 Control flow: for loops