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: 43 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: 33 Data flow: use of a C++ reference to data within the same function

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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 d...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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 d...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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 call...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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 i...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) 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 t...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 43 Data flow: data flows using a C++ reference from one function t...

CWE: 617 Reachable Assertion BadSource: listen_socket Read data using a listen socket (server side) GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 33 Data flow: use of a C++ reference to data within the same function

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 declaring th...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 declaring th...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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: fscanf Read data from the console using fscanf() 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 a re...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 different ...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 different...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 differe...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() 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 another i...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 43 Data flow: data flows using a C++ reference from one function to another i...

CWE: 617 Reachable Assertion BadSource: fscanf Read data from the console using fscanf() GoodSource: Number greater than ASSERT_VALUE Sinks: BadSink : Assert if n is less than or equal to ASSERT_VALUE Flow Variant: 33 Data flow: use of a C++ reference to data within the same function

CWE: 617 Reachable Assertion BadSource: fixed Fixed value less than the assert value 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 declaring the cl...

CWE: 617 Reachable Assertion BadSource: fixed Fixed value less than the assert value 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 declaring the cl...

CWE: 617 Reachable Assertion BadSource: fixed Fixed value less than the assert value 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