imvirt - amd64

pillbox.c

Gimple

./pillbox.c.004t.gimple

GKD

./pillbox.o.gkd

OBJ

obj: ./pillbox.o

includes

pillbox.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/x86_64-linux-gnu/bits/sched.h ../headers//usr/include/sched.h ../headers//usr/include/stdlib.h

detect.c

Gimple

./detect.c.004t.gimple

GKD

./detect.o.gkd

OBJ

obj: ./detect.o

xen.c

Gimple

./xen.c.004t.gimple

GKD

./xen.o.gkd

OBJ

obj: ./xen.o

includes

detect.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/getopt.h ../headers//usr/include/stdlib.h

xen.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/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/include/stdio.h ../headers//usr/include/stdlib.h ./detect.h ../headers//usr/include/x86_64-linux-gnu/sys/wait.h ../headers//usr/include/unistd.h

detect.c

Gimple

./detect.c.004t.gimple

GKD

./detect.o.gkd

OBJ

obj: ./detect.o

hyperv.c

Gimple

./hyperv.c.004t.gimple

GKD

./hyperv.o.gkd

OBJ

obj: ./hyperv.o

includes

detect.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/getopt.h ../headers//usr/include/stdlib.h

hyperv.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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 ./detect.h

detect.c

Gimple

./detect.c.004t.gimple

GKD

./detect.o.gkd

OBJ

obj: ./detect.o

vmware.c

Gimple

./vmware.c.004t.gimple

GKD

./vmware.o.gkd

OBJ

obj: ./vmware.o

includes

detect.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/getopt.h ../headers//usr/include/stdlib.h

vmware.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/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/include/stdio.h ../headers//usr/include/stdlib.h ./detect.h ../headers//usr/include/x86_64-linux-gnu/sys/wait.h ../headers//usr/include/unistd.h

detect.c

Gimple

./detect.c.004t.gimple

GKD

./detect.o.gkd

OBJ

obj: ./detect.o

hvm.c

Gimple

./hvm.c.004t.gimple

GKD

./hvm.o.gkd

OBJ

obj: ./hvm.o

includes

detect.c

../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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/getopt.h ../headers//usr/include/stdlib.h

hvm.c

../headers//usr/include/x86_64-linux-gnu/bits/string3.h ../headers//usr/include/x86_64-linux-gnu/bits/stdio2.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 ./detect.h ../headers//usr/include/ctype.h