Geoffrey White
|
4d5f158652
|
C++: Pivot ReturnKind solution to derive types from SSA + AST, rather than SSA + MAD.
|
2024-04-09 13:49:21 +01:00 |
|
Geoffrey White
|
13734d4e62
|
C++: Improve indirectionForModelledFunction.
|
2024-04-09 12:06:03 +01:00 |
|
Geoffrey White
|
70bb29581d
|
C++: Test failures.
|
2024-04-09 11:53:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
448a9015c0
|
C++: Compute the number of indirections from MaD using a new predicate.
|
2024-04-09 10:33:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
21592563cb
|
C++: Define 'ReturnKind's in terms of SSA instead of 'Function'.
|
2024-04-09 10:32:31 +01:00 |
|
Geoffrey White
|
e3ce7c608b
|
C++: Fix indirection ambiguity in the test.
|
2024-04-08 18:27:51 +01:00 |
|
Geoffrey White
|
087d689997
|
C++: Additional test cases.
|
2024-04-08 18:18:30 +01:00 |
|
Geoffrey White
|
c0c1ab7006
|
C++: Fix code scanning warnings.
|
2024-04-08 16:05:55 +01:00 |
|
Geoffrey White
|
06d369ba11
|
C++: Remove untested PostUpdateNode code for now, and field cases that don't work anyway.
|
2024-04-08 16:05:18 +01:00 |
|
Geoffrey White
|
b2b2c2016c
|
C++: Update more QLDoc.
|
2024-04-08 16:04:23 +01:00 |
|
Geoffrey White
|
ec515f967d
|
C++: Update QLDoc.
|
2024-04-08 11:57:35 +01:00 |
|
Geoffrey White
|
bdc3d10cdb
|
C++: QLDoc SummaryCall, SourceCallable and SummarizedCallable.
|
2024-04-04 17:13:59 +01:00 |
|
Geoffrey White
|
49ef677b1d
|
C++: Additional test case for function pointers.
|
2024-04-04 16:53:29 +01:00 |
|
Geoffrey White
|
144c19db74
|
C++: Add a test of SummaryCalls, SummarizedCallables and sourceCallables.
|
2024-04-04 16:50:50 +01:00 |
|
Geoffrey White
|
a8742ea111
|
C++: PascalCase and US spelling fixes.
|
2024-04-03 14:17:55 +01:00 |
|
Geoffrey White
|
db60360293
|
C++: Add a test case where a function has a MAD model *and* an implementation.
|
2024-04-02 17:50:00 +01:00 |
|
Geoffrey White
|
f2ef4ad6ac
|
C++: Update for the provenance changes.
|
2024-04-02 16:15:08 +01:00 |
|
Geoffrey White
|
57beb73bf7
|
C++: Update for the dataflow hasLocationInfo -> getLocation change made on main.
|
2024-04-02 16:15:06 +01:00 |
|
Geoffrey White
|
f1ead2554f
|
C++: Trivial merge fixes.
|
2024-04-02 16:15:05 +01:00 |
|
Geoffrey White
|
33164c8a43
|
Merge branch 'main' into mad
|
2024-04-02 16:14:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
0bf742b82d
|
Merge pull request #16089 from MathiasVP/fix-double-free-join
C++: Fix join order in 'cpp/double-free'.
|
2024-04-02 14:15:51 +01:00 |
|
Jeroen Ketema
|
3c8c45872e
|
Merge pull request #16060 from jketema/qual-fix
C++: Output destructor calls for delete expressions
|
2024-04-02 11:49:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
352e7de07d
|
C++: Accept test changes.
|
2024-04-02 10:43:10 +01:00 |
|
Jeroen Ketema
|
01183800a6
|
C++: Fix formatting
|
2024-04-02 11:38:19 +02:00 |
|
Jeroen Ketema
|
9190bf25ce
|
C++: Add example to QLDoc
|
2024-04-02 11:35:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
bd0ddec630
|
C++: Fix join order in 'cpp/double-free'.
|
2024-04-02 09:59:53 +01:00 |
|
Jeroen Ketema
|
a5d4fad806
|
C++: Output destructor calls for delete expressions
|
2024-04-02 10:32:03 +02:00 |
|
github-actions[bot]
|
8e61c6625b
|
Post-release preparation for codeql-cli-2.17.0
|
2024-04-01 15:27:42 +00:00 |
|
github-actions[bot]
|
ec97d9a304
|
Release preparation for version 2.17.0
|
2024-04-01 13:46:57 +00:00 |
|
Geoffrey White
|
fa26b55452
|
C++: Add models-as-data models for ZMQ networking library + wiring.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
16f9ad06ef
|
C++: Add a test for ZMQ network library sources as well.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
891f05c5ae
|
C++: Add a test for simple sinks involving ZMQ networking library.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
5618001c3f
|
C++: More QLDoc refinement.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
03d0d984e3
|
C++: Remove duplicate TDataFlowCallable's and fix three places where we assumed a source callable (two of them would have caused lost results).
|
2024-03-28 11:39:43 +00:00 |
|
Geoffrey White
|
a55f07ac68
|
C++: QLDoc FlowSummaryNode.
|
2024-03-28 10:17:39 +00:00 |
|
Jeroen Ketema
|
9eb51a9b9e
|
C++: Add value category column to the expr_reuse relation
|
2024-03-27 22:49:40 +01:00 |
|
Geoffrey White
|
103932fec8
|
C++: Resolve discussed TODO comment.
|
2024-03-27 16:44:50 +00:00 |
|
Geoffrey White
|
507ada1951
|
C++: Sort out the localFlow / simpleLocalFlow confusion (and the same for taint).
|
2024-03-27 16:05:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
7bb2b57394
|
Merge pull request #15964 from rdmarsh2/rdmarsh2/cpp/temp-destructors-extended
C++: IR translation for destruction of temporaries with extended lifetimes
|
2024-03-27 11:58:48 +00:00 |
|
Jeroen Ketema
|
050682c477
|
C++: Update expected test results
|
2024-03-27 12:03:37 +01:00 |
|
Jeroen Ketema
|
27c6e2421c
|
C++: Add VariableTemplateInstantiation class
This adds some uniformity, as we already had `FunctionTemplateInstantiation` and
`ClassTemplateInstantiation` classes.
|
2024-03-27 11:35:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
3bfaab9182
|
C++: Remove debugging conjunct.
|
2024-03-26 17:01:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
6a8c592900
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/FlowSteps.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-03-26 16:59:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
d610d721a4
|
C++: Add file QLDoc.
|
2024-03-26 16:47:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
e3744c435a
|
C++: Add change note.
|
2024-03-26 16:44:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
ec3d041c8d
|
C++: Accept test changes.
|
2024-03-26 16:40:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
bd2ecd3346
|
C++: Add test.
|
2024-03-26 16:38:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
2075716df7
|
C++: Add 'TaintInheritingContent'.
|
2024-03-26 16:37:22 +00:00 |
|
Henry Mercer
|
0646744928
|
Merge branch 'main' into henrymercer/merge-back-rc-3.13
|
2024-03-26 12:59:12 +00:00 |
|
Geoffrey White
|
8fbbc2b6d8
|
C++: Improve QLDoc.
|
2024-03-26 11:21:25 +00:00 |
|