klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
main.cpp File Reference
#include "expr/Lexer.h"
#include "expr/Parser.h"
#include "klee/Config/Version.h"
#include "klee/Constraints.h"
#include "klee/Expr.h"
#include "klee/ExprBuilder.h"
#include "klee/Solver.h"
#include "klee/SolverImpl.h"
#include "klee/Statistics.h"
#include "klee/CommandLine.h"
#include "klee/Common.h"
#include "klee/util/ExprPPrinter.h"
#include "klee/util/ExprVisitor.h"
#include "klee/util/ExprSMTLIBLetPrinter.h"
#include "llvm/ADT/OwningPtr.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/ManagedStatic.h"
#include "llvm/Support/MemoryBuffer.h"
#include "llvm/Support/raw_ostream.h"
#include <sys/stat.h>
#include <unistd.h>
#include "llvm/Support/Signals.h"
#include "llvm/Support/system_error.h"
Include dependency graph for main.cpp:

Go to the source code of this file.

Enumerations

enum  ToolActions
 
enum  BuilderKinds
 

Functions

static std::string getQueryLogPath (const char filename[])
 
static std::string escapedString (const char *start, unsigned length)
 
static void PrintInputTokens (const MemoryBuffer *MB)
 
static bool PrintInputAST (const char *Filename, const MemoryBuffer *MB, ExprBuilder *Builder)
 
static bool EvaluateInputAST (const char *Filename, const MemoryBuffer *MB, ExprBuilder *Builder)
 
static bool printInputAsSMTLIBv2 (const char *Filename, const MemoryBuffer *MB, ExprBuilder *Builder)
 
int main (int argc, char **argv)
 

Enumeration Type Documentation

Definition at line 91 of file main.cpp.

Definition at line 69 of file main.cpp.

Function Documentation

static std::string escapedString ( const char *  start,
unsigned  length 
)
static

Definition at line 149 of file main.cpp.

Referenced by PrintInputTokens().

Here is the caller graph for this function:

static std::string getQueryLogPath ( const char  filename[])
static

Definition at line 119 of file main.cpp.

Referenced by EvaluateInputAST().

Here is the caller graph for this function:

int main ( int  argc,
char **  argv 
)
static bool printInputAsSMTLIBv2 ( const char *  Filename,
const MemoryBuffer *  MB,
ExprBuilder Builder 
)
static
static bool PrintInputAST ( const char *  Filename,
const MemoryBuffer *  MB,
ExprBuilder Builder 
)
static

Definition at line 178 of file main.cpp.

References klee::expr::Parser::GetNumErrors(), klee::expr::Parser::ParseTopLevelDecl(), and klee::expr::Parser::SetMaxErrors().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

static void PrintInputTokens ( const MemoryBuffer *  MB)
static

Definition at line 167 of file main.cpp.

References klee::expr::Token::column, escapedString(), klee::expr::Token::getKindName(), klee::expr::Token::kind, klee::expr::Token::length, klee::expr::Lexer::Lex(), klee::expr::Token::line, and klee::expr::Token::start.

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function: