This commit is contained in:
Geoffrey White 2019-10-23 08:47:59 +01:00
Родитель 9949d8a000
Коммит e331a24dbb
1 изменённых файлов: 1 добавлений и 3 удалений

Просмотреть файл

@ -17,9 +17,7 @@ import csharp
import UnsafeDeserialization::UnsafeDeserialization
import DataFlow::PathGraph
from
TaintTrackingConfig config, DataFlow::PathNode source,
DataFlow::PathNode sink
from TaintTrackingConfig config, DataFlow::PathNode source, DataFlow::PathNode sink
where config.hasFlowPath(source, sink)
select sink.getNode(), source, sink, "$@ flows to unsafe deserializer.", source.getNode(),
"User-provided data"