File tree Expand file tree Collapse file tree 2 files changed +8
-12
lines changed
rust/ql/test/library-tests/dataflow/sources Expand file tree Collapse file tree 2 files changed +8
-12
lines changed Original file line number Diff line number Diff line change 55
55
| test.rs:412:31:412:38 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
56
56
| test.rs:417:22:417:39 | ...::read_to_string | Flow source 'FileSource' of type file (DEFAULT). |
57
57
| test.rs:417:22:417:39 | ...::read_to_string | Flow source 'FileSource' of type file (DEFAULT). |
58
- | test.rs:423:22:423:25 | path | Flow source 'FileSource' of type file (DEFAULT). |
59
- | test.rs:424:27:424:35 | file_name | Flow source 'FileSource' of type file (DEFAULT). |
60
58
| test.rs:430:22:430:34 | ...::read_link | Flow source 'FileSource' of type file (DEFAULT). |
61
59
| test.rs:439:31:439:45 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
62
60
| test.rs:444:31:444:45 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
63
61
| test.rs:449:22:449:46 | ...::read_to_string | Flow source 'FileSource' of type file (DEFAULT). |
64
- | test.rs:455:26:455:29 | path | Flow source 'FileSource' of type file (DEFAULT). |
65
- | test.rs:456:31:456:39 | file_name | Flow source 'FileSource' of type file (DEFAULT). |
66
62
| test.rs:462:22:462:41 | ...::read_link | Flow source 'FileSource' of type file (DEFAULT). |
67
63
| test.rs:472:20:472:38 | ...::open | Flow source 'FileSource' of type file (DEFAULT). |
68
64
| test.rs:506:21:506:39 | ...::open | Flow source 'FileSource' of type file (DEFAULT). |
Original file line number Diff line number Diff line change @@ -420,10 +420,10 @@ fn test_fs() -> Result<(), Box<dyn std::error::Error>> {
420
420
421
421
for entry in fs:: read_dir ( "directory" ) ? {
422
422
let e = entry?;
423
- let path = e. path ( ) ; // $ Alert[rust/summary/taint-sources]
424
- let file_name = e. file_name ( ) ; // $ Alert[rust/summary/taint-sources]
425
- sink ( path) ; // $ hasTaintFlow
426
- sink ( file_name) ; // $ hasTaintFlow
423
+ let path = e. path ( ) ; // $ MISSING: Alert[rust/summary/taint-sources]
424
+ let file_name = e. file_name ( ) ; // $ MISSING: Alert[rust/summary/taint-sources]
425
+ sink ( path) ; // $ MISSING: hasTaintFlow
426
+ sink ( file_name) ; // $ MISSING: hasTaintFlow
427
427
}
428
428
429
429
{
@@ -452,10 +452,10 @@ async fn test_tokio_fs() -> Result<(), Box<dyn std::error::Error>> {
452
452
453
453
let mut read_dir = tokio:: fs:: read_dir ( "directory" ) . await ?;
454
454
for entry in read_dir. next_entry ( ) . await ? {
455
- let path = entry. path ( ) ; // $ Alert[rust/summary/taint-sources]
456
- let file_name = entry. file_name ( ) ; // $ Alert[rust/summary/taint-sources]
457
- sink ( path) ; // $ hasTaintFlow
458
- sink ( file_name) ; // $ hasTaintFlow
455
+ let path = entry. path ( ) ; // $ MISSING: Alert[rust/summary/taint-sources]
456
+ let file_name = entry. file_name ( ) ; // $ MISSING: Alert[rust/summary/taint-sources]
457
+ sink ( path) ; // $ MISSING: hasTaintFlow
458
+ sink ( file_name) ; // $ MISSING: hasTaintFlow
459
459
}
460
460
461
461
{
You can’t perform that action at this time.
0 commit comments