Java: fix sanitizer bug

This commit is contained in:
Stephan Brandauer
2023-05-31 11:53:02 +02:00
parent 86559317d7
commit 12ea5e0e90

View File

@@ -49,8 +49,8 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig
// Sanitizers are currently not modeled in MaD. TODO: check if this has large negative impact.
predicate isSanitizer(Endpoint e, EndpointType t) {
exists(t) and
(
exists(t) and
e.getType() instanceof BoxedType
or
e.getType() instanceof PrimitiveType