C++: fix use of getUnspecifiedType on Node

This commit is contained in:
Robert Marsh
2019-05-21 11:06:15 +01:00
parent dbdaa1d3f3
commit 2dd1c06409

View File

@@ -60,7 +60,7 @@ class NonNullDaclConfig extends DataFlow2::Configuration {
}
override predicate isSource(DataFlow::Node source) {
source.getUnspecifiedType().(PointerType).getBaseType() =
source.getType().getUnspecifiedType().(PointerType).getBaseType() =
any(Type t | t.getName() = "ACL").getUnspecifiedType() and
(
// If the value comes from a function whose body we can't see, assume