Predicate isFileConstructorArgument
Holds if expDest is some constructor call new java.io.File(expSource), where the specific File constructor being used has paramCount parameters.
Import path
import semmle.code.java.security.TempDirUtilspredicate isFileConstructorArgument(Expr expSource, Expr exprDest, int paramCount)