Mathias Vorreiter Pedersen
769d9317c7
C++: Avoid a CP between 'getExpr(node)' and 'this' in 'LoopWithAlloca'.
2024-05-22 15:15:40 +01:00
Mathias Vorreiter Pedersen
1a0d66b339
Merge pull request #16557 from MathiasVP/fix-unique-pointer-query-fp
...
C++: Fix `cpp/use-of-unique-pointer-after-lifetime-ends` FP
2024-05-22 15:09:54 +01:00
Anders Schack-Mulligen
e7f24318cd
C++: Accept qltest .expected file changes.
2024-05-22 15:36:30 +02:00
Anders Schack-Mulligen
f977a4206a
C++: Accept qltest .expected file changes (interesting).
2024-05-22 15:35:28 +02:00
Mathias Vorreiter Pedersen
9907f0f827
C++: Exclude a cast to any integral type.
2024-05-22 13:42:07 +01:00
Mathias Vorreiter Pedersen
09357e15b4
Merge pull request #16533 from MathiasVP/better-negation-guards-in-c
...
C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs
2024-05-22 13:02:06 +01:00
Mathias Vorreiter Pedersen
00a940fd58
Merge pull request #16524 from catenacyber/deref-null-result
...
Adds another rule for null deref
2024-05-22 12:37:39 +01:00
Mathias Vorreiter Pedersen
4b02f88089
C++: Add change note.
2024-05-22 12:37:08 +01:00
Mathias Vorreiter Pedersen
af81698fa8
C++: Fix FP and accept test changes.
2024-05-22 12:34:09 +01:00
Mathias Vorreiter Pedersen
91f860ba4f
C++: Add 'cpp/use-of-unique-pointer-after-lifetime-ends' FP.
2024-05-22 12:33:34 +01:00
Mathias Vorreiter Pedersen
eda815789b
Update cpp/ql/src/experimental/Likely Bugs/DerefNullResult.ql
2024-05-22 11:21:04 +01:00
Philippe Antoine
ab4b823c2e
fixup unique assignment
2024-05-21 22:10:00 +02:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Tom Hvitved
454687d583
Data flow: Synthesize parameter return nodes
2024-05-21 14:47:42 +02:00
Jeroen Ketema
c8fec336ce
C++: Fix typo in cpp/network-to-host-function-as-array-bound
2024-05-21 10:29:17 +02:00
Jeroen Ketema
1a60c01723
C++: Add memcmp test for cpp/network-to-host-function-as-array-bound
2024-05-21 10:27:38 +02:00
Mathias Vorreiter Pedersen
5893e38567
C++: Accept test changes.
2024-05-20 22:28:17 +01:00
Mathias Vorreiter Pedersen
0a550bb919
C++: Support 'if(!p)' for C programs in IRGuards.
2024-05-20 22:28:17 +01:00
Philippe Antoine
8ace9da14a
fixup dataflow path and formatting
2024-05-20 21:31:47 +02:00
Mathias Vorreiter Pedersen
398b90a15d
C++: Rename a few predicates.
2024-05-20 17:15:20 +01:00
Geoffrey White
13a7d9acb6
Merge pull request #16528 from geoffw0/docfix2
...
C++: Update an instance of the name 'Semmle' in a doc page.
2024-05-20 15:07:42 +01:00
Geoffrey White
0ba3cd96f5
C++: Update an instance of the name 'Semmle' in a doc page.
2024-05-20 10:02:50 +01:00
Mathias Vorreiter Pedersen
2f7766a557
C++: Autoformat.
2024-05-20 09:04:24 +01:00
Mathias Vorreiter Pedersen
df24e5982a
C++: Add tests and accept test changes.
2024-05-20 09:01:42 +01:00
Mathias Vorreiter Pedersen
e8b9d7e6fa
C++: Modify change note to be more aligned with existing change notes.
2024-05-20 08:52:18 +01:00
codeqlhelper
15667dcf1e
Create 2024-05-19-avoid-reporting-static-variable.md
2024-05-19 21:55:35 +08:00
codeqlhelper
1d8d45b3aa
Static variables are initialized to zero or null by compiler
...
Static variables are initialized to zero or null by compiler, no need to get an initializer of them
2024-05-19 21:48:43 +08:00
Philippe Antoine
73d306c8c8
Adds another rule for null deref
2024-05-17 17:35:07 +02:00
Chuan-kai Lin
f1047606ad
Merge pull request #16418 from github/cklin/cpp-entities-reorder
...
C++: Use entities in reorder directives
2024-05-17 06:43:07 -07:00
Cornelius Riemenschneider
ab7d30a464
Merge branch 'main' into criemen/move-win-autobuilder
2024-05-15 10:58:01 +02:00
Mathias Vorreiter Pedersen
64b8f97d39
Merge pull request #16495 from MathiasVP/delete-duplicated-conjunction
2024-05-15 09:37:46 +01:00
Mathias Vorreiter Pedersen
a1cb419902
C++: Delete duplicated case in IR generation.
2024-05-15 08:52:56 +01:00
github-actions[bot]
32e8b5c667
Post-release preparation for codeql-cli-2.17.3
2024-05-14 21:14:08 +00:00
github-actions[bot]
100166fa53
Release preparation for version 2.17.3
2024-05-14 19:23:18 +00:00
Cornelius Riemenschneider
869bf8afc6
C++/C#: Move the Windows autobuilder into a subfolder in ql/csharp.
...
This is a necessary preparation for moving the C# dependency management to `paket`,
which in turn is a necessary preparation for moving the C# build to bazel.
As we discovered in https://github.com/github/codeql/pull/16376 ,
`paket` tries to restore all projects recursively from the root folder.
If we support building C# code under both `ql/csharp` and `ql/cpp`, we need
to have a single lockfile under `ql`, as both codebases share the same set of dependencies
(and utilities from `ql/csharp/extractor`).
Then, `paket` will also try to restore things that look like "C# projects" in other languages'
folders, which is not what we want.
Therefore, we address this by moving all C# code into a common root directory, `ql/csharp`.
This needs an internal PR to adjust the buildsystem to look for the autobuilder in the new location.
2024-05-14 13:45:49 +02:00
Erik Krogh Kristensen
bcddef8f32
Merge pull request #16131 from erik-krogh/cpp-path
...
C++: Improve the cpp/path-injection qhelp
2024-05-09 22:21:51 +02:00
Jeroen Ketema
4dfcdbccd7
Merge pull request #16459 from jketema/handler-fix
...
C++: Fix destructor translation for handlers
2024-05-09 10:23:07 +02:00
Jeroen Ketema
9e09c5a6cf
C++: Fix copy and paste error in comment
2024-05-08 22:11:19 +02:00
erik-krogh
a51d24cbab
apply suggestions from code review, and the examples to the test
2024-05-08 19:34:50 +02:00
Jeroen Ketema
d68d2cca41
C++: Fix destructor translation for handlers
2024-05-08 19:26:56 +02:00
Jeroen Ketema
0cbedfb28c
Merge pull request #16455 from jketema/if-fix
...
C++: Ensure destructors for ifs are called after both branches and for both if and constexpr if
2024-05-08 19:15:28 +02:00
Geoffrey White
49aba25852
Merge pull request #16445 from geoffw0/qhelp4
...
C++: Improve qhelp for DoubleFree.
2024-05-08 18:02:12 +01:00
Geoffrey White
53d4a10108
Update cpp/ql/src/Critical/DoubleFree.qhelp
...
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com >
2024-05-08 17:15:08 +01:00
Mathias Vorreiter Pedersen
59fb9cc862
Merge pull request #16299 from MathiasVP/remove-base-address-as-ipa-key
...
C++: Remove an unnecessary column
2024-05-08 16:43:30 +01:00
Geoffrey White
088f8297b6
C++: Use nullptr.
2024-05-08 14:04:21 +01:00
Jeroen Ketema
1a53b923a6
C++: Ensure destructors for ifs are called after both branches
2024-05-08 14:48:28 +02:00
Jeroen Ketema
52db1c1253
C++: Introduce abstract class to share code between if and constexpr if
2024-05-08 14:16:19 +02:00
Jeroen Ketema
fa06d88642
C++: Add forgotten getLastChild to TranslatedConstExprIfStmt
2024-05-08 14:07:29 +02:00
Jeroen Ketema
7b89c6c7f7
Merge pull request #16450 from jketema/inconsistent
...
C++: Add IR tests demonstrating some inconsistencies that may occur
2024-05-08 13:32:01 +02:00
Jeroen Ketema
9bc04e7591
Merge pull request #16447 from jketema/destructors-loc
...
C++: Update test results after extractor changes
2024-05-08 13:03:46 +02:00
