seccomp - amd64

18-sim-basic_whitelist.c

Gimple

./18-sim-basic_whitelist.c.004t.gimple

GKD

./18-sim-basic_whitelist.o.gkd

OBJ

obj: ./18-sim-basic_whitelist.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

18-sim-basic_whitelist.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

02-sim-basic.c

Gimple

./02-sim-basic.c.004t.gimple

GKD

./02-sim-basic.o.gkd

OBJ

obj: ./02-sim-basic.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

02-sim-basic.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

04-sim-multilevel_chains.c

Gimple

./04-sim-multilevel_chains.c.004t.gimple

GKD

./04-sim-multilevel_chains.o.gkd

OBJ

obj: ./04-sim-multilevel_chains.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

04-sim-multilevel_chains.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

13-basic-attrs.c

Gimple

./13-basic-attrs.c.004t.gimple

GKD

./13-basic-attrs.o.gkd

OBJ

obj: ./13-basic-attrs.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

13-basic-attrs.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

01-sim-allow.c

Gimple

./01-sim-allow.c.004t.gimple

GKD

./01-sim-allow.o.gkd

OBJ

obj: ./01-sim-allow.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

01-sim-allow.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

24-live-arg_allow.c

Gimple

./24-live-arg_allow.c.004t.gimple

GKD

./24-live-arg_allow.o.gkd

OBJ

obj: ./24-live-arg_allow.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

24-live-arg_allow.c

../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

scmp_sys_resolver.c

Gimple

./scmp_sys_resolver.c.004t.gimple

GKD

./scmp_sys_resolver.o.gkd

OBJ

obj: ./scmp_sys_resolver.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

includes

scmp_sys_resolver.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/stdint.h ../headers//usr/include/ctype.h ../headers/../src/arch.h ../headers//usr/include/getopt.h ../headers/../src/arch-x86.h ../headers/../src/arch-x86_64.h ../headers/../src/arch-x32.h ../headers/../src/arch-arm.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

17-sim-arch_merge.c

Gimple

./17-sim-arch_merge.c.004t.gimple

GKD

./17-sim-arch_merge.o.gkd

OBJ

obj: ./17-sim-arch_merge.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

17-sim-arch_merge.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

19-sim-missing_syscalls.c

Gimple

./19-sim-missing_syscalls.c.004t.gimple

GKD

./19-sim-missing_syscalls.o.gkd

OBJ

obj: ./19-sim-missing_syscalls.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

19-sim-missing_syscalls.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

21-live-basic_allow.c

Gimple

./21-live-basic_allow.c.004t.gimple

GKD

./21-live-basic_allow.o.gkd

OBJ

obj: ./21-live-basic_allow.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

21-live-basic_allow.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

12-sim-basic_masked_ops.c

Gimple

./12-sim-basic_masked_ops.c.004t.gimple

GKD

./12-sim-basic_masked_ops.o.gkd

OBJ

obj: ./12-sim-basic_masked_ops.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

12-sim-basic_masked_ops.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

07-sim-db_bug_looping.c

Gimple

./07-sim-db_bug_looping.c.004t.gimple

GKD

./07-sim-db_bug_looping.o.gkd

OBJ

obj: ./07-sim-db_bug_looping.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

07-sim-db_bug_looping.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

16-sim-arch_basic.c

Gimple

./16-sim-arch_basic.c.004t.gimple

GKD

./16-sim-arch_basic.o.gkd

OBJ

obj: ./16-sim-arch_basic.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

16-sim-arch_basic.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

25-sim-multilevel_chains_adv.c

Gimple

./25-sim-multilevel_chains_adv.c.004t.gimple

GKD

./25-sim-multilevel_chains_adv.o.gkd

OBJ

obj: ./25-sim-multilevel_chains_adv.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

25-sim-multilevel_chains_adv.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

23-sim-arch_all_basic.c

Gimple

./23-sim-arch_all_basic.c.004t.gimple

GKD

./23-sim-arch_all_basic.o.gkd

OBJ

obj: ./23-sim-arch_all_basic.o

api.c

Gimple

./api.c.004t.gimple

GKD

