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
|
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 |
|
Jeroen Ketema
|
73d877e3a5
|
Merge pull request #12163 from jketema/dataflow-new
C++: Add `semmle.code.cpp.dataflow.new`
|
2023-02-13 12:36:16 +01:00 |
|
Jeroen Ketema
|
b9200c92d5
|
C++: Address review comments
|
2023-02-13 11:14:48 +01:00 |
|
Jeroen Ketema
|
3dfe0adf0a
|
C++: Fix formatting
|
2023-02-13 09:45:23 +01:00 |
|
Jeroen Ketema
|
3482158fee
|
C++: Add semmle.code.cpp.dataflow.new
|
2023-02-13 09:38:23 +01:00 |
|
Jeroen Ketema
|
996eb6c63c
|
C++: Fix Ql-for-QL warnings
|
2023-02-13 09:22:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
378484ec01
|
Merge pull request #12149 from MathiasVP/fewer-flowthroughs
C++: Fix spurious flow-through
|
2023-02-10 18:45:46 +00:00 |
|
Jeroen Ketema
|
7bd28183ba
|
Merge pull request #12151 from jketema/remove-experimental-dataflow
C++: Remove experimental copy of the use-use IR dataflow library
|
2023-02-10 18:08:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
168202dbf7
|
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/has-parameter-flow-out.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-02-10 16:36:40 +00:00 |
|
Jeroen Ketema
|
8522eddf5a
|
Merge pull request #12148 from jketema/opt-in
C++: Revert `semmle.code.cpp.dataflow` to its old state
|
2023-02-10 17:34:27 +01:00 |
|
Jeroen Ketema
|
5f33827eca
|
C++: Update test results
|
2023-02-10 17:10:52 +01:00 |
|
Jeroen Ketema
|
b023c6bb23
|
C++: Remove experimental copy of the use-use IR dataflow library
|
2023-02-10 16:20:33 +01:00 |
|
Jeroen Ketema
|
1a83b712a0
|
C++: Add change note
|
2023-02-10 15:27:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a8b3bad31
|
C++: Respond to PR reviews.
|
2023-02-10 13:56:19 +00:00 |
|
Jeroen Ketema
|
ecdeb9a970
|
C++: Revert semmle.code.cpp.dataflow to its old state
While here make sure all queries and tests use IR dataflow when appropriate.
|
2023-02-10 14:21:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
5bd7589109
|
C++: Fix spurious flow though and accept test changes.
|
2023-02-10 12:42:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
faf9fd6253
|
C++: Add a testcase (and a new test) to test flow through functions.
|
2023-02-10 12:40:29 +00:00 |
|
Jeroen Ketema
|
ffbaef8771
|
C++: Update for test changes
|
2023-02-10 11:23:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
e1aef3127c
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-02-10 09:23:37 +00:00 |
|
Jeroen Ketema
|
8f15abc285
|
Merge pull request #12146 from jketema/global-indirect
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 10:21:04 +01:00 |
|
Michael Nebel
|
1bd223b8c8
|
Merge pull request #12103 from michaelnebel/csharp/scopedmodfier
C# 11: Scoped parameters and local variables.
|
2023-02-10 10:04:09 +01:00 |
|
Jeroen Ketema
|
350fb89ebf
|
C++: Also mention all locations in the AST case
|
2023-02-10 09:49:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
9aa9187dd7
|
Merge pull request #12141 from MathiasVP/fix-multiple-out-nodes
C++: Deduplicate `OutNode`s
|
2023-02-10 08:39:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
4719fd5235
|
C++: Accept more test changes.
|
2023-02-10 08:38:46 +00:00 |
|
Jeroen Ketema
|
12930c68fb
|
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 09:29:27 +01:00 |
|
Paolo Tranquilli
|
c92fd97783
|
Merge pull request #12140 from github/redsun82/swift-fix-upgrade
Swift: remove query predicates in upgrade/downgrade scripts
|
2023-02-10 08:49:08 +01:00 |
|
Michael Nebel
|
8d8ebeade1
|
Merge pull request #12067 from michaelnebel/csharp/reflectionload
C#: Delete dead assembly load code.
|
2023-02-09 18:49:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
981c976754
|
C++: Expand comments.
|
2023-02-09 17:10:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
6b851d0529
|
C++: Fix an inconsistency with too many out nodes.
|
2023-02-09 16:55:19 +00:00 |
|
Paolo Tranquilli
|
7fa85b34ea
|
Swift: remove query predicates in upgrade/downgrade scripts
|
2023-02-09 17:24:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
7439de37a3
|
C++: Add a new test that demonstrates multiple out nodes.
|
2023-02-09 16:23:32 +00:00 |
|
Jeroen Ketema
|
9d6098af15
|
Merge pull request #12004 from jketema/single-use
C++: Map operand nodes that are only used once onto the related instruction node
|
2023-02-09 17:18:39 +01:00 |
|
Ian Lynagh
|
968f588893
|
Merge pull request #12090 from igfoo/igfoo/kotlin-1.8.10
Kotlin: 1.8.10 and 1.8.20 are supported, and use 1.8.10 for CI
|
2023-02-09 12:06:42 +00:00 |
|
Michael Nebel
|
0f469ee0f7
|
C#: Add stats for the scoped annotation relation.
|
2023-02-09 12:28:15 +01:00 |
|
Jeroen Ketema
|
e4c211df2d
|
C++: Address review comments
|
2023-02-09 11:58:41 +01:00 |
|
dependabot[bot]
|
80a397b4a5
|
Merge pull request #12134 from github/dependabot/cargo/ruby/serde_json-1.0.93
|
2023-02-09 10:50:27 +00:00 |
|
Michael Nebel
|
d4985a99e0
|
C#: Add change note.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
59ab353827
|
C#: Add upgrade and downgrade scripts.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
54b45134ef
|
C#: Add example code including tests.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
c00b089aa8
|
C#: Introduce library support for scoped.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
955f23d021
|
C#: Introduce extractor support for scoped variables and parameters.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
dd6ceb7053
|
C#: Extend the DB schema with a scoped annotation relation.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
7e174dce8b
|
C#: Re-factor. Introduce variablekind enum.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
89bebe9d36
|
C#: Re-factor local variable populate.
|
2023-02-09 11:32:08 +01:00 |
|
Michael B. Gale
|
ad4ae1c331
|
Merge pull request #12132 from github/mbg/fix/log-injection-precision
Go: Downgrade `go/log-injection` precision to medium
|
2023-02-09 10:29:24 +00:00 |
|
Michael B. Gale
|
70a6ff84af
|
Add change note
|
2023-02-09 09:56:36 +00:00 |
|