int main(int argc, const char **argv) {
if (argc < 2) {
printf("no file name entered\n");
return 1;
}
if (argc > 2)
printCFG = atoi(&argv[2][0]);
if (argc > 3)
funcToAnalyze = argv[3];
else
funcToAnalyze = "main";
printf("Will analyze function %s\n", funcToAnalyze);
// Read file contents into a char array
std::ifstream in(argv[1]);
std::string contents((std::istreambuf_iterator<char>(in)),
std::istreambuf_iterator<char>());
// Interval package
man = box_manager_alloc();
printf("******************************\n");
printf("Apron: Library %s, version %s\n", man->library, man->version);
printf("******************************\n");
int ret = !clang::tooling::runToolOnCode(new ExampleFrontendAction,
contents.c_str());
ap_manager_free(man);
return ret;
}
int main(void)
{
man = box_manager_alloc();
loop_example();
ap_manager_free(man);
return 0;
}
#include "japron.h"
#include "apron_Box.h"
#include "box.h"
//////////////////////////////////////
/*
* Class: apron_Box
* Method: init
* Signature: ()V
*/
JNIEXPORT void JNICALL Java_apron_Box_init
(JNIEnv *env, jobject o)
{
check_nonnull(o,);
ap_manager_t* m = box_manager_alloc();
if (!m) { out_of_memory("cannot create manager"); return; }
japron_manager_setup(m);
set_manager(o, m);
}
/*
* Class: apron_Box
* Method: class_init
* Signature: ()V
*/
JNIEXPORT void JNICALL Java_apron_Box_class_1init
(JNIEnv *env, jclass cls)
{
japron_cache(env);
}
