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 |
|
Geoffrey White
|
b3f7a8a46f
|
Merge pull request #17908 from geoffw0/dfcons
Rust: Expose counts of data flow inconsistencies
|
2024-11-06 19:11:04 +00:00 |
|
Geoffrey White
|
a645a9e829
|
Rust: Add getInconsistencyCounts predicate to the shared DataFlowImplConsistency.qll, so it's possibly to access inconsistency data as a whole.
|
2024-11-04 18:52:20 +00:00 |
|
github-actions[bot]
|
f107d16b4e
|
Post-release preparation for codeql-cli-2.19.3
|
2024-11-04 17:20:08 +00:00 |
|
github-actions[bot]
|
cc7b724123
|
Release preparation for version 2.19.3
|
2024-11-04 16:37:28 +00:00 |
|
Tom Hvitved
|
8b8b721788
|
Data flow: Order provenance output by textual representation
|
2024-11-04 08:47:30 +01:00 |
|
Tom Hvitved
|
2b37c6cd32
|
Merge pull request #17548 from hvitved/shared/inline-test-post-process
Shared: Post-processing query for inline test expectations
|
2024-10-31 11:40:11 +01:00 |
|
Tom Hvitved
|
c936468b17
|
Merge pull request #17739 from hvitved/dataflow/big-step-quadratic
|
2024-10-31 08:16:16 +01:00 |
|
Anders Schack-Mulligen
|
b556590ef8
|
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
Dataflow: Add support for speculative taint flow.
|
2024-10-31 08:12:43 +01:00 |
|
Anders Schack-Mulligen
|
570b042645
|
Dataflow: Rename SpeculativeFlow to SpeculativeGlobal.
|
2024-10-30 15:23:15 +01:00 |
|
Tom Hvitved
|
b111194fbc
|
Shared: Simplify PrettyPrintModels.ql
|
2024-10-29 13:35:28 +01:00 |
|
Tom Hvitved
|
2e7b71c28d
|
Data flow: Prevent quadratic blowup in Stage6Param::localStep
|
2024-10-23 10:41:12 +02:00 |
|