CBMC
|
#include <iosfwd>
#include <string>
#include <vector>
Go to the source code of this file.
Functions | |
std::string | shell_quote (const std::string &src) |
This performs shell quoting if necessary on input src . More... | |
int | run (const std::string &what, const std::vector< std::string > &argv) |
int | run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, const std::string &std_output, const std::string &std_error) |
This runs the executable given by the file name what . More... | |
int | run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, std::ostream &std_output, const std::string &std_error) |
This runs the executable given by the file name what . More... | |
int run | ( | const std::string & | what, |
const std::vector< std::string > & | argv | ||
) |
int run | ( | const std::string & | what, |
const std::vector< std::string > & | argv, | ||
const std::string & | std_input, | ||
const std::string & | std_output, | ||
const std::string & | std_error | ||
) |
This runs the executable given by the file name what
.
Control returns when execution has finished. Stdin, stdout and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any shell-meta characters in the executable, argv
and the I/O redirect files are escaped as needed.
int run | ( | const std::string & | what, |
const std::vector< std::string > & | argv, | ||
const std::string & | std_input, | ||
std::ostream & | std_output, | ||
const std::string & | std_error | ||
) |
This runs the executable given by the file name what
.
Control returns when execution has finished. Stdin and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any output to stdout is stored in the std_output
stream buffer. Any shell-meta characters in the executable, argv
and the I/O redirect files are escaped as needed.