- f -

• falseExpr : klee::SelectExpr
• FD : klee::compressed_fd_ostream
• file : klee::FunctionInfo, klee::InstructionInfo
• Fl80 : klee::Expr
• forceNoLineBreaks : PPrinter
• forkDisabled : klee::ExecutionState
• fullBranches : klee::StatsTracker
• function : klee::CallPathNode, klee::KFunction
• functionInfos : klee::InstructionInfoTable
• functionMap : klee::KModule
• functions : klee::KModule