Minor formatting fixes

This commit is contained in:
Daniel Santos
2022-10-24 09:38:17 -05:00
parent 066ffb7520
commit a2ad924376
4 changed files with 8 additions and 8 deletions

View File

@@ -34,7 +34,7 @@ Version four is the only UUID version expected to be randomly generated.
<references>
<li>UUID <a href="https://datatracker.ietf.org/doc/html/rfc4122">RFC</a>.</li>
<li>Daniel Thatcher <i>In GUID We Trust<i> <a href="https://www.intruder.io/research/in-guid-we-trust">article</a>.</li>
<li>Daniel Thatcher <i>In GUID We Trust</i> <a href="https://www.intruder.io/research/in-guid-we-trust">article</a>.</li>
<li>UUID exploitation <a href="https://github.com/intruder-io/guidtool">tool</a>.</li>
</references>
</qhelp>

View File

@@ -47,8 +47,8 @@ class TokenAssignmentValueSink extends DataFlow::Node {
}
}
class TokenBuiltFromUUIDConfig extends TaintTracking::Configuration {
TokenBuiltFromUUIDConfig() { this = "TokenBuiltFromUUIDConfig" }
class TokenBuiltFromUuidConfig extends TaintTracking::Configuration {
TokenBuiltFromUuidConfig() { this = "TokenBuiltFromUuidConfig" }
override predicate isSource(DataFlow::Node source) { source instanceof PredictableResultSource }
@@ -64,6 +64,6 @@ class TokenBuiltFromUUIDConfig extends TaintTracking::Configuration {
}
}
from DataFlow::PathNode source, DataFlow::PathNode sink, TokenBuiltFromUUIDConfig config
from DataFlow::PathNode source, DataFlow::PathNode sink, TokenBuiltFromUuidConfig config
where config.hasFlowPath(source, sink)
select sink.getNode(), source, sink, "Token built from $@.", source.getNode(), "predictable value"