Mathias Vorreiter Pedersen
|
1db24dd28d
|
C++: Fix missing types. We now assign the node corresponding to **p
an `UnknownType`.
|
2023-02-27 14:57:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e16bb65e3
|
C++: Accept test changes. Because we now allocate _three_ indirect nodes
for a value of type `void*` (i.e., `p`, `*p` and `**p`) we need to decide
on a type for the `**p` value. We will do this in the next commit.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
16ba4652af
|
C++: Allocate an additional indirection for void pointers.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
f6b9ca3da6
|
C++: Add failing test.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
da4a059388
|
C++: Accept test changes.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
52e6e1dece
|
C++: Fix flow through partial definitions.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
575ac46bf3
|
C++: Add failing test.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
b952f619db
|
C++: Accept test changes.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
057e810122
|
C++: Fix flow through arrays.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
9d64c0a023
|
C++: Add failing test.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
1e4caca23a
|
C++: Accept query changes. Nothing bad to see here.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
2cb4a554ea
|
C++: Fix a bug in Expr <-> Node mapping.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
09df318e9e
|
C++: Also track flow out of indirect sources.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
a806569b5f
|
C++: The next commit is going to track flow out of both direct and indirect sources. This means we'll get a lot of duplication since there'll be flow from indirect source -> indirect sink and direct source -> direct sink (which both map to the same expressions). This commit changes the testing so that we only report a duplication when they're at different locations.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
5a8b900394
|
C++: Properly track smart pointer wrappers.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
64abf5b163
|
C++: Add conflation into DefaultTaintTracking.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
b951bf0f8f
|
C++: Remove conflation from taint-tracking.
|
2023-02-27 14:57:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
a5bb093935
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-02-27 14:57:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
7437de2909
|
C++: Fix issue where 'getEnclosingCallable' didn't exist for some globals.
|
2023-02-27 14:06:13 +00:00 |
|
Anders Schack-Mulligen
|
7e3e10c34b
|
C/C++: Remove reference to Partial Flow.
|
2023-02-27 14:30:05 +01:00 |
|
Anders Schack-Mulligen
|
bf650c755c
|
Dataflow: Sync changes to all languages.
|
2023-02-27 14:30:05 +01:00 |
|
Michael B. Gale
|
b203533fc6
|
Fix C++ test missing env var
|
2023-02-24 14:16:20 +00:00 |
|
Nicky Mouha
|
08f04d5386
|
Update IfStatementAdditionOverflow.ql
|
2023-02-23 17:50:02 -05:00 |
|
Michael B. Gale
|
0f320996cf
|
Make improvements based on PR feedback
|
2023-02-22 12:32:07 +00:00 |
|
Nicky Mouha
|
ed75172bdd
|
Update IfStatementAdditionOverflow.ql
|
2023-02-21 18:11:22 -05:00 |
|
ihsinme
|
213abc6642
|
Update DivideByZeroUsingReturnValue.expected
|
2023-02-19 21:42:48 +03:00 |
|
ihsinme
|
54acbf7676
|
Update test.cpp
|
2023-02-19 21:42:14 +03:00 |
|
ihsinme
|
49af5ec536
|
Update DivideByZeroUsingReturnValue.ql
|
2023-02-19 21:41:28 +03:00 |
|
Nicky Mouha
|
f577a04eab
|
Update IfStatementAdditionOverflow.ql
|
2023-02-18 21:34:03 -05:00 |
|
Nick Rolfe
|
3e5534f0ba
|
Merge branch 'main' into post-release-prep/codeql-cli-2.12.3
|
2023-02-17 14:39:26 +00:00 |
|
github-actions[bot]
|
8eb8daa4d4
|
Post-release preparation for codeql-cli-2.12.3
|
2023-02-16 17:23:25 +00:00 |
|
Michael B. Gale
|
8e83fd00b7
|
Update C/C++ autobuilder
|
2023-02-16 15:52:29 +00:00 |
|
github-actions[bot]
|
b0315119c6
|
Release preparation for version 2.12.3
|
2023-02-16 11:49:06 +00:00 |
|
Michael B. Gale
|
eab3c6dd5e
|
Fix missing implementations for C++ tests
|
2023-02-16 11:07:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
2203eb6607
|
C++: Fix Code Scanning error.
|
2023-02-15 11:51:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
c11218fcde
|
Merge pull request #12184 from MathiasVP/discriminate-union-contents
|
2023-02-14 23:36:02 +00:00 |
|
Jeroen Ketema
|
899f35a59b
|
Merge pull request #12185 from jketema/test-annotations
C++: Update test annotations for use-use dataflow
|
2023-02-14 15:48:35 +01:00 |
|
Jeroen Ketema
|
1d4e9745a3
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-02-14 15:40:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
2591460731
|
Merge pull request #12181 from MathiasVP/fix-node-type
C++: Fix node types
|
2023-02-14 13:54:12 +00:00 |
|
Jeroen Ketema
|
9e462866a0
|
C++: Update test annotations for use-use dataflow
|
2023-02-14 14:48:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba0be2fd9f
|
C++: Better discriminate for unions.
|
2023-02-14 13:26:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
b01a45f7be
|
C++: Respond to PR reviews.
|
2023-02-14 09:51:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
bda46b3748
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-02-14 09:49:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
ffef81bc47
|
C++: Add QLDoc.
|
2023-02-14 09:38:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
0a3f958849
|
C++: Use content approximations.
|
2023-02-14 09:10:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
7a81f06e84
|
C++: Accept test changes.
|
2023-02-14 09:01:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
cc036c188f
|
C++: Fix missing and spurious types.
|
2023-02-14 09:01:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
748a345e7f
|
C++: Add a test to reveal missing or spurious types on dataflow nodes.
|
2023-02-14 08:58:29 +00:00 |
|
Anders Schack-Mulligen
|
e877b161d8
|
Merge pull request #12124 from hvitved/dataflow/stage1-dispatch
Data flow: Call context virtual dispatch pruning in stage 1
|
2023-02-13 13:13:43 +01:00 |
|
Jeroen Ketema
|
b9200c92d5
|
C++: Address review comments
|
2023-02-13 11:14:48 +01:00 |
|