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
Dilan Bhalla
db7c90d3dd
2.18.3 upgrade
2024-09-03 00:02:09 -07: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
github-actions[bot]
0db6379602
Release preparation for version 2.18.3
2024-08-27 17:50:22 +00:00
Henry Mercer
0f44cd3f62
Revert "Release preparation for version 2.18.3"
2024-08-27 18:19:25 +01: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
Dilan
0550ff1040
Merge tag 'codeql-cli/latest'
...
Compatible with the latest released version of the CodeQL CLI
2024-08-13 14:59:34 +00: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
Ben Rodes
d4c0c4059d
Brodes/overflow buffer fixes ( #79 )
...
* Addreessing false positive due to incorrect use of getType
* Addressing false positive with strncpy.
* BufferAccess must be reachable. False positives observed where accesses occur in dead code.
* Formatting and updating tests.
2024-08-12 16:00:11 -04:00
