fslice/runPathCounter.sh at master · samstack6/fslice · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/ifElse.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/basic.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/ifElse2.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/for.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/forIfElse.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/forNested.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/forNestedIfElse.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/cmd.bc > /dev/null > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/funCall.bc > /dev/null

###declare -a arr=("yes" "groups" "sleep" "nice" "sync" "echo" "sum" "cksum" "pwd" "touch")
#declare -a arr=("yes") # "groups" "sleep" "nice" "sync" "echo" "sum" "cksum" "pwd" "touch")
#for file in "${arr[@]}"
##for file in $@
#do
#srcFile=coreutils/src/$file\.bc
#bcFile=coreutils/src/$file\.bc
#./llvm/build/bin/clang -c -emit-llvm $srcFile -o $bcFile  -I coreutils/lib
##echo $file
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < $bcFile > /dev/null
#done

#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/intArray.bc > /dev/null 2> /tmp/path
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/intCACI.bc > /dev/null 2> /tmp/path
cat /tmp/path
cd visualize/post_processing/pathCounter && ./z3LogProcessor.py

#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < coreutils/src/yes.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/for_klee.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < coreutils/src/users.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/users.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < coreutils/gnulib/lib/progname.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/users.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/load.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/forIfElse.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/recursion.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/funCall.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < example/switchCase.bc > /dev/null

### Testfs stuff
#cd testfs
#../llvm/build/bin/clang -c -emit-llvm bitmap.c
#../llvm/build/bin/clang -c -emit-llvm block.c
#../llvm/build/bin/clang -c -emit-llvm csum.c
#../llvm/build/bin/clang -c -emit-llvm dir.c
#../llvm/build/bin/clang -c -emit-llvm file.c
#../llvm/build/bin/clang -c -emit-llvm inode.c
#../llvm/build/bin/clang -c -emit-llvm super.c
#../llvm/build/bin/clang -c -emit-llvm testfs.c
#../llvm/build/bin/clang -c -emit-llvm tx.c
#../llvm/build/bin/llvm-link bitmap.bc block.bc csum.bc dir.bc file.bc inode.bc super.bc testfs.bc tx.bc -o testfs.bc
##../llvm/build/bin/clang -c -emit-llvm testfs_dir_name_to_inode_nr_rec.c
#cd ..
##./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < testfs/testfs_dir_name_to_inode_nr_rec.bc > /dev/null
#./llvm/build/bin/opt -load ./build/libpathCounter.so -pathCounter < testfs/testfs.bc > /dev/null