./api.o.gkd

OBJ

obj: ./api.o

db.c

Gimple

./db.c.004t.gimple

GKD

./db.o.gkd

OBJ

obj: ./db.o

arch.c

Gimple

./arch.c.004t.gimple

GKD

./arch.o.gkd

OBJ

obj: ./arch.o

arch-x86.c

Gimple

./arch-x86.c.004t.gimple

GKD

./arch-x86.o.gkd

OBJ

obj: ./arch-x86.o

arch-x86-syscalls.c

Gimple

./arch-x86-syscalls.c.004t.gimple

GKD

./arch-x86-syscalls.o.gkd

OBJ

obj: ./arch-x86-syscalls.o

unassigned

arch-x86_64.c

Gimple

./arch-x86_64.c.004t.gimple

GKD

./arch-x86_64.o.gkd

OBJ

obj: ./arch-x86_64.o

arch-x86_64-syscalls.c

Gimple

./arch-x86_64-syscalls.c.004t.gimple

GKD

./arch-x86_64-syscalls.o.gkd

OBJ

obj: ./arch-x86_64-syscalls.o

unassigned

arch-x32.c

Gimple

./arch-x32.c.004t.gimple

GKD

./arch-x32.o.gkd

OBJ

obj: ./arch-x32.o

arch-x32-syscalls.c

Gimple

./arch-x32-syscalls.c.004t.gimple

GKD

./arch-x32-syscalls.o.gkd

OBJ

obj: ./arch-x32-syscalls.o

unassigned

arch-arm.c

Gimple

./arch-arm.c.004t.gimple

GKD

./arch-arm.o.gkd

OBJ

obj: ./arch-arm.o

arch-arm-syscalls.c

Gimple

./arch-arm-syscalls.c.004t.gimple

GKD

./arch-arm-syscalls.o.gkd

OBJ

obj: ./arch-arm-syscalls.o

gen_pfc.c

Gimple

./gen_pfc.c.004t.gimple

GKD

./gen_pfc.o.gkd

OBJ

obj: ./gen_pfc.o

gen_bpf.c

Gimple

./gen_bpf.c.004t.gimple

GKD

./gen_bpf.o.gkd

OBJ

obj: ./gen_bpf.o

hash.c

Gimple

./hash.c.004t.gimple

GKD

./hash.o.gkd

OBJ

obj: ./hash.o

util.c

Gimple

./util.c.004t.gimple

GKD

./util.o.gkd

OBJ

obj: ./util.o

includes

23-sim-arch_all_basic.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h

api.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/prctl.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h ./gen_pfc.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

db.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/assert.h

arch.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h ./arch-x86.h ./arch-x86_64.h ./arch-x32.h ./arch-arm.h

arch-x86.c

../headers//usr/include/stdint.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./arch.h ./db.h

arch-x86-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x86_64.c

arch-x86_64-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-x32.c

arch-x32-syscalls.c

./arch-x86_64.h

unassigned

./arch.h ../headers//usr/include/stdint.h

arch-arm.c

arch-arm-syscalls.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

gen_pfc.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./arch.h ./db.h ../headers//usr/include/stdlib.h ../headers//usr/include/unistd.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

gen_bpf.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/libio.h ../headers//usr/include/asm-generic/int-ll64.h ../headers//usr/include/linux/filter.h ./system.h ./arch.h ./db.h ./gen_bpf.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./hash.h ../headers//usr/include/string.h

hash.c

../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ./arch.h

util.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/fcntl2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/getopt.h ../headers//usr/include/x86_64-linux-gnu/bits/sigset.h ../headers//usr/include/signal.h ../headers//usr/include/x86_64-linux-gnu/bits/siginfo.h ../headers//usr/include/x86_64-linux-gnu/bits/sigaction.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//work/libseccomp-2.1.1/include/seccomp.h ./util.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h

scmp_bpf_disasm.c

Gimple

./scmp_bpf_disasm.c.004t.gimple

GKD

./scmp_bpf_disasm.o.gkd

OBJ

obj: ./scmp_bpf_disasm.o

includes

scmp_bpf_disasm.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdint.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ./bpf.h