Tom Hvitved
|
143d7e2084
|
Rust: Use extended canonical paths to resolve calls in data flow
|
2024-11-22 13:23:39 +01:00 |
|
Tom Hvitved
|
faabc9982e
|
Merge pull request #18056 from paldepind/rust-df-global
Rust: Extend data flow library instantiation for global data flow
|
2024-11-22 13:23:02 +01:00 |
|
Geoffrey White
|
fe2d0b631c
|
Rust: Autoformat.
|
2024-11-22 11:37:15 +00:00 |
|
Geoffrey White
|
194f967d74
|
Rust: Required doc comments.
|
2024-11-22 11:36:54 +00:00 |
|
Paolo Tranquilli
|
e49a5be62f
|
Rust: fix parent/child relationship for format entities
|
2024-11-22 12:20:49 +01:00 |
|
Geoffrey White
|
20eaaa5699
|
Rust: Use final extensions.
|
2024-11-22 09:22:11 +00:00 |
|
Simon Friis Vindum
|
e81c3483db
|
Rust: Apply suggestions from PR comments
|
2024-11-22 10:19:13 +01:00 |
|
Geoffrey White
|
292b29b0e3
|
Rust: Fix following rebase on main.
|
2024-11-22 09:13:48 +00:00 |
|
Geoffrey White
|
176e9a425f
|
Rust: Model reqwest.
|
2024-11-22 09:13:47 +00:00 |
|
Geoffrey White
|
e64f139c98
|
Rust: Model std::env.
|
2024-11-22 09:13:44 +00:00 |
|
Geoffrey White
|
374769873a
|
Rust: Add Frameworks.qll infrastructure.
|
2024-11-22 09:13:43 +00:00 |
|
Paolo Tranquilli
|
6776b31c0d
|
Rust: tweak PathType string representations and add one for InferType
|
2024-11-21 15:27:34 +01:00 |
|
Geoffrey White
|
ae6b7b0277
|
Merge branch 'main' into sql1
|
2024-11-21 14:18:04 +00:00 |
|
Simon Friis Vindum
|
fffeac6a13
|
Rust: Extend data flow library instantiation for global data flow
|
2024-11-21 15:11:25 +01:00 |
|
Geoffrey White
|
49e002843e
|
Rust: Restore some documentation.
|
2024-11-21 14:05:24 +00:00 |
|
Geoffrey White
|
636c047c41
|
Rust: Use final class.
|
2024-11-21 13:57:33 +00:00 |
|
Paolo Tranquilli
|
6a6154913b
|
Merge branch 'main' into redsun82/rust-str
|
2024-11-21 11:50:38 +01:00 |
|
Paolo Tranquilli
|
36d8a6d05f
|
Rust: add class printouts to AstConsistency.ql
|
2024-11-21 11:42:00 +01:00 |
|
Paolo Tranquilli
|
5012332bb2
|
Rust: fix Path.toString and address some review comments
|
2024-11-21 11:13:06 +01:00 |
|
Tom Hvitved
|
86a7c486f9
|
Rust: "control-flow" -> "control flow"
|
2024-11-21 10:42:11 +01:00 |
|
Tom Hvitved
|
be7aca9780
|
Address review comments
|
2024-11-21 10:32:06 +01:00 |
|
Tom Hvitved
|
e6887f982e
|
Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll
|
2024-11-21 10:21:13 +01:00 |
|
Tom Hvitved
|
ca18005e44
|
Rust: Add some manual classes to CfgNodes.qll
|
2024-11-21 10:21:12 +01:00 |
|
Tom Hvitved
|
c8736e8a3d
|
Rust: Auto-generate CfgNodes.qll
|
2024-11-21 10:21:11 +01:00 |
|
Simon Friis Vindum
|
8c74478ef4
|
Merge pull request #18041 from paldepind/rust-cfg-self
Rust: Include `self` parameters in the CFG
|
2024-11-21 08:53:52 +01:00 |
|
Paolo Tranquilli
|
d609c1b7e6
|
Rust: fix OrPat.toString
|
2024-11-20 17:00:13 +01:00 |
|
Paolo Tranquilli
|
b4af5a61d1
|
Rust: more advanced toString
|
2024-11-20 16:21:23 +01:00 |
|
Tom Hvitved
|
42e0d7ce10
|
Util: Refactor DenseRank implementation
|
2024-11-20 13:09:59 +01:00 |
|
Simon Friis Vindum
|
aab0d5e9e4
|
Rust: Refactor to avoid needing getNumberOfSelfParams
|
2024-11-20 12:35:52 +01:00 |
|
Paolo Tranquilli
|
4d04c5af83
|
Rust: fix non-existent string representations
|
2024-11-20 12:08:51 +01:00 |
|
Simon Friis Vindum
|
24adbb80c7
|
Rust: Include self parameters in the CFG
|
2024-11-20 11:50:46 +01:00 |
|
Paolo Tranquilli
|
57973df795
|
Rust: make CallExpr.toString use call identifier if present
|
2024-11-20 10:00:10 +01:00 |
|
Paolo Tranquilli
|
a709fc6a54
|
Rust: add some toString implementations
|
2024-11-19 17:21:08 +01:00 |
|
Simon Friis Vindum
|
e5951516b8
|
Merge pull request #18026 from paldepind/rust-df-local
Rust: Add local data flow edge for SSA nodes
|
2024-11-19 15:41:25 +01:00 |
|
Tom Hvitved
|
7a065746d6
|
Merge pull request #18024 from hvitved/rust/cfg/async-block-return
Rust: Handle early returns in `async` blocks in CFG
|
2024-11-19 15:21:34 +01:00 |
|
Simon Friis Vindum
|
2c9bee6208
|
Rust: Only add data flow edge to SSA write definitions from their underlying CFG node
|
2024-11-19 14:32:31 +01:00 |
|
Geoffrey White
|
49eefccde1
|
Rust: Autoformat.
|
2024-11-19 11:49:02 +00:00 |
|
Simon Friis Vindum
|
23bfa8a9bc
|
Rust: Add local data flow edge for SSA definitons
|
2024-11-19 12:19:47 +01:00 |
|
Geoffrey White
|
c7c6924fda
|
Rust: Implement query, source/sink/barrier classes and concepts. All of this is framework, nothing is concretely modelled yet.
|
2024-11-19 11:09:43 +00:00 |
|
Simon Friis Vindum
|
b3668f8183
|
Merge pull request #17971 from paldepind/rust-df-patterns
Rust: Include patterns as data flow nodes
|
2024-11-19 11:12:12 +01:00 |
|
Simon Friis Vindum
|
2307df41ed
|
Merge pull request #18010 from paldepind/rust-df-viable-callable
Rust: Include method calls in DataFlowCall and implement simple call target resolution
|
2024-11-19 11:10:34 +01:00 |
|
Tom Hvitved
|
bb8d0b4881
|
Rust: Handle early returns in async blocks in CFG
|
2024-11-19 10:33:25 +01:00 |
|
Tom Hvitved
|
74b5ebe4bf
|
Rust: Improve CFG for let expressions
|
2024-11-18 15:51:16 +01:00 |
|
Simon Friis Vindum
|
58a1b004ab
|
Rust: Include method calls in DataFlowCall and implement simple call
target resolution
|
2024-11-18 15:27:21 +01:00 |
|
Simon Friis Vindum
|
1a198bfb3a
|
Merge branch 'main' into rust-df-patterns
|
2024-11-18 10:06:01 +01:00 |
|
Simon Friis Vindum
|
0e025abd13
|
Rust: Add custom toString predicate for path expression
|
2024-11-18 09:09:03 +01:00 |
|
Simon Friis Vindum
|
9bf53f50fa
|
Rust: Get CFG scope and update expected results
|
2024-11-15 10:00:43 +01:00 |
|
Simon Friis Vindum
|
d3f5b479f6
|
Merge branch 'main' into rust-df-patterns
|
2024-11-13 16:22:07 +01:00 |
|
Simon Friis Vindum
|
78edafc94c
|
Rust: Include patterns as data flow nodes
|
2024-11-12 18:43:06 +01:00 |
|
Simon Friis Vindum
|
274d9421a7
|
Rust: Cache getEnclosingCfgScope
|
2024-11-12 13:15:20 +01:00 |
|