Simon Friis Vindum
|
128053e214
|
C++: Add basic modeling of functions that don't throw
|
2024-08-26 09:37:44 +02:00 |
|
Geoffrey White
|
b4fa23d731
|
C++: Address false positive results in template instantiations.
|
2024-07-22 16:34:39 +01:00 |
|
Geoffrey White
|
8262330e4d
|
C++: Extend the placement new test cases for cpp/incorrect-allocation-error-handling.
|
2024-07-22 12:38:19 +01:00 |
|
Geoffrey White
|
4de43e1bfa
|
C++: Add the examples to the test.
|
2024-07-04 17:11:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
8d594dbf08
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-570/test.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-08-11 16:18:18 +02:00 |
|
Mathias Vorreiter Pedersen
|
c2b1da0010
|
C++: Add FP testcase with an 'new' that has a 'std::nothrow&' parameter, but not a 'noexcept' specifier. This case was previously not reported because of the 'noexcept' specifier, and apparently the 'std::nothrow' case was broken all along.
|
2021-08-11 15:38:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
9504592909
|
C++: Promote cpp/incorrect-allocation-error-handling out of experimental.
|
2021-05-20 09:47:45 +02:00 |
|