Characteristic predicate InsecureTemporaryFile :: OpenFileCall :: OpenFileCall
OpenFileCall
(
)