fl-cow - amd64

unassigned

fl-cow.c

Gimple

./fl-cow.c.004t.gimple

GKD

./fl-cow.o.gkd

OBJ

obj: ./fl-cow.o

includes

unassigned

./fl-cow-config.h

fl-cow.c

../headers//usr/include/x86_64-linux-gnu/sys/stat.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdarg.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/x86_64-linux-gnu/sys/types.h ../headers//usr/include/time.h ../headers//usr/include/x86_64-linux-gnu/bits/stat.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/sys/mman.h ../headers//usr/include/dlfcn.h

symcfg.c

Gimple

./symcfg.c.004t.gimple

GKD

./symcfg.o.gkd

OBJ

obj: ./symcfg.o

includes

symcfg.c

../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/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/dlfcn.h ../headers//usr/include/stdlib.h ../headers//usr/include/x86_64-linux-gnu/bits/string2.h

flcow-test.c

Gimple

./flcow-test.c.004t.gimple

GKD

./flcow-test.o.gkd

OBJ

obj: ./flcow-test.o

includes

flcow-test.c

../headers//usr/include/x86_64-linux-gnu/sys/stat.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/x86_64-linux-gnu/sys/types.h ../headers//usr/include/time.h ../headers//usr/include/x86_64-linux-gnu/bits/stat.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/string.h ../headers//usr/include/unistd.h ../headers//usr/include/stdlib.h