Simon Friis Vindum
|
f066f21751
|
C++: Make swap member functions data-flow functions
|
2024-09-04 13:55:19 +02:00 |
|
Jeroen Ketema
|
8fe0d0a045
|
C++: Improve query output
|
2024-09-04 13:22:02 +02:00 |
|
Erik Krogh Kristensen
|
4258119ba3
|
Merge branch 'main' into del-deps-sep-2024
|
2024-09-04 12:43:41 +02:00 |
|
Jeroen Ketema
|
c048401ca7
|
C++: Clean up Brotli test
|
2024-09-04 11:40:32 +02:00 |
|
Jeroen Ketema
|
0f98e292ed
|
C++: Cleanup minizip test
|
2024-09-04 11:19:22 +02:00 |
|
Jeroen Ketema
|
09f6576e6b
|
C++: Simplify libarchive test
|
2024-09-04 11:04:21 +02:00 |
|
Jeroen Ketema
|
078e63524c
|
C++: Remove code that is irrelevant for the zlib test
|
2024-09-04 10:48:25 +02:00 |
|
Jeroen Ketema
|
ad3605c595
|
C++: Minor test clean up
|
2024-09-04 10:26:53 +02:00 |
|
Jeroen Ketema
|
d8a70d8d58
|
C++: Add test annotations
|
2024-09-04 10:23:51 +02:00 |
|
Jeroen Ketema
|
751e7e6bfb
|
C++: Remove useless function bodies from tests
|
2024-09-04 10:03:19 +02:00 |
|
Jeroen Ketema
|
d526f1d081
|
C++: Disentangle confusing test results by declaring only a single main
|
2024-09-04 09:51:03 +02:00 |
|
Jeroen Ketema
|
50d9e77339
|
C++: Move experimental files into the correct locations
|
2024-09-04 09:33:27 +02:00 |
|
Simon Friis Vindum
|
04f4039adc
|
Merge pull request #17354 from paldepind/realloc-data-flow
C++: Make realloc a data-flow function
|
2024-09-04 09:04:12 +02:00 |
|
erik-krogh
|
0fdd06fff5
|
use my script to delete outdated deprecations
|
2024-09-03 20:30:58 +02:00 |
|
Jeroen Ketema
|
8ca52f278a
|
C++: Fix coroutine IR inconsistencies
While here, remove some dead code related to fixed points from the database
scheme.
|
2024-09-03 18:12:36 +02:00 |
|
Jeroen Ketema
|
62766f68fc
|
Merge pull request #17138 from jketema/generic
C++: Support C11 `_Generic` expressions
|
2024-09-03 17:26:50 +02:00 |
|
am0o0
|
81283d59ab
|
remove more unused imports, add tests for zstd, add flow steps for zstd
zstd is not finilized
|
2024-09-03 15:26:38 +02:00 |
|
am0o0
|
6c97096642
|
remove unused imports, add tests for libarchive
|
2024-09-03 14:16:25 +02:00 |
|
Simon Friis Vindum
|
037912fd2d
|
C++: Add data-flow test for realloc
|
2024-09-03 14:02:03 +02:00 |
|
am0o0
|
9531701129
|
delete miniz support because there is no good documents and i don't have enough time as the library is not popular enough. add tests for minizip lib
|
2024-09-03 13:08:00 +02:00 |
|
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 |
|