Characteristic predicate InsecureTemporaryFile :: InsecureFileOpen :: InsecureFileOpen
InsecureFileOpen
(
)