Paolo Tranquilli
|
08de0b40ed
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 14:35:10 +01:00 |
|
Paolo Tranquilli
|
80d466ffea
|
Merge pull request #18116 from github/redsun82/rust-perf-measures
Rust: add some performance diagnostics
|
2024-12-04 14:31:06 +01:00 |
|
Geoffrey White
|
b54d8dc6bd
|
Merge pull request #18176 from geoffw0/ctor2
Rust: Improve rust/ctor-initialization
|
2024-12-04 11:07:51 +00:00 |
|
Paolo Tranquilli
|
ebe38bca23
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-03 12:19:08 +01:00 |
|
Paolo Tranquilli
|
c0e55a06e7
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-12-02 15:20:42 +01:00 |
|
Geoffrey White
|
0865397e29
|
Rust: Address nit.
|
2024-12-02 14:06:00 +00:00 |
|
Geoffrey White
|
ed22f49cdd
|
Rust: Make ql-for-ql happy.
|
2024-12-02 13:58:06 +00:00 |
|
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
|
4f08fdd232
|
Rust: Make the two cases read more similarly.
|
2024-12-02 09:56:32 +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 |
|
Paolo Tranquilli
|
c46f44da5f
|
Rust: fix QL compilation errors
|
2024-11-29 15:55:51 +01:00 |
|
Simon Friis Vindum
|
5b6a4e616c
|
Rust: Update stats queries to use shared data flow consistency module
|
2024-11-29 13:42:30 +01:00 |
|
Geoffrey White
|
49b569cc4b
|
Rust: Update for changes on main.
|
2024-11-29 09:37:32 +00:00 |
|
Geoffrey White
|
0f3469313f
|
Merge branch 'main' into ctor
|
2024-11-29 09:37:23 +00:00 |
|
Geoffrey White
|
a6f20a6ac1
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-11-29 09:09:59 +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
|
1090164b77
|
Merge branch 'main' into sourcemodels
|
2024-11-25 21:12:24 +00:00 |
|
Geoffrey White
|
28c0e899b7
|
Rust: Autoformat.
|
2024-11-25 20:50:56 +00:00 |
|
Geoffrey White
|
e6302cae53
|
Rust: Address CI and ql-for-ql issues.
|
2024-11-25 20:07:47 +00:00 |
|
Geoffrey White
|
e8981a505d
|
Rust: Fix qhelp.
|
2024-11-25 20:00:22 +00:00 |
|
Geoffrey White
|
77f5168590
|
Rust: Query metadata and path edges.
|
2024-11-25 19:54:06 +00:00 |
|
Geoffrey White
|
82f2c6075f
|
Rust: Add qhelp + examples.
|
2024-11-25 19:54:03 +00:00 |
|
Geoffrey White
|
88fc7be0a2
|
Rust: Implement the query.
|
2024-11-25 19:22:13 +00:00 |
|
Geoffrey White
|
68a4ea3be0
|
Rust: New query rust/ctor-initialization (placeholder).
undo
|
2024-11-25 10:09:42 +00:00 |
|
Geoffrey White
|
75a3c931d1
|
Rust: Autoformat (again).
|
2024-11-22 11:58:23 +00:00 |
|
Geoffrey White
|
fa7c6f8b5e
|
Merge branch 'main' into resolvable
|
2024-11-22 11:45:47 +00:00 |
|
Geoffrey White
|
ed67dae850
|
Rust: Make ql-for-ql happy.
|
2024-11-22 11:33:35 +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
|
3fa93e5ca9
|
Rust: Add rust/summary/taint-sources query.
|
2024-11-22 09:13:38 +00:00 |
|
Geoffrey White
|
01cddcc042
|
Rust: Suggestions from docs review.
|
2024-11-21 17:08:51 +00:00 |
|
Geoffrey White
|
f8fff4b18c
|
Update rust/ql/src/queries/security/CWE-089/SqlInjection.ql
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-11-21 17:06:32 +00:00 |
|
Geoffrey White
|
d828941b7c
|
Rust: Address review comments.
|
2024-11-20 22:39:27 +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
|
6a7fb06086
|
Rust: Add .qhelp and examples.
|
2024-11-19 11:09:42 +00:00 |
|
Geoffrey White
|
28d0ad94d5
|
Rust: Add placeholder SQL injection query, linked in test.
|
2024-11-19 10:56:36 +00:00 |
|
Geoffrey White
|
ede72b2680
|
Rust: Add unresolved macro calls count as well.
|
2024-11-08 13:59:05 +00:00 |
|
Geoffrey White
|
f827ad8157
|
Rust: Add missing @kind diagnostic query metadata.
|
2024-11-08 12:33:06 +00:00 |
|
Geoffrey White
|
fc444f1f9a
|
Merge branch 'main' into unusedvar8
|
2024-11-08 11:20:12 +00:00 |
|
Geoffrey White
|
04926df6ea
|
Rust: Add rust/diagnostics/unresolved-macro-calls diagnostic query.
|
2024-11-08 10:19:43 +00:00 |
|
Geoffrey White
|
0d1bd8a9cd
|
Rust: Add 'order by' to the summary stats query (doesn't seem to affect the test, but affects VSCode runs).
|
2024-11-08 10:19:42 +00:00 |
|
Geoffrey White
|
7279cc42f8
|
Rust: Add resolved macros to rust/summary/summary-stats.
|
2024-11-08 09:49:47 +00: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
|
8a35e151d1
|
Rust: Move the function pointer parameter exclusion into VariableImpl.qll.
|
2024-11-06 10:51:41 +00:00 |
|
Geoffrey White
|
1a5d2e1f5d
|
Rust: Correct a comment and autoformat.
|
2024-11-05 15:22:46 +00:00 |
|
Geoffrey White
|
93836a55e2
|
Rust: Clean up code / clarify responsibilities and fix the issue in rust/unused-value as well.
|
2024-11-05 15:16:59 +00:00 |
|
Geoffrey White
|
278760c735
|
Rust: Add another exception to rust/unused-variable.
|
2024-11-05 14:46:32 +00:00 |
|
Geoffrey White
|
c8c747a110
|
Rust: Add total data flow inconsistencies to rust/summary/summary-statistics.
|
2024-11-04 19:10:44 +00:00 |
|