Dave Bartolomeo
|
ffe4c8c87b
|
Update all pack versions to 1.0.0
|
2024-05-22 13:39:08 -04:00 |
|
Mathias Vorreiter Pedersen
|
3f66b635a4
|
Merge pull request #16562 from aschackmull/dataflow/update-qltest-expected
Dataflow: Fix qltests following https://github.com/github/codeql/pull/16511
|
2024-05-22 16:16:04 +01:00 |
|
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 |
|
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 |
|
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 |
|