hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 06:55:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: More precise imports.

Browse Source
This commit is contained in:
Geoffrey White
2025-04-08 09:27:02 +01:00
parent ee54ba4c48
commit fd3dcb2d00
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
View File

@@ -5,10 +5,10 @@
* @id rust/diagnostics/ssa-consistency-counts
*/
private import codeql.rust.dataflow.internal.SsaImpl as SsaImpl
private import codeql.rust.dataflow.internal.SsaImpl::Consistency as SsaConsistency
// see also `rust/diagnostics/ssa-consistency`, which lists the
// individual inconsistency results.
from string type, int num
where num = SsaImpl::Consistency::getInconsistencyCounts(type)
where num = SsaConsistency::getInconsistencyCounts(type)
select type, num

4
rust/ql/src/queries/summary/Stats.qll
View File

@@ -10,7 +10,7 @@ private import codeql.rust.internal.AstConsistency as AstConsistency
private import codeql.rust.internal.PathResolutionConsistency as PathResolutionConsistency
private import codeql.rust.controlflow.internal.CfgConsistency as CfgConsistency
private import codeql.rust.dataflow.internal.DataFlowConsistency as DataFlowConsistency
private import codeql.rust.dataflow.internal.SsaImpl as SsaImpl
private import codeql.rust.dataflow.internal.SsaImpl::Consistency as SsaConsistency
private import codeql.rust.Concepts
private import codeql.rust.Diagnostics
private import codeql.rust.security.SensitiveData
@@ -62,7 +62,7 @@ int getTotalCfgInconsistencies() {
* Gets a count of the total number of SSA inconsistencies in the database.
*/
int getTotalSsaInconsistencies() {
result = sum(string type | | SsaImpl::Consistency::getInconsistencyCounts(type))
result = sum(string type | | SsaConsistency::getInconsistencyCounts(type))
}
/**