Mathias Vorreiter Pedersen
|
c5dc88345d
|
Merge pull request #15528 from MathiasVP/flow-barrier-interface
C++: Add an interface for models to block flow
|
2024-02-07 09:58:08 +00:00 |
|
Robert Marsh
|
5653c3f972
|
C++: Update IR test expectations for named destructors
|
2024-02-06 21:04:52 +00:00 |
|
github-actions[bot]
|
b5139078d0
|
Post-release preparation for codeql-cli-2.16.2
|
2024-02-06 19:22:35 +00:00 |
|
Benjamin Rodes
|
80bf38d8cc
|
Initial working draft of non-const source refactor.
|
2024-02-06 14:20:01 -05:00 |
|
Geoffrey White
|
f6b412e1c9
|
C++: Use hasQualifiedName.
|
2024-02-06 17:48:42 +00:00 |
|
Benjamin Rodes
|
5e5fea8ef3
|
Merge branch '50-model-gettext-family-of-string-operations' into 51-2cppnon-constant-format-alter-not-const-source
|
2024-02-06 12:47:08 -05:00 |
|
Geoffrey White
|
d1e040e27c
|
C++: Bug fix for subclasses.
|
2024-02-06 17:45:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
7948911415
|
C++: Delete dead code.
|
2024-02-06 17:38:22 +00:00 |
|
Geoffrey White
|
a9b2876b71
|
C++: Delete commented out code.
|
2024-02-06 17:34:15 +00:00 |
|
Geoffrey White
|
66d8943c08
|
C++: Minor bug fix.
|
2024-02-06 17:20:14 +00:00 |
|
Geoffrey White
|
25200b47ea
|
C++: Implement the namespace field.
|
2024-02-06 16:35:48 +00:00 |
|
Geoffrey White
|
a5527903e9
|
C++: Fix some mistakes in the MAD definitions for the tests.
|
2024-02-06 16:34:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7fe84adb4
|
C++: Add change note.
|
2024-02-06 16:23:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
21b9b3b87f
|
C++: Accept test changes.
|
2024-02-06 16:15:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
359b6e14c6
|
C++: Block flow out of 'swap'.
|
2024-02-06 16:15:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
e539aca337
|
C++: Add an interface for blocking flow out of functions that reach a certain argument.
|
2024-02-06 16:15:21 +00:00 |
|
Robert Marsh
|
40e06b7877
|
C++: suppress destructor calls on delete in IR generation
This avoids an issue with duplicated qualifiers that was causing broken control flow
|
2024-02-06 14:55:00 +00:00 |
|
Benjamin Rodes
|
fc509c2cbe
|
Added additional gettext variant test.
|
2024-02-06 09:17:10 -05:00 |
|
Ben Rodes
|
0023291903
|
Update cpp/ql/src/change-notes/2024-02-05-gettext-dataflows.md
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2024-02-06 09:12:25 -05:00 |
|
Geoffrey White
|
7514037464
|
C++: Add test cases for MAD sources, sinks and summaries in namespaces.
|
2024-02-06 12:12:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
33cefabe27
|
Update cpp/ql/src/CHANGELOG.md
|
2024-02-06 11:05:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
6c1e3b1ba6
|
Update cpp/ql/src/change-notes/released/0.9.4.md
|
2024-02-06 11:02:15 +00:00 |
|
Robert Marsh
|
8013c2a074
|
C++: QLDoc and naming updates for implicit destructors in IR
|
2024-02-05 19:14:56 +00:00 |
|
Robert Marsh
|
bbabf1dfcc
|
C++: add test for constructors in C++17 decl-in-if
|
2024-02-05 18:41:18 +00:00 |
|
Benjamin Rodes
|
256554df06
|
Added change log
|
2024-02-05 13:04:16 -05:00 |
|
Benjamin Rodes
|
5b2d15265f
|
gettext variant dataflow tests
|
2024-02-05 13:01:51 -05:00 |
|
github-actions[bot]
|
c1b35fbf47
|
Release preparation for version 2.16.2
|
2024-02-05 17:58:57 +00:00 |
|
Ben Rodes
|
e47df5c7bc
|
Update NonConstantFormat.ql
Removed dead comment
|
2024-02-05 09:39:05 -05:00 |
|
Ben Rodes
|
88a06ffc66
|
Update GetText.qll
Fixing issue based on review.
|
2024-02-05 09:18:30 -05:00 |
|
Benjamin Rodes
|
e8587d060d
|
Removing comments and formatting.
|
2024-02-02 16:23:14 -05:00 |
|
Benjamin Rodes
|
9577c35d85
|
Incremental update to NonConstantFormat.ql
|
2024-02-02 16:06:59 -05:00 |
|
Robert Marsh
|
2d010f69c6
|
C++: Test for destructors in declaration as if condition
|
2024-02-02 17:39:27 +00:00 |
|
Robert Marsh
|
984c7ab85a
|
C++: test for declarations in if statement
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
4513fd1b52
|
C++: test for destructors in range-based for
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
820f4a5571
|
C++: custom destructor handling for for loops
|
2024-02-02 17:39:23 +00:00 |
|
Robert Marsh
|
85d1d079c8
|
C++: Add implicit named destructosrs to the IR CFG
|
2024-02-02 17:36:02 +00:00 |
|
Robert Marsh
|
3a404cec67
|
C++: Add getLastInstruction to IR generation
|
2024-02-02 17:10:47 +00:00 |
|
Benjamin Rodes
|
022276badc
|
Added model for gettext variants.
|
2024-02-02 12:05:52 -05:00 |
|
Robert Marsh
|
47720e0998
|
C++: generate instructions for destructor calls in IR
|
2024-02-02 17:05:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
8d53bce842
|
Merge pull request #15476 from geoffw0/preprocblock
C++: Add PreprocBlock.qll library
|
2024-02-02 15:06:17 +00:00 |
|
Jeroen Ketema
|
6b13a8c568
|
Merge pull request #15504 from MathiasVP/block-summary-flow-out-of-strdup-and-friends
C++: Block summary flow through `strdup` and friends
|
2024-02-02 14:47:05 +01:00 |
|
Geoffrey White
|
72948cbc46
|
C++: Remove all cached tags.
|
2024-02-02 12:23:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
439d3d2438
|
C++: Add tests with higher level of indirection.
|
2024-02-02 12:09:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
0729c602c5
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-02-02 10:39:40 +00:00 |
|
Geoffrey White
|
56538472cf
|
C++: Update the change note.
|
2024-02-02 09:55:44 +00:00 |
|
Geoffrey White
|
7c37be2e88
|
C++: Address implicit this.
|
2024-02-02 09:49:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f5ed9ad3b
|
C++: Accept test changes.
|
2024-02-01 20:15:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
5ad3e97798
|
C++: Fix TODO by blocking summary flow through functions that don't preserve identity.
|
2024-02-01 20:15:15 +00:00 |
|
Geoffrey White
|
649af822fd
|
C++: Fix the issue with missing return kinds when function bodies are not in the database.
|
2024-02-01 17:04:20 +00:00 |
|
Geoffrey White
|
5caa49aeab
|
C++: Remove unused case for now, and add QLDoc.
|
2024-02-01 15:51:50 +00:00 |
|