format document

This commit is contained in:
Brandon Stewart
2023-08-10 13:59:47 +00:00
parent b899b648e5
commit 01577dac32

View File

@@ -39,6 +39,7 @@ private module UnsafeHmacComparison {
}
private import UnsafeHmacComparison::PathGraph
from UnsafeHmacComparison::PathNode source, UnsafeHmacComparison::PathNode sink
where UnsafeHmacComparison::flowPath(source, sink)
select sink.getNode(), source, sink, "This comparison is potentially vulnerable to a timing attack."