-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathrun_callstring_configs
More file actions
executable file
·14 lines (12 loc) · 1 KB
/
run_callstring_configs
File metadata and controls
executable file
·14 lines (12 loc) · 1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/sh
echo "RUNNING ANALYSIS CONFIGS ON $1 (CALLSTRINGS MODE)"
echo "BATCH"
./callstrings_dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph | grep EXPERIMENT > $2/$1.cs.batch
echo "INCREMENTAL"
./callstrings_dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -incr | grep EXPERIMENT > $2/$1.cs.incr
if test -f "experiment_inputs/$1/query"; then
echo "DEMAND-DRIVEN"
./callstrings_dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -demand "$(<experiment_inputs/$1/query)" | grep EXPERIMENT > $2/$1.cs.dd
echo "DEMAND-DRIVEN and INCREMENTAL"
./callstrings_dai _bugswarm/$1/fail -edit _bugswarm/$1/pass -prev experiment_inputs/$1/fail/callgraph -next experiment_inputs/$1/pass/callgraph -demand "$(<experiment_inputs/$1/query)" -incr | grep EXPERIMENT > $2/$1.cs.ddincr
fi