Skip to content

Commit

Permalink
Fixes to examples
Browse files Browse the repository at this point in the history
  • Loading branch information
@karoliineh
karoliineh committed Oct 31, 2024
1 parent c22203a commit 83b2565
Show file tree
Hide file tree
Showing 12 changed files with 47 additions and 99 deletions.
25 changes: 25 additions & 0 deletions adb_examples/debt-24-demo/goblint.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"files": [
"context-sensitivity.c"
],
"ana": {
"int": {
"def_exc" : false,
"interval": true
},
"activated": ["expRelation", "base", "threadid", "threadflag", "threadreturn",
"escape", "mutexEvents", "mutex", "access", "race", "mallocWrapper", "mhp",
"assert", "pthreadMutexType", "apron"]
},
"sem": {
"lock": {
"fail": true
}
},
"warn": {
"imprecise": false,
"deadcode": false,
"info": false
},
"allglobs": true
}
6 changes: 6 additions & 0 deletions adb_examples/debt-24-demo/gobpie.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
{
"goblintConf" : "goblint.json",
"abstractDebugging": true,
"incrementalAnalysis": false,
"showCfg": true
}
2 changes: 1 addition & 1 deletion adb_examples/debt-24-demo/smtprc-example/gobpie.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"goblintConf" : "smtprc.json",
"goblintConf" : "smtprc-extraction.json",
"abstractDebugging": true,
"incrementalAnalysis": false,
"showCfg": true
Expand Down
100 changes: 15 additions & 85 deletions adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json
View file
Original file line number Diff line number Diff line change
@@ -1,18 +1,4 @@
[
{
"arguments": [
"/usr/bin/gcc",
"-Wall",
"-g",
"-c",
"-o",
"smtprc.o",
"smtprc.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.o"
},
{
"arguments": [
"/usr/bin/gcc",
Expand All @@ -23,65 +9,9 @@
"scan_engine.o",
"scan_engine.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.o"
},
{
"arguments": [
"/usr/bin/gcc",
"-Wall",
"-g",
"-c",
"-o",
"options.o",
"options.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.o"
},
{
"arguments": [
"/usr/bin/gcc",
"-Wall",
"-g",
"-c",
"-o",
"utils.o",
"utils.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.o"
},
{
"arguments": [
"/usr/bin/gcc",
"-Wall",
"-g",
"-c",
"-o",
"parse_config_files.o",
"parse_config_files.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.o"
},
{
"arguments": [
"/usr/bin/gcc",
"-Wall",
"-g",
"-c",
"-o",
"parse_args.o",
"parse_args.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c",
"output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.o"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c",
"output": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o"
},
{
"arguments": [
Expand All @@ -92,8 +22,8 @@
"-pthread",
"smtprc.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.c"
},
{
"arguments": [
Expand All @@ -104,8 +34,8 @@
"-pthread",
"scan_engine.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c"
},
{
"arguments": [
Expand All @@ -116,8 +46,8 @@
"-pthread",
"options.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.c"
},
{
"arguments": [
Expand All @@ -128,8 +58,8 @@
"-pthread",
"utils.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.c"
},
{
"arguments": [
Expand All @@ -140,8 +70,8 @@
"-pthread",
"parse_config_files.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.c"
},
{
"arguments": [
Expand All @@ -152,7 +82,7 @@
"-pthread",
"parse_args.c"
],
"directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
"file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c"
"directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
"file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.c"
}
]
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o
View file
Binary file not shown.
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o
View file
Binary file not shown.
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o
View file
Binary file not shown.
13 changes: 0 additions & 13 deletions adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -82,19 +82,6 @@ void start_scan(void) {
}
flag = 0;
pthread_mutex_lock(&main_thread_count_mutex);
while(o.cur_threads>0) {
pthread_mutex_unlock(&main_thread_count_mutex);
flag++;
if(f.debug||f.verbose>1) {
if(flag>1) {
fprintf(stderr, "O.cur_childs(%d) id greater than zero...... sleepingz\n",o.cur_threads);
flag = 0;
}
}
nanosleep(&tv, NULL);
}
pthread_mutex_unlock(&main_thread_count_mutex);
//pthread_attr_destroy(&attr);

return;

Expand Down
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o
View file
Binary file not shown.
Binary file removed adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc
View file
Binary file not shown.
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.o
View file
Binary file not shown.
Binary file modified adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o
View file
Binary file not shown.

0 comments on commit 83b2565

Please sign in to comment.