Anders Schack-Mulligen
|
eea85d8f82
|
Dataflow: Remove some dead code.
|
2025-01-07 12:56:26 +01:00 |
|
github-actions[bot]
|
a121c5a5d0
|
Release preparation for version 2.20.1
|
2025-01-06 18:20:22 +00:00 |
|
Tom Hvitved
|
8f6ae6274d
|
Rust: Add support for MaD sources and sinks with access paths
|
2025-01-06 13:26:49 +01:00 |
|
Tom Hvitved
|
978a816f11
|
Ruby: Track types in data flow
|
2025-01-06 13:26:10 +01:00 |
|
Tom Hvitved
|
06ba814929
|
Data flow: Prune parameter-self flow in stage 1
|
2025-01-06 13:23:03 +01:00 |
|
Jonas Jensen
|
40529d1e51
|
DataFlow: Add the concept of selected locations
This extension allows queries to be diff-informed even when the elements
they select are different from the sources and sinks found by data flow.
|
2024-12-20 11:22:55 +01:00 |
|
Asger F
|
be939dca29
|
Merge pull request #14350 from asgerf/shared/deduplicate-path-graph
Shared: Add DataFlow::DeduplicatePathGraph
|
2024-12-18 14:04:29 +01:00 |
|
Asger F
|
e34fbc8bd1
|
Shared: autoformat
|
2024-12-17 11:26:56 +01:00 |
|
Asger F
|
8340841d54
|
Shared: Fix propagation of call bit
|
2024-12-17 11:16:04 +01:00 |
|
Asger F
|
f2968f4e14
|
Shared: Ensure subpath-induced edges are handled properly
Argument-passing and flow-through edges are present in 'edges' in addition to 'subpaths', but the implementation didn't take this into account.
|
2024-12-16 13:21:43 +01:00 |
|
Asger F
|
0edb30638a
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-12-16 13:14:27 +01:00 |
|
Tom Hvitved
|
40d9460698
|
Data flow: Remove unused column from flowThroughOutOfCall
|
2024-12-11 14:35:32 +01:00 |
|
Asger F
|
815581dc11
|
JS: Update to account for key,val pairs on edges
|
2024-12-11 11:48:13 +01:00 |
|
Asger F
|
5aa1242117
|
Shared: use a call bit when tracking reachability to/from a discriminator
|
2024-12-11 11:29:14 +01:00 |
|
Asger F
|
8efdc2df7b
|
Shared: change note
|
2024-12-11 11:29:11 +01:00 |
|
Asger F
|
cba7b98f7a
|
Shared: Add DataFlow::DeduplicatePathGraph
|
2024-12-11 11:29:10 +01:00 |
|
Anders Schack-Mulligen
|
cac131df37
|
Dataflow: Rename a couple of predicates.
|
2024-12-11 11:22:42 +01:00 |
|
Anders Schack-Mulligen
|
d6a4080baf
|
Dataflow: Address review comment.
|
2024-12-11 11:18:57 +01:00 |
|
Anders Schack-Mulligen
|
40f7713678
|
Dataflow: Minor simplification.
|
2024-12-10 13:28:43 +01:00 |
|
Anders Schack-Mulligen
|
4e155f8542
|
Dataflow: Insert a few getApprox calls to remove ApApprox from fwdFlow.
|
2024-12-10 13:23:51 +01:00 |
|
Anders Schack-Mulligen
|
231bf9d1c9
|
Dataflow: Drop ApApprox join in fwdFlowStore.
|
2024-12-10 13:20:27 +01:00 |
|
Anders Schack-Mulligen
|
501cbdab3c
|
Dataflow: Remove another ApApprox join and related columns.
|
2024-12-10 13:12:32 +01:00 |
|
Anders Schack-Mulligen
|
22e0636cba
|
Dataflow: Insert a few getApprox calls to remove even more columns.
|
2024-12-10 13:09:38 +01:00 |
|
Anders Schack-Mulligen
|
a77adadd01
|
Dataflow: Remove more unused columns.
|
2024-12-10 12:57:24 +01:00 |
|
Anders Schack-Mulligen
|
882a985788
|
Dataflow: Remove useless join.
|
2024-12-10 12:53:30 +01:00 |
|
Anders Schack-Mulligen
|
262f64f037
|
Dataflow: Remove unused columns.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
d4044062c5
|
Dataflow: Remove ApApprox column in out-flow.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
7c888ebe06
|
Dataflow: Replace some allowsFieldFlow,apa pairs with emptyAp boolean.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
c8046fa8e0
|
Dataflow: Drop some ApApprox columns and joins.
|
2024-12-10 12:53:28 +01:00 |
|
Anders Schack-Mulligen
|
4bf63fedc9
|
Merge pull request #18179 from aschackmull/dataflow/accesspath-notypes
Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.
|
2024-12-05 09:58:36 +01:00 |
|
github-actions[bot]
|
cf71a1525b
|
Post-release preparation for codeql-cli-2.20.0
|
2024-12-04 18:36:17 +00:00 |
|
github-actions[bot]
|
96564b7128
|
Release preparation for version 2.20.0
|
2024-12-04 16:01:14 +00:00 |
|
Henry Mercer
|
963f084d87
|
Merge branch 'main' into henrymercer/merge-back-rc-3.16
|
2024-12-04 13:39:10 +00:00 |
|
Anders Schack-Mulligen
|
c187a7ad34
|
Dataflow: Address review comments.
|
2024-12-04 11:22:51 +01:00 |
|
Anders Schack-Mulligen
|
b65a4e45ab
|
Dataflow: Postpone type pruning until stage 5.
|
2024-12-03 10:59:12 +01:00 |
|
Anders Schack-Mulligen
|
4933e803cf
|
Dataflow: Track stored type.
|
2024-12-03 10:59:11 +01:00 |
|
Tom Hvitved
|
fbeb6f3940
|
Shared: Move shared logic into FlowSummaryImpl.qll
|
2024-12-03 09:11:11 +01:00 |
|
Anders Schack-Mulligen
|
e9bd1e5b79
|
Dataflow: Remove types from access paths.
|
2024-12-02 13:31:51 +01:00 |
|
Anders Schack-Mulligen
|
5d13d3b434
|
Dataflow: Refactor - deduplicate fwdFlowRead+consCand join.
|
2024-12-02 13:02:33 +01:00 |
|
Anders Schack-Mulligen
|
70a8bc302c
|
Dataflow: Rename typecheckStore.
|
2024-12-02 12:48:19 +01:00 |
|
Tom Hvitved
|
7f9adbd371
|
Address review comments
|
2024-12-02 11:44:17 +01:00 |
|
Tom Hvitved
|
7402276ec7
|
Data flow: Move more logic into DataFlowImplCommon
|
2024-11-27 09:03:37 +01:00 |
|
Alexander Eyers-Taylor
|
c0474c4e45
|
Revert "Revert "Post-release preparation for codeql-cli-2.19.4""
|
2024-11-21 15:37:52 +00:00 |
|
Alexander Eyers-Taylor
|
4effe9e364
|
Revert "Post-release preparation for codeql-cli-2.19.4"
|
2024-11-21 14:43:15 +00:00 |
|
Tom Hvitved
|
3f56fc9e89
|
Address review comments
|
2024-11-20 13:15:50 +01:00 |
|
Tom Hvitved
|
e5eed2302f
|
Data flow: Track call contexts in parameterFlow
|
2024-11-20 12:57:56 +01:00 |
|
github-actions[bot]
|
3909df75dc
|
Post-release preparation for codeql-cli-2.19.4
|
2024-11-19 17:54:03 +00:00 |
|
github-actions[bot]
|
9783a11565
|
Release preparation for version 2.19.4
|
2024-11-19 16:21:37 +00:00 |
|
Tom Hvitved
|
a35a4b2d98
|
Merge pull request #17887 from hvitved/dataflow/provenance-order
Data flow: Order provenance output by textual representation
|
2024-11-07 14:19:18 +01:00 |
|
Tom Hvitved
|
26b048a645
|
Address review comment
|
2024-11-07 10:40:03 +01:00 |
|