Consider the following program:
//-
#include
#include
#define BUFFER_SIZE 16
int main(int argc, char *argv[]) {
char *buffer = malloc(BUFFER_SIZE);
int index;
klee_make_symbolic(buffer, BUFFER_SIZE, "buffer");
klee_make
Hi,
I was wondering if someone could enlighten me as to how the paths.ts,
symPaths.ts, test*.path and test*.sym.path files generated by
--write-sym-paths and --write-paths can be used?
Some googling turned up [1] but, other than that, is there an intended
application for processing this data?
Ch
