1
+ /home/machiry/projects/CheckedC/checkedc-clang/llvm/cmake-build-debug/bin/cconv-standalone \
2
+ -dump-stats \
3
+ -output-postfix=checked \
4
+ -dump-intermediate \
5
+ -extra-arg-before=-D_FORTIFY_SOURCE=2 \
6
+ -extra-arg-before=-w \
7
+ -base-dir=" /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/" \
8
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ascii.c \
9
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ftppolicy.c \
10
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/tcpwrap.c \
11
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/logging.c \
12
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/netstr.c \
13
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ssl.c \
14
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/tunables.c \
15
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/prelogin.c \
16
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/sysutil.c \
17
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/banner.c \
18
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/standalone.c \
19
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ptracesandbox.c \
20
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/readwrite.c \
21
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/str.c \
22
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/sslslave.c \
23
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ls.c \
24
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/secutil.c \
25
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/seccompsandbox.c \
26
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/postlogin.c \
27
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/opts.c \
28
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/postprivparent.c \
29
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/strlist.c \
30
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/sysdeputil.c \
31
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/utility.c \
32
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ipaddrparse.c \
33
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/access.c \
34
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/features.c \
35
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/main.c \
36
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ftpdataio.c \
37
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/ftpcmdio.c \
38
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/sysstr.c \
39
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/twoprocess.c \
40
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/hash.c \
41
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/privsock.c \
42
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/privops.c \
43
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/oneprocess.c \
44
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/filestr.c \
45
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/secbuf.c \
46
+ /home/machiry/projects/CheckedC/checkedc-evaluation/experimental_data/benchmarks/checkedc_benchmarks/vsftpd-3.0.3/parseconf.c
0 commit comments