recognize more modelled database accesses

This commit is contained in:
Esben Sparre Andreasen
2021-12-10 14:54:59 +01:00
parent b0f6cf1491
commit cfd2dcffa0

View File

@@ -200,8 +200,9 @@ predicate isOtherModeledArgument(DataFlow::Node n, FilteringReason reason) {
or
call instanceof FileSystemAccess and reason instanceof FileSystemAccessReason
or
// TODO database accesses are less well defined than database query sinks, so this may cover unmodeled sinks
call instanceof DatabaseAccess and reason instanceof DatabaseAccessReason
// TODO database accesses are less well defined than database query sinks, so this may cover unmodeled sinks on existing database models
[call, call.getAMethodCall() /* command pattern where the query is built, and then exec'ed later */] instanceof DatabaseAccess and
reason instanceof DatabaseAccessReason
or
call = DOM::domValueRef() and reason instanceof DOMReason
or