Rust: Add a count of flow sources to rust/summary/summary-statistics.

This commit is contained in:
Geoffrey White
2024-11-20 16:36:03 +00:00
parent 3fa93e5ca9
commit ca424d1e61
2 changed files with 7 additions and 0 deletions

View File

@@ -7,6 +7,7 @@
*/
import rust
import codeql.rust.Concepts
import codeql.rust.Diagnostics
import Stats
@@ -37,4 +38,8 @@ where
key = "Inconsistencies - CFG" and value = getTotalCfgInconsistencies()
or
key = "Inconsistencies - data flow" and value = getTotalDataFlowInconsistencies()
or
key = "Taint sources - total" and value = count(ThreatModelSource s)
or
key = "Taint sources - active" and value = count(ActiveThreatModelSource s)
select key, value

View File

@@ -10,3 +10,5 @@
| Inconsistencies - data flow | 0 |
| Lines of code extracted | 59 |
| Lines of user code extracted | 59 |
| Taint sources - active | 0 |
| Taint sources - total | 0 |