ld_verify.cpp File Reference

#include <ld-frontend/verify/ld_verify.h>
#include <sstream>
#include <string_view>
#include <vector>
#include <cstdlib>
#include <boost/version.hpp>
#include <boost/filesystem.hpp>
#include <boost/dll/runtime_symbol_info.hpp>
#include <boost/process.hpp>

Include dependency graph for ld_verify.cpp:

Functions
static std::string	json_escape (const std::string &s)
static fs::path	locate_esbmc ()
static std::string	run_esbmc (const fs::path &esbmc, const std::vector< std::string > &args)
static void	parse_violated_property (const std::string &output, LdVerifyResult &r)
static std::string	no_verdict_description (const std::string &output)
static bool	has_verdict_line (const std::string &output, const char *verdict)

Function Documentation

has_verdict_line()

bool has_verdict_line ( const std::string & output, const char * verdict )

static

json_escape()

std::string json_escape ( const std::string & s )

static

locate_esbmc()

fs::path locate_esbmc ( )

static

no_verdict_description()

std::string no_verdict_description ( const std::string & output )

static

parse_violated_property()

void parse_violated_property ( const std::string & output, LdVerifyResult & r )

static

run_esbmc()

std::string run_esbmc ( const fs::path & esbmc, const std::vector< std::string > & args )

static