KleeHandler Class Reference
Public Member Functions | |
| KleeHandler (int argc, char **argv) | |
| ~KleeHandler () | |
| std::ostream & | getInfoStream () const |
| unsigned | getNumTestCases () |
| unsigned | getNumPathsExplored () |
| void | incPathsExplored () |
| void | setInterpreter (Interpreter *i) |
| void | processTestCase (const ExecutionState &state, const char *errorMessage, const char *errorSuffix) |
| std::string | getOutputFilename (const std::string &filename) |
| std::ostream * | openOutputFile (const std::string &filename) |
| std::string | getTestFilename (const std::string &suffix, unsigned id) |
| std::ostream * | openTestFile (const std::string &suffix, unsigned id) |
Static Public Member Functions | |
| static void | loadOutFile (std::string name, std::vector< unsigned char > &buffer) |
| static void | loadPathFile (std::string name, std::vector< bool > &buffer) |
| static void | getOutFiles (std::string path, std::vector< std::string > &results) |
Private Attributes | |
| Interpreter * | m_interpreter |
| TreeStreamWriter * | m_pathWriter |
| TreeStreamWriter * | m_symPathWriter |
| std::ostream * | m_infoFile |
| char | m_outputDirectory [1024] |
| unsigned | m_testIndex |
| unsigned | m_pathsExplored |
| int | m_argc |
| char ** | m_argv |
Detailed Description
Definition at line 185 of file main.cpp.
Constructor & Destructor Documentation
| KleeHandler::KleeHandler | ( | int | argc, | |
| char ** | argv | |||
| ) |
Definition at line 231 of file main.cpp.
References klee::klee_message_file, klee::klee_warning_file, m_infoFile, m_outputDirectory, and openOutputFile().
| KleeHandler::~KleeHandler | ( | ) |
Member Function Documentation
| std::ostream& KleeHandler::getInfoStream | ( | ) | const [inline, virtual] |
Implements klee::InterpreterHandler.
Definition at line 203 of file main.cpp.
References m_infoFile.
Referenced by main().
| unsigned KleeHandler::getNumPathsExplored | ( | ) | [inline] |
Definition at line 205 of file main.cpp.
References m_pathsExplored.
Referenced by main().
| unsigned KleeHandler::getNumTestCases | ( | ) | [inline] |
Definition at line 204 of file main.cpp.
References m_testIndex.
Referenced by main().
| void KleeHandler::getOutFiles | ( | std::string | path, | |
| std::vector< std::string > & | results | |||
| ) | [static] |
| std::string KleeHandler::getOutputFilename | ( | const std::string & | filename | ) | [virtual] |
Implements klee::InterpreterHandler.
Definition at line 331 of file main.cpp.
References m_outputDirectory.
Referenced by getTestFilename(), openOutputFile(), and setInterpreter().
| std::string KleeHandler::getTestFilename | ( | const std::string & | suffix, | |
| unsigned | id | |||
| ) |
Definition at line 354 of file main.cpp.
References getOutputFilename().
Referenced by processTestCase().
| void KleeHandler::incPathsExplored | ( | ) | [inline, virtual] |
Implements klee::InterpreterHandler.
Definition at line 206 of file main.cpp.
References m_pathsExplored.
| static void KleeHandler::loadOutFile | ( | std::string | name, | |
| std::vector< unsigned char > & | buffer | |||
| ) | [static] |
| void KleeHandler::loadPathFile | ( | std::string | name, | |
| std::vector< bool > & | buffer | |||
| ) | [static] |
| std::ostream * KleeHandler::openOutputFile | ( | const std::string & | filename | ) | [virtual] |
Implements klee::InterpreterHandler.
Definition at line 337 of file main.cpp.
References getOutputFilename(), klee_warning(), and klee::ints::trunc().
Referenced by KleeHandler(), and openTestFile().
| std::ostream * KleeHandler::openTestFile | ( | const std::string & | suffix, | |
| unsigned | id | |||
| ) |
Definition at line 360 of file main.cpp.
References openOutputFile().
Referenced by processTestCase().
| void KleeHandler::processTestCase | ( | const ExecutionState & | state, | |
| const char * | errorMessage, | |||
| const char * | errorSuffix | |||
| ) | [virtual] |
Implements klee::InterpreterHandler.
Definition at line 368 of file main.cpp.
References KTest::args, KTestObject::bytes, klee::ExecutionState::exeTraceMgr, klee::Interpreter::getConstraintLog(), klee::Interpreter::getCoveredLines(), klee::Interpreter::getPathStreamID(), klee::Interpreter::getSymbolicPathStreamID(), klee::Interpreter::getSymbolicSolution(), getTestFilename(), klee::util::getWallTime(), klee_warning(), kTest_toFile(), m_argc, m_argv, m_interpreter, m_pathWriter, m_symPathWriter, m_testIndex, KTestObject::name, KTest::numArgs, KTestObject::numBytes, KTest::numObjects, KTest::objects, openTestFile(), klee::ExecutionTraceManager::printAllEvents(), klee::TreeStreamWriter::readStream(), klee::Interpreter::setHaltExecution(), KTest::symArgvLen, and KTest::symArgvs.
| void KleeHandler::setInterpreter | ( | Interpreter * | i | ) |
Definition at line 315 of file main.cpp.
References getOutputFilename(), klee::TreeStreamWriter::good(), m_interpreter, m_pathWriter, m_symPathWriter, klee::Interpreter::setPathWriter(), and klee::Interpreter::setSymbolicPathWriter().
Referenced by main().
Member Data Documentation
int KleeHandler::m_argc [private] |
char** KleeHandler::m_argv [private] |
std::ostream* KleeHandler::m_infoFile [private] |
Definition at line 189 of file main.cpp.
Referenced by getInfoStream(), KleeHandler(), and ~KleeHandler().
Interpreter* KleeHandler::m_interpreter [private] |
char KleeHandler::m_outputDirectory[1024] [private] |
unsigned KleeHandler::m_pathsExplored [private] |
Definition at line 193 of file main.cpp.
Referenced by getNumPathsExplored(), and incPathsExplored().
TreeStreamWriter* KleeHandler::m_pathWriter [private] |
Definition at line 188 of file main.cpp.
Referenced by processTestCase(), setInterpreter(), and ~KleeHandler().
TreeStreamWriter * KleeHandler::m_symPathWriter [private] |
Definition at line 188 of file main.cpp.
Referenced by processTestCase(), setInterpreter(), and ~KleeHandler().
unsigned KleeHandler::m_testIndex [private] |
The documentation for this class was generated from the following file:
- tools/klee/main.cpp
