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: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 02 Control flow: if(1) and...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 03 Control flow: if(5==5) ...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 04 Control flow: if(STATIC...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 05 Control flow: if(static...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 06 Control flow: if(STATIC...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 07 Control flow: if(static...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 08 Control flow: if(static...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 09 Control flow: if(GLOBAL...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 10 Control flow: if(global...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 11 Control flow: if(global...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 12 Control flow: if(global...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 13 Control flow: if(GLOBAL...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 14 Control flow: if(global...
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 15 Control flow: switch(6)
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 16 Control flow: while(1)
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 17 Control flow: for loops
-
CWE: 396 Catch Generic Exception Sinks: exception_and_domain_error GoodSink: Catch specific exceptions BadSink : Catch exception, which will get any exception, before catching domain_error, which is more specific and therefore will never catch anything Flow Variant: 18 Control flow: goto stat...
-
Declare that the function throws ..., which is valid in Visual Studio, but not gcc. In this test case, we dont actually throw an exception to differentiate it from other test cases.
-
Declare that the function throws exception rather than a specific exception. In this test case, we dont actually throw an exception to differentiate it from other test cases.
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 01 Baseline
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 02 Control flow: if(1) ...
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 03 Control flow: if(5==...
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 04 Control flow: if(STA...
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 05 Control flow: if(sta...
-
CWE: 397 Declaration of Throws for Generic Exception. In this functional variant, we actually throw a generic exception. Sinks: throw_exception GoodSink: Throw a specific exception (range_error) BadSink : Throw std::exception class, which is very generic Flow Variant: 06 Control flow: if(STA...