Geoffrey White
1e656a49b0
Rust: Rewrite the query to (1) include functions and (2) minimize output.
2024-12-02 13:37:44 +00:00
Geoffrey White
3e0e374783
Rust: Remove unnecessary edges.
2024-12-02 09:54:18 +00:00
Simon Friis Vindum
10be890cab
Merge pull request #18144 from paldepind/rust-df-inconsistency-no-location
...
Rust: Exclude data flow inconsistencies that stem from other inconsis…
2024-12-02 10:48:51 +01:00
Geoffrey White
4d0c53d493
Rust: Add support for transitive results via calls in the ctor query.
2024-12-02 09:46:40 +00:00
Geoffrey White
14c0bbf531
Rust: Add another test case, fix an annotation.
2024-12-02 09:34:47 +00:00
Geoffrey White
fbf7e0584f
Merge pull request #18129 from geoffw0/sinkmodels
...
Rust: Sink models for rust/sql-injection
2024-11-29 19:11:27 +00:00
Geoffrey White
0f3469313f
Merge branch 'main' into ctor
2024-11-29 09:37:23 +00:00
Geoffrey White
2810d64b22
Rust: Fix ql-for-ql warning.
2024-11-28 12:43:24 +00:00
Simon Friis Vindum
b05d290bf0
Rust: Exclude data flow inconsistencies that stem from other inconsistencies
2024-11-28 12:46:32 +01:00
Paolo Tranquilli
50c917d2eb
Rust: restrict extracted files queries
2024-11-28 12:02:57 +01:00
Geoffrey White
c113a0b5a1
Rust: Fix typo.
2024-11-27 10:51:42 +00:00
Geoffrey White
ba560f2fe9
Rust: Model SQLx.
2024-11-27 10:31:05 +00:00
Geoffrey White
e96f15d9b4
Rust: Add a test exposing SQL Injection sinks directly.
2024-11-27 10:31:04 +00:00
Geoffrey White
1090164b77
Merge branch 'main' into sourcemodels
2024-11-25 21:12:24 +00:00
Geoffrey White
e6302cae53
Rust: Address CI and ql-for-ql issues.
2024-11-25 20:07:47 +00:00
Geoffrey White
77f5168590
Rust: Query metadata and path edges.
2024-11-25 19:54:06 +00:00
Geoffrey White
be5bd1da0a
Rust: Also add the good example and a couple of other cited good cases to the test.
2024-11-25 19:54:04 +00:00
Geoffrey White
88fc7be0a2
Rust: Implement the query.
2024-11-25 19:22:13 +00:00
Geoffrey White
9ead2dc03c
Rust: Add a query test.
2024-11-25 19:14:16 +00:00
Geoffrey White
f92e8555a6
Rust: update for toString changes in main.
2024-11-25 14:35:12 +00:00
Geoffrey White
e9a13aec1d
Merge branch 'main' into resolvable
2024-11-25 14:33:56 +00:00
Geoffrey White
d38f0eec7b
Merge branch 'main' into sourcemodels
2024-11-25 09:59:08 +00:00
Paolo Tranquilli
b32e578580
Rust: accept test changes
2024-11-22 17:18:32 +01:00
Paolo Tranquilli
e7c10c6325
Merge branch 'main' into redsun82/rust-str
2024-11-22 14:44:48 +01:00
Paolo Tranquilli
2e90c80a6f
Rust: accept test changes
2024-11-22 13:45:00 +01:00
Geoffrey White
6e627f6543
Rust: Add new consistency check failure.
2024-11-22 12:21:13 +00:00
Geoffrey White
fa7c6f8b5e
Merge branch 'main' into resolvable
2024-11-22 11:45:47 +00:00
Geoffrey White
ca424d1e61
Rust: Add a count of flow sources to rust/summary/summary-statistics.
2024-11-22 09:13:39 +00:00
Geoffrey White
b7c7a9ee7c
Rust: Accept consistency check failures.
2024-11-21 14:23:51 +00:00
Geoffrey White
ae6b7b0277
Merge branch 'main' into sql1
2024-11-21 14:18:04 +00:00
Paolo Tranquilli
6a6154913b
Merge branch 'main' into redsun82/rust-str
2024-11-21 11:50:38 +01:00
Tom Hvitved
c8736e8a3d
Rust: Auto-generate CfgNodes.qll
2024-11-21 10:21:11 +01:00
Paolo Tranquilli
fd45e11f4b
Rust: accept test changes
2024-11-20 16:49:20 +01:00
Paolo Tranquilli
4d04c5af83
Rust: fix non-existent string representations
2024-11-20 12:08:51 +01:00
Paolo Tranquilli
fce13aeb35
Rust: accept test changes
2024-11-19 17:50:14 +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
Simon Friis Vindum
6ae979293c
Rust: Accept inconsistencies
2024-11-19 13:26:01 +01:00
Geoffrey White
758092b1d6
Rust: Add consistency check failures.
2024-11-19 12:04:15 +00: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
Geoffrey White
2df565c84f
Rust: Add options.yml and sqlx 'query cache' (result of 'sqlx prepare') so that the query test can function.
2024-11-19 10:56:37 +00:00
Geoffrey White
28d0ad94d5
Rust: Add placeholder SQL injection query, linked in test.
2024-11-19 10:56:36 +00:00
Geoffrey White
3673c7c813
Rust: Add SQL injection test cases (complete and functioning).
2024-11-19 10:56:35 +00:00
Paolo Tranquilli
b11388c49b
Rust: accept test changes
2024-11-18 12:06:25 +01:00
Paolo Tranquilli
8137419d93
Rust: only accept options.yml in QL tests
2024-11-18 10:40:29 +01:00
Simon Friis Vindum
03292310b6
Merge branch 'main' into rust-async-blocks
2024-11-12 09:36:04 +01:00
Simon Friis Vindum
aebce746df
Rust: Create data flow nodes for parameters in the CFG
...
Before data flow nodes where created for all parameters in the AST. But
some AST parameters does not lead to any data flow (for instance
parameters in function pointer types).
2024-11-11 11:46:10 +01:00
Simon Friis Vindum
6a3d417836
Rust: Implement enclosing callable for additional classes
2024-11-11 11:11:29 +01:00
Simon Friis Vindum
db1b698689
Rust: Accept fixed spurious results
2024-11-11 08:59:34 +01:00
Geoffrey White
c7112ef278
Rust: Accept consistency check changes.
2024-11-08 14:22:04 +00:00
Geoffrey White
ede72b2680
Rust: Add unresolved macro calls count as well.
2024-11-08 13:59:05 +00:00
