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 5555| test.rs:412:31:412:38 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
5656| test.rs:417:22:417:39 | ...::read_to_string | Flow source 'FileSource' of type file (DEFAULT). |
5757| 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). |
6058| test.rs:430:22:430:34 | ...::read_link | Flow source 'FileSource' of type file (DEFAULT). |
6159| test.rs:439:31:439:45 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
6260| test.rs:444:31:444:45 | ...::read | Flow source 'FileSource' of type file (DEFAULT). |
6361| 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). |
6662| test.rs:462:22:462:41 | ...::read_link | Flow source 'FileSource' of type file (DEFAULT). |
6763| test.rs:472:20:472:38 | ...::open | Flow source 'FileSource' of type file (DEFAULT). |
6864| 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>> {
420420
421421 for entry in fs:: read_dir ( "directory" ) ? {
422422 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
427427 }
428428
429429 {
@@ -452,10 +452,10 @@ async fn test_tokio_fs() -> Result<(), Box<dyn std::error::Error>> {
452452
453453 let mut read_dir = tokio:: fs:: read_dir ( "directory" ) . await ?;
454454 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
459459 }
460460
461461 {
You can’t perform that action at this time.
0 commit comments