Jeroen Ketema
|
62766f68fc
|
Merge pull request #17138 from jketema/generic
C++: Support C11 `_Generic` expressions
|
2024-09-03 17:26:50 +02:00 |
|
Jeroen Ketema
|
52819432c0
|
C++: Address review comment
|
2024-09-03 17:18:18 +02:00 |
|
Simon Friis Vindum
|
d5948d2d95
|
C++: Add change-note note for realloc as data-flow function
|
2024-09-03 16:15:05 +02:00 |
|
am0o0
|
386e45a11e
|
delete bzip2 as it is not updated for more than three years so it is not in the priority
|
2024-09-03 15:33:14 +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
|
4fc971dbcb
|
remove xz(lzma)
|
2024-09-03 14:48:52 +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 |
|
Henry Mercer
|
3490067316
|
Merge branch 'main' into henrymercer/rc-3.15-mergeback
|
2024-08-29 19:48:01 +01: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 |
|
Simon Friis Vindum
|
d1fecd869b
|
C++: Make StringCchPrintf not extend NonThrowingFunction
|
2024-08-28 15:40:14 +02:00 |
|
Jeroen Ketema
|
2b571cf450
|
C++: Address review comments
|
2024-08-28 15:11:42 +02:00 |
|
Jeroen Ketema
|
026969b6e9
|
C++: Add change note
|
2024-08-28 13:08:44 +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 |
|
Simon Friis Vindum
|
d6049cd98b
|
C++: Add additional implementations of NonThrowingFunction and make minor fixes to docs
|
2024-08-28 10:54:16 +02:00 |
|
Simon Friis Vindum
|
d9dbcdba34
|
C++: Fix imports
|
2024-08-26 12:42:44 +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 |
|
github-actions[bot]
|
0724fd7ce2
|
Post-release preparation for codeql-cli-2.18.3
|
2024-08-21 18:25:54 +00:00 |
|
github-actions[bot]
|
17cd9624fb
|
Release preparation for version 2.18.3
|
2024-08-21 17:13:52 +00: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 |
|
Anders Schack-Mulligen
|
993bfee096
|
Merge pull request #17259 from aschackmull/dataflow/remove-srcsink-grouping
Dataflow: Remove src/sink grouping feature
|
2024-08-20 14:42:33 +02:00 |
|
Anders Schack-Mulligen
|
8470e91c16
|
Legacy Dataflow: Sync.
|
2024-08-20 10:07:57 +02:00 |
|
Anders Schack-Mulligen
|
4afdb0927e
|
Dataflow: Remove src/sink grouping feature.
|
2024-08-20 10:07:36 +02:00 |
|
Simon Friis Vindum
|
1665badc83
|
C++: Add change note for cpp/uncontrolled-allocation-size
|
2024-08-19 08:23:40 +02:00 |
|
Simon Friis Vindum
|
1959e1929e
|
C++: Reuse bounded predicate in TaintedAllocationSize query
|
2024-08-19 08:23:32 +02:00 |
|
Geoffrey White
|
0e766aa99b
|
C++: Remove redundant lines.
|
2024-08-16 15:56:30 +01:00 |
|
Simon Friis Vindum
|
5548304432
|
C++: Grammar improvements to query help text
|
2024-08-16 13:08:34 +02:00 |
|
Geoffrey White
|
7430fde8c6
|
C++: Avoid outputting a cartesian product in AliasedSSA's getOverlap.
|
2024-08-14 10:53:25 +01: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 |
|
Michael Nebel
|
4a5c9f0ec4
|
Merge pull request #17007 from michaelnebel/shared/neutralimplementation
C#/Java/Go: Neutrals are split into separate classes.
|
2024-08-12 13:58:12 +02:00 |
|
github-actions[bot]
|
cc6d87c276
|
Post-release preparation for codeql-cli-2.18.2
|
2024-08-08 12:56:21 +00:00 |
|
github-actions[bot]
|
019da8c287
|
Release preparation for version 2.18.2
|
2024-08-07 14:02:38 +00:00 |
|
Alexander Eyers-Taylor
|
46577b585e
|
Revert "Release preparation for version 2.18.2"
|
2024-08-07 14:24:37 +01:00 |
|