/*
* Delete the whole thing
*/
void delete_ef_solver(ef_solver_t *solver) {
if (solver->exists_context != NULL) {
delete_context(solver->exists_context);
safe_free(solver->exists_context);
solver->exists_context = NULL;
}
if (solver->forall_context != NULL) {
delete_context(solver->forall_context);
safe_free(solver->forall_context);
solver->forall_context = NULL;
}
if (solver->exists_model != NULL) {
yices_free_model(solver->exists_model);
solver->exists_model = NULL;
}
safe_free(solver->evalue);
safe_free(solver->uvalue);
solver->evalue = NULL;
solver->uvalue = NULL;
if (solver->full_model != NULL) {
yices_free_model(solver->full_model);
solver->full_model = NULL;
}
yices_delete_term_vector(&solver->implicant);
delete_ivector(&solver->evalue_aux);
delete_ivector(&solver->uvalue_aux);
delete_ivector(&solver->all_vars);
delete_ivector(&solver->all_values);
}
smbresultlist* runtarget(char *target, int maxdepth) {
SMBCCTX *context;
char buf[256];
smbresultlist *res = NULL;
//Try to create a context, if it's null that means we failed, so let the user know.
if((context = create_context()) == NULL) {
smbresult *tmp = createSMBResultEmpty();
parse_smburl(target, &tmp->host, &tmp->share, &tmp->object);
tmp->statuscode = errno;
smbresultlist_push(&res, tmp);
return res;
}
//Check to see if the target has smb:// in front, if not add it.
if(strncmp("smb://", target, 6) != 0) {
snprintf(buf, sizeof(buf), "smb://%s", target);
} else {
strncpy(buf, target, strlen(target) + 1);
}
//Browse to our file and get the goods
res = browse(context, buf, maxdepth, 0);
//Delete our context, so there's less segfaults.
delete_context(context);
return res;
}
draw_context_t GSFrameBase::new_context()
{
if (void* context = make_context())
{
return std::shared_ptr<void>(context, [this](void* ctxt) { delete_context(ctxt); });
}
return nullptr;
}
/*
* Free or reset the forall_context:
* - if flag del is true: delete
* - otherwise, just reset
*/
static void clear_forall_context(ef_solver_t *solver, bool del) {
assert(solver->forall_context != NULL);
if (del) {
delete_context(solver->forall_context);
safe_free(solver->forall_context);
solver->forall_context = NULL;
} else {
reset_context(solver->forall_context);
}
}
void factor_vm::end_callback() {
callback_ids.pop_back();
delete_context(ctx);
}
/* Check */
#include <sys/types.h>
#include <sys/stat.h>
#include <unistd.h>
#include <string.h>
#include <stdlib.h>
#include <stdio.h>
#include <parse_tree.h>
#include <aurochs.h>
static unsigned char *load_file(char *name, size_t *size)/*{{{*/
{
size_t m;
struct stat st;
unsigned char *data;
FILE *f;
unsigned char *retval;
retval = 0;
if(!stat(name, &st)) {
m = st.st_size;
*size = m;
data = malloc(m);
if(data) {
f = fopen(name, "rb");
if(f) {
if(1 == fread(data, m, 1, f)) {
retval = data;
data = 0;
}
fclose(f);
}
if(data) free(data);
}
}
return retval;
}/*}}}*/
int main(int argc, char **argv)
{
unsigned char *peg_data;
char *peg_fn;
size_t peg_data_size;
nog_program_t *pg;
packer_t pk;
staloc_t *st;
int rc;
rc = 0;
argv ++; argc --;
if(!argc) {
printf("No PEG data\n");
exit(EXIT_FAILURE);
}
peg_fn = *(argv ++); argc --;
printf("Loading peg_data from file %s\n", peg_fn);
peg_data = load_file(peg_fn, &peg_data_size);
if(!peg_data) {
printf("Can't load peg data.\n");
exit(EXIT_FAILURE);
}
/* Create a stack allocator */
st = staloc_create(&alloc_stdlib);
if(!st) {
printf("Can't create stack allocator.\n");
exit(EXIT_FAILURE);
}
if(pack_init_from_string(&pk, peg_data, peg_data_size)) {
printf("peg_data[0] = %d\n", peg_data[0]);
pg = nog_unpack_program(&st->s_alloc, &pk);
printf("Unpacked to %p\n", pg);
if(pg) {
peg_context_t *cx;
size_t m;
int i;
int error_pos;
char *fn;
unsigned char *buf;
int rc;
rc = 0;
for(i = 0; i < argc; i ++) {
fn = argv[i];
peg_builder_t pb;
staloc_t *s2;
s2 = staloc_create(&alloc_stdlib);
buf = load_file(fn, &m);
printf("Loaded file %s to %p\n", fn, buf);
if(buf) {
ptree_init(&pb, &s2->s_alloc);
cx = peg_create_context(&alloc_stdlib, pg, &pb, &s2->s_alloc, buf, m);
printf("Created context %p\n", cx);
if(cx) {
tree tr;
if(nog_execute(cx, pg, &tr)) {
printf("Parsed as %p.\n", tr);
ptree_dump_tree(cx->cx_builder_info, stdout, buf, tr, 0);
} else {
printf("Doesn't parse.\n");
error_pos = nog_error_position(cx, pg);
printf("Error at %d\n", error_pos);
}
peg_delete_context(cx);
}
}
staloc_dispose(s2);
free(buf);
}
#if 0
i = foobar_parse_start(cx, - m);
if(getenv("DUMP_CONTEXT")) dump_context(stdout, cx);
if(!i) {
printf("%05d RESULT OK\n", count);
tree *tr0;
if(getenv("DUMP_TREE"))
{
tr0 = create_node("Root");
(void) foobar_build_start(cx, &tr0->t_element.t_node, -m);
reverse_tree(tr0);
dump_tree(stdout, cx->cx_input, tr0, 0);
}
} else {
error_pos = error_position(cx);
if(i > 0) {
printf("%05d RESULT NOPREFIX; ERROR AT %d\n", count, error_pos);
rc = 1;
} else {
printf("%05d RESULT PREFIX %d; ERROR AT %d\n", count, m + i, error_pos);
}
}
fflush(stdout);
delete_context(cx);
fclose(f);
}
#endif
/* nog_free_program(&st->s_alloc, pg); */
staloc_dispose(st);
}
}