Geoffrey White
|
1ff6c4c090
|
C++: Restore change and see effect on test.
|
2024-09-03 11:55:06 +01:00 |
|
Geoffrey White
|
5bd58f044e
|
C++: Add a direct test of getOverlap and a test case for it.
|
2024-09-03 11:52:20 +01:00 |
|
am0o0
|
e85ca79d77
|
add tests for brotli
|
2024-09-03 12:28:16 +02:00 |
|
Simon Friis Vindum
|
78068a488f
|
C++: Make realloc a data-flow function
|
2024-09-03 11:25:18 +02:00 |
|
am0o0
|
8c1c537150
|
finilize tests for zlib
|
2024-09-03 09:12:54 +02:00 |
|
Jeroen Ketema
|
ae7bf6c97d
|
C++: Update expected test results after #17347
|
2024-09-02 21:17:55 +02:00 |
|
Simon Friis Vindum
|
ee6c255a7c
|
Merge pull request #17328 from paldepind/tweak-unbounded-barrier
C++: Tweak the `bounded` barrier
|
2024-09-02 14:30:44 +02:00 |
|
Simon Friis Vindum
|
660869e834
|
C++: Add test for cpp/uninitialized-local and va_copy
|
2024-09-02 13:25:02 +02:00 |
|
Jeroen Ketema
|
4945943732
|
C++: Support C11 _Generic expressions
|
2024-08-30 14:24:03 +02:00 |
|
Jeroen Ketema
|
30335ab81e
|
C++: Add C11 _Generic IR tests
|
2024-08-30 10:50:49 +02:00 |
|
Simon Friis Vindum
|
e7f059ae55
|
C++: Tweak the bounded barrier
|
2024-08-29 10:32:31 +02:00 |
|
Simon Friis Vindum
|
edeefe5bb6
|
Merge pull request #17298 from paldepind/model-functions-that-dont-throw
C++: Add basic modeling of functions that don't throw
|
2024-08-28 19:50:31 +02:00 |
|
Jeroen Ketema
|
2b571cf450
|
C++: Address review comments
|
2024-08-28 15:11:42 +02:00 |
|
Jeroen Ketema
|
9e861ce717
|
C++: Add support for more clang builtins
|
2024-08-28 13:08:42 +02:00 |
|
Tom Hvitved
|
7f8e6bf574
|
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
Data flow: Compute local big step relation as stage output
|
2024-08-28 12:28:16 +02:00 |
|
Asger F
|
16c2cf24b3
|
C++: use inline annotation for missing flow
|
2024-08-26 11:53:31 +02:00 |
|
Simon Friis Vindum
|
128053e214
|
C++: Add basic modeling of functions that don't throw
|
2024-08-26 09:37:44 +02:00 |
|
Tom Hvitved
|
c92c96fa78
|
Data flow: Compute local big step relation per stage
|
2024-08-26 09:15:27 +02:00 |
|
Asger F
|
d27b28d371
|
C++: update test output
This reveals that some tests were passing for the wrong reasons.
See https://github.com/github/codeql/pull/17275
|
2024-08-23 11:29:24 +02:00 |
|
Anders Schack-Mulligen
|
525b6f30e3
|
C++/C#/Java: Accept test changes.
|
2024-08-21 10:51:28 +02:00 |
|
Simon Friis Vindum
|
e4ce003e87
|
C++: Fix tests and add an actual true negative
|
2024-08-21 09:44:45 +02:00 |
|
Simon Friis Vindum
|
1959e1929e
|
C++: Reuse bounded predicate in TaintedAllocationSize query
|
2024-08-19 08:23:32 +02:00 |
|
Simon Friis Vindum
|
5e8ac5ef0d
|
C++: Update documentation for cpp/uncontrolled-allocation-size to clarify its scope
|
2024-08-13 16:27:04 +02:00 |
|
Geoffrey White
|
bf66a787ab
|
C++: Accept test changes caused by new CLI version.
|
2024-08-06 16:45:48 +01:00 |
|
Jeroen Ketema
|
28702046aa
|
C++: Rename function to match what is actually being tested
|
2024-08-05 10:32:54 +01:00 |
|
Jeroen Ketema
|
bfae86e9e8
|
C++: Update test after extractor fix
|
2024-08-05 10:32:54 +01:00 |
|
Jeroen Ketema
|
59db802fa4
|
C++ Add test showing incorrect value categories for _Generics
|
2024-08-05 10:32:54 +01:00 |
|
Jeroen Ketema
|
9744c06933
|
C++: Expose explicit and explicit(bool) function specifiers
|
2024-08-02 15:39:18 +02:00 |
|
Jeroen Ketema
|
972d9ca2b8
|
C++: Add more deduction guide tests
|
2024-08-02 14:12:56 +02:00 |
|
Jeroen Ketema
|
4dcf67940c
|
C++: Add getTemplateClass to DeductionGuide
|
2024-08-01 20:54:53 +02:00 |
|
Geoffrey White
|
20672acb74
|
Merge pull request #17110 from geoffw0/memfree
C++: Improve cpp/memory-may-not-be-freed
|
2024-07-31 15:59:42 +01:00 |
|
Geoffrey White
|
4aea4c0323
|
C++: Simple fix.
|
2024-07-31 14:46:25 +01:00 |
|
Geoffrey White
|
c04428dedc
|
C++: Add test cases for the memory freed queries.
|
2024-07-31 14:03:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
fe575df325
|
C++: Mark constexpr if as unevalauted.
|
2024-07-31 13:09:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
4e62dc81d2
|
C++: Add constexpr if testcase.
|
2024-07-31 13:08:49 +01:00 |
|
Jeroen Ketema
|
f986484813
|
Merge pull request #17098 from jketema/deduction
C++: Update tests after extractor changes
|
2024-07-30 21:08:40 +02:00 |
|
am0o0
|
f97b1039cd
|
update test files, add one more additional flow step for inflate function, fix gzopen additional flow step thanks to @jketema
|
2024-07-30 17:49:34 +02:00 |
|
Mathias Vorreiter Pedersen
|
ef0370b64e
|
C++: Respond to review comments.
|
2024-07-30 13:19:02 +01:00 |
|
Jeroen Ketema
|
5455a365d1
|
C++: Update tests after extractor changes
|
2024-07-30 13:52:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
afc0d0a078
|
C++: Accept test changes.
|
2024-07-30 11:54:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f932e515a7
|
C++: Accept test changes.
|
2024-07-30 11:11:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
8edf19adc0
|
C++: Add MaD model for 'std::format'.
|
2024-07-30 10:15:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
ff788c93c0
|
C++: Add a model for 'std::format' and a failing test.
|
2024-07-30 10:13:39 +01:00 |
|
Alexandre Boulgakov
|
2396c3c798
|
C++: Update MaD tests with correct template parameter counting in the presence of packs.
|
2024-07-29 14:59:49 +01:00 |
|
Am
|
6f8eec2bf9
|
Merge branch 'github:main' into amammad-cpp-bombs
|
2024-07-28 18:49:15 +03:30 |
|
Jeroen Ketema
|
e1329dff72
|
Merge pull request #16947 from github/calumgrant/attributes
C++: Update attributes test output
|
2024-07-26 21:05:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
c0263bef5a
|
Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4
C++: Speed up alias analysis
|
2024-07-26 10:02:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
6b68cf6bdc
|
Merge pull request #17076 from MathiasVP/add-missing-write-side-effect-to-remquo
C++: Add missing write side effect to `std::remquo`
|
2024-07-26 09:56:57 +01:00 |
|
Jeroen Ketema
|
a944922c97
|
C++: Add more explicit(bool) tests
|
2024-07-26 09:47:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
b640bdccdc
|
C++: Accept test changes.
|
2024-07-25 17:13:10 +01:00 |
|