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: 81 Data flow: data passed in a parameter to an virtual method called via a reference

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: 74 Data flow: data passed in a map from one function to another in different sour...

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: 73 Data flow: data passed in a list from one function to another in different sou...

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: 72 Data flow: data passed in a vector from one function to another in different s...

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: 62 Data flow: data flows using a C++ reference from one function to another in di...

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: 43 Data flow: data flows using a C++ reference from one function to another in th...

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

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

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

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

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

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

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

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

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

CWE: 617 Reachable Assertion BadSource: fgets Read data from the console using fgets() 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: connect_socket Read data using a connect socket (client 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...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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 ca...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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 ...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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 anoth...

CWE: 617 Reachable Assertion BadSource: connect_socket Read data using a connect socket (client 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...