int main(int argv, char** args) {
/* Test correct initialization of static data */
assert (NULL != filename);
man = sh_manager_alloc("shad", "0.1", NULL, NULL);
/* register file */
sh_file_register(man, filename);
/* register types and their predicates */
register_typ();
/* print situation for types and preds */
sh_manager_fdump(stdout, man);
/* register icfg */
register_fun();
/* apply the fixpoint algorithm on icfg */
if (argv >= 2)
compute_fixpoint(args[1]); // function name
else
compute_fixpoint(NULL); // default
}
int registerLib(int (*register_fun)(FilterCreateFunction)) {
return register_fun(&PVFilterTest::create);
}
int registerLib(int (*register_fun)(FilterCreateFunction)) {
return register_fun(&PVTransBend::create);
}
