hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Assign locations to all DataFlowCallables

Browse Source
This commit is contained in:
Tom Hvitved
2025-09-03 09:31:58 +02:00
parent fb1387340f
commit dff5ed7d29
3 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
View File

@@ -53,7 +53,9 @@ final class DataFlowCallable extends TDataFlowCallable {
}
/** Gets the location of this callable. */
Location getLocation() { result = this.asCfgScope().getLocation() }
Location getLocation() {
result = [this.asCfgScope().getLocation(), this.asSummarizedCallable().getLocation()]
}
}
final class DataFlowCall extends TDataFlowCall {

4
rust/ql/test/library-tests/dataflow/global/viableCallable.expected
View File

@@ -98,10 +98,10 @@
| main.rs:326:17:326:25 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:327:9:327:15 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:330:5:330:17 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:334:13:334:55 | ...::block_on(...) | file://:0:0:0:0 | fn block_on |
| main.rs:334:13:334:55 | ...::block_on(...) | {EXTERNAL LOCATION} | fn block_on |
| main.rs:334:41:334:54 | async_source(...) | main.rs:315:1:319:1 | fn async_source |
| main.rs:335:5:335:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:337:5:337:62 | ...::block_on(...) | file://:0:0:0:0 | fn block_on |
| main.rs:337:5:337:62 | ...::block_on(...) | {EXTERNAL LOCATION} | fn block_on |
| main.rs:337:33:337:61 | test_async_await_async_part(...) | main.rs:321:1:331:1 | fn test_async_await_async_part |
| main.rs:341:5:341:22 | data_out_of_call(...) | main.rs:16:1:19:1 | fn data_out_of_call |
| main.rs:342:5:342:35 | data_out_of_call_side_effect1(...) | main.rs:35:1:40:1 | fn data_out_of_call_side_effect1 |

2
rust/ql/test/library-tests/dataflow/global/viableCallable.qlref Normal file
View File

@@ -0,0 +1,2 @@
query: viableCallable.ql
postprocess: utils/test/ExternalLocationPostProcessing.ql