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

Rust: Correct + clarify qldoc.

Browse Source
This commit is contained in:
Geoffrey White
2025-11-17 15:25:03 +00:00
parent 7c8e44db8e
commit 81096131b6
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rust/ql/lib/codeql/rust/security/AccessInvalidPointerExtensions.qll
View File

@@ -62,8 +62,8 @@ module AccessInvalidPointer {
}
/**
* A barrier for invalid pointer access vulnerabilities for values found to be `null` in
* a comparison.
* A barrier for invalid pointer access vulnerabilities for values checked to
* be non-`null`.
*/
private class NullCheckBarrier extends Barrier instanceof Barriers::NotNullCheckBarrier { }
private class NotNullCheckBarrier extends Barrier instanceof Barriers::NotNullCheckBarrier { }
}

2
rust/ql/lib/codeql/rust/security/Barriers.qll
View File

@@ -58,7 +58,7 @@ private predicate notNullCheck(CfgNodes::AstCfgNode g, Cfg::CfgNode node, boolea
}
/**
* A node representing a check that the value is not null, which may be an
* A node representing a value checked to be non-null. This may be an
* appropriate taint flow barrier for some queries.
*/
class NotNullCheckBarrier extends DataFlow::Node {