Merge pull request #3936 from aibaars/object-clone

Java: model Object.clone
This commit is contained in:
Anders Schack-Mulligen
2020-07-09 16:09:01 +02:00
committed by GitHub
3 changed files with 7 additions and 2 deletions

View File

@@ -310,6 +310,8 @@ private predicate qualifierToMethodStep(Expr tracked, MethodAccess sink) {
* Methods that return tainted data when called on tainted data.
*/
private predicate taintPreservingQualifierToMethod(Method m) {
m instanceof CloneMethod
or
m.getDeclaringType() instanceof TypeString and
(
m.getName() = "concat" or