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 |
|
Geoffrey White
|
d704fd9682
|
C++: Accept test changes caused by new CLI version.
|
2024-08-06 12:27:49 -04:00 |
|
Geoffrey White
|
bf66a787ab
|
C++: Accept test changes caused by new CLI version.
|
2024-08-06 16:45:48 +01:00 |
|
github-actions[bot]
|
c14ba0e4bd
|
Release preparation for version 2.18.2
|
2024-08-06 12:46:15 +00: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
|
742922c719
|
Update cpp/ql/lib/semmle/code/cpp/Function.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2024-08-02 15:59:30 +02: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 |
|