Skip to content

Commit 5b6a4e6

Browse files
committed
Rust: Update stats queries to use shared data flow consistency module
1 parent 08648f9 commit 5b6a4e6

File tree

1 file changed

+2
-8
lines changed

1 file changed

+2
-8
lines changed

rust/ql/src/queries/summary/Stats.qll

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ private import codeql.rust.dataflow.internal.DataFlowImpl
77
private import codeql.rust.dataflow.internal.TaintTrackingImpl
88
private import codeql.rust.AstConsistency as AstConsistency
99
private import codeql.rust.controlflow.internal.CfgConsistency as CfgConsistency
10-
private import codeql.dataflow.internal.DataFlowImplConsistency as DataFlowImplConsistency
10+
private import codeql.rust.dataflow.internal.DataFlowConsistency as DataFlowConsistency
1111

1212
/**
1313
* Gets a count of the total number of lines of code in the database.
@@ -35,15 +35,9 @@ int getTotalCfgInconsistencies() {
3535
result = sum(string type | | CfgConsistency::getCfgInconsistencyCounts(type))
3636
}
3737

38-
private module Input implements DataFlowImplConsistency::InputSig<Location, RustDataFlow> { }
39-
4038
/**
4139
* Gets a count of the total number of data flow inconsistencies in the database.
4240
*/
4341
int getTotalDataFlowInconsistencies() {
44-
result =
45-
sum(string type |
46-
|
47-
DataFlowImplConsistency::MakeConsistency<Location, RustDataFlow, RustTaintTracking, Input>::getInconsistencyCounts(type)
48-
)
42+
result = sum(string type | | DataFlowConsistency::getInconsistencyCounts(type))
4943
}

0 commit comments

Comments
 (0)