Geoffrey White d2dd19a293 C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.

2021-01-19 16:56:19 +00:00

..

CWE-190/AllocMultiplicationOverflow

C++: Violation message.

2020-12-16 16:13:02 +00:00

CWE-359/semmle/tests

pr fixes

2020-08-10 15:14:12 -07:00

CWE-401/semmle/tests

C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.

2021-01-19 16:56:19 +00:00

semmle/tests

C++: Add another good example.

2020-12-09 16:55:07 +00:00