Rename sanitizer

This commit is contained in:
Chris Smowton
2022-08-03 09:37:20 +01:00
committed by GitHub
parent e04a9b5805
commit e04c77ce15

View File

@@ -71,10 +71,10 @@ module TaintedPath {
}
/**
* A numeric-typed node, considered a sanitizer for path traversal.
* A numeric- or boolean-typed node, considered a sanitizer for path traversal.
*/
class NumericSanitizer extends Sanitizer {
NumericSanitizer() {
class NumericOrBooleanSanitizer extends Sanitizer {
NumericOrBooleanSanitizer() {
this.getType() instanceof NumericType or this.getType() instanceof BoolType
}
}