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: Add consistency check failures.

Browse Source
This commit is contained in:
Geoffrey White
2025-10-22 13:50:49 +01:00
parent 9b11ec53d4
commit 8336a956c0
6 changed files with 38 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
rust/ql/test/library-tests/dataflow/sources/database/CONSISTENCY/PathResolutionConsistency.expected Normal file
View File

@@ -0,0 +1,3 @@
multiplePathResolutions
| test.rs:10:28:10:65 | Result::<...> |
| test.rs:97:40:97:49 | Result::<...> |

3
rust/ql/test/library-tests/dataflow/sources/file/CONSISTENCY/PathResolutionConsistency.expected Normal file
View File

@@ -0,0 +1,3 @@
multipleCallTargets
| test.rs:266:22:266:43 | file.read(...) |
| test.rs:275:22:275:41 | f1.read(...) |

17
rust/ql/test/library-tests/dataflow/sources/net/CONSISTENCY/PathResolutionConsistency.expected Normal file
View File

@@ -0,0 +1,17 @@
multipleCallTargets
| test.rs:59:62:59:77 | ...::from(...) |
| test.rs:66:58:66:73 | ...::from(...) |
| test.rs:399:31:399:88 | ...::read(...) |
| test.rs:403:31:403:55 | reader.read(...) |
| test.rs:437:26:437:43 | reader2.fill_buf() |
| test.rs:457:31:457:89 | ...::read(...) |
| test.rs:461:31:461:56 | reader2.read(...) |
| test.rs:479:26:479:43 | reader2.fill_buf() |
| test.rs:486:31:486:66 | reader2.read_until(...) |
| test.rs:493:31:493:58 | reader2.read_line(...) |
| test.rs:500:31:500:62 | reader2.read_to_end(...) |
| test.rs:506:36:506:50 | reader2.lines() |
| test.rs:507:18:507:36 | lines_stream.next() |
| test.rs:508:36:508:54 | lines_stream.next() |
| test.rs:519:50:519:66 | ...::from(...) |
| test.rs:519:50:519:66 | ...::from(...) |

2
rust/ql/test/library-tests/dataflow/sources/stdin/CONSISTENCY/PathResolutionConsistency.expected Normal file
View File

@@ -0,0 +1,2 @@
multipleCallTargets
| test.rs:31:22:31:72 | ... .read_to_string(...) |

9
rust/ql/test/library-tests/dataflow/sources/web_frameworks/CONSISTENCY/PathResolutionConsistency.expected Normal file
View File

@@ -0,0 +1,9 @@
multipleCallTargets
| test.rs:13:14:13:23 | a.as_str() |
| test.rs:13:14:13:23 | a.as_str() |
| test.rs:14:14:14:25 | a.as_bytes() |
| test.rs:14:14:14:25 | a.as_bytes() |
| test.rs:101:14:101:23 | a.as_str() |
| test.rs:102:14:102:25 | a.as_bytes() |
| test.rs:158:14:158:23 | a.as_str() |
| test.rs:159:14:159:25 | a.as_bytes() |

4
rust/ql/test/library-tests/dataflow/sources/web_frameworks/CONSISTENCY/TypeInferenceConsistency.expected Normal file
View File

@@ -0,0 +1,4 @@
nonUniqueCertainType
| test.rs:139:30:139:39 | ...::get(...) | |
| test.rs:140:34:140:43 | ...::get(...) | |
| test.rs:141:30:141:39 | ...::get(...) | |