Remove sanitizing condition which does not prevent

vulnerability.
This commit is contained in:
Alvaro Muñoz
2021-02-10 12:21:48 +01:00
parent 26288ad391
commit 3b4357792b

View File

@@ -7,13 +7,6 @@ import semmle.code.java.dataflow.DataFlow
import semmle.code.java.dataflow.DataFlow2
import semmle.code.java.dataflow.DataFlow3
/**
* The class `org.yaml.snakeyaml.constructor.Constructor`.
*/
class SnakeYamlConstructor extends RefType {
SnakeYamlConstructor() { this.hasQualifiedName("org.yaml.snakeyaml.constructor", "Constructor") }
}
/**
* The class `org.yaml.snakeyaml.constructor.SafeConstructor`.
*/
@@ -24,14 +17,11 @@ class SnakeYamlSafeConstructor extends RefType {
}
/**
* An instance of `SafeConstructor` or a `Constructor` that only allows the type that is passed into its argument.
* An instance of `SafeConstructor`
*/
class SafeSnakeYamlConstruction extends ClassInstanceExpr {
SafeSnakeYamlConstruction() {
this.getConstructedType() instanceof SnakeYamlSafeConstructor
or
this.getConstructedType() instanceof SnakeYamlConstructor and
this.getNumArgument() > 0
}
}