libval14 - ppc64el

dane_check.c

Gimple

./dane_check.c.004t.gimple

GKD

./dane_check.o.gkd

OBJ

obj: ./dane_check.o

includes

dane_check.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/powerpc64le-linux-gnu/sys/socket.h ../headers//usr/include/netdb.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/openssl/ossl_typ.h ../headers//usr/include/openssl/asn1.h ../headers//usr/include/openssl/bn.h ../headers//usr/include/openssl/buffer.h ../headers//usr/include/openssl/evp.h ../headers//usr/include/openssl/dh.h ../headers//usr/include/openssl/dsa.h ../headers//usr/include/openssl/rsa.h ../headers//usr/include/openssl/x509.h ../headers//usr/include/openssl/x509_vfy.h ../headers//usr/include/openssl/ssl.h ../headers//usr/include/openssl/crypto.h ../headers//usr/include/openssl/stack.h ../headers//usr/include/openssl/bio.h ../headers//usr/include/openssl/ec.h ../headers//usr/include/openssl/comp.h ../headers//usr/include/openssl/pem.h ../headers//usr/include/openssl/hmac.h ../headers//usr/include/openssl/tls1.h ../headers//usr/include/openssl/ssl2.h ../headers//usr/include/openssl/ssl3.h ../headers//usr/include/openssl/dtls1.h ../headers//usr/include/openssl/pqueue.h ../headers/../include/validator/val_dane.h ../headers//usr/include/getopt.h ../headers//usr/include/string.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h

libval_shim.c

Gimple

./libval_shim.c.004t.gimple

GKD

./libval_shim.o.gkd

OBJ

obj: ./libval_shim.o

includes

libval_shim.c

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/stdio.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/arpa/nameser.h

val_resquery.c

Gimple

./val_resquery.c.004t.gimple

GKD

./val_resquery.o.gkd

OBJ

obj: ./val_resquery.o

val_support.c

Gimple

./val_support.c.004t.gimple

GKD

./val_support.o.gkd

OBJ

obj: ./val_support.o

val_cache.c

Gimple

./val_cache.c.004t.gimple

GKD

./val_cache.o.gkd

OBJ

obj: ./val_cache.o

val_context.c

Gimple

./val_context.c.004t.gimple

GKD

./val_context.o.gkd

OBJ

obj: ./val_context.o

val_crypto.c

Gimple

./val_crypto.c.004t.gimple

GKD

./val_crypto.o.gkd

OBJ

obj: ./val_crypto.o

val_verify.c

Gimple

./val_verify.c.004t.gimple

GKD

./val_verify.o.gkd

OBJ

obj: ./val_verify.o

val_parse.c

Gimple

./val_parse.c.004t.gimple

GKD

./val_parse.o.gkd

OBJ

obj: ./val_parse.o

val_policy.c

Gimple

./val_policy.c.004t.gimple

GKD

./val_policy.o.gkd

OBJ

obj: ./val_policy.o

val_log.c

Gimple

./val_log.c.004t.gimple

GKD

./val_log.o.gkd

OBJ

obj: ./val_log.o

val_x_query.c

Gimple

./val_x_query.c.004t.gimple

GKD

./val_x_query.o.gkd

OBJ

obj: ./val_x_query.o

val_assertion.c

Gimple

./val_assertion.c.004t.gimple

GKD

./val_assertion.o.gkd

OBJ

obj: ./val_assertion.o

val_get_rrset.c

Gimple

./val_get_rrset.c.004t.gimple

GKD

./val_get_rrset.o.gkd

OBJ

obj: ./val_get_rrset.o

val_getaddrinfo.c

Gimple

./val_getaddrinfo.c.004t.gimple

GKD

./val_getaddrinfo.o.gkd

OBJ

obj: ./val_getaddrinfo.o

val_gethostbyname.c

Gimple

./val_gethostbyname.c.004t.gimple

GKD

./val_gethostbyname.o.gkd

OBJ

obj: ./val_gethostbyname.o

val_dane.c

Gimple

./val_dane.c.004t.gimple

GKD

./val_dane.o.gkd

OBJ

obj: ./val_dane.o

includes

val_resquery.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_resquery.h ../headers//usr/include/pthread.h ../headers//usr/include/stdlib.h ./val_support.h ../headers/../include/validator/validator-compat.h ./val_assertion.h ./val_context.h ./val_cache.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h

val_support.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator/resolver.h ../headers/../include/validator-internal.h ../headers//usr/include/powerpc64le-linux-gnu/bits/byteswap.h ../headers//usr/include/stdio.h ./val_support.h ../headers//usr/include/stdlib.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/string.h ../headers//usr/include/ctype.h

val_cache.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_support.h ../headers//usr/include/stdlib.h ./val_resquery.h ../headers//usr/include/pthread.h

val_context.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/sys/stat.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stat.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ../headers//usr/include/ifaddrs.h ../headers//usr/include/powerpc64le-linux-gnu/bits/byteswap.h ./val_policy.h ../headers//usr/include/pthread.h ../headers//usr/include/stdlib.h ./val_assertion.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ./val_cache.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/net/if.h

val_crypto.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ../headers//usr/include/openssl/ossl_typ.h ../headers//usr/include/openssl/bn.h ../headers//usr/include/openssl/dsa.h ../headers//usr/include/openssl/rsa.h ../headers//usr/include/openssl/crypto.h ../headers//usr/include/openssl/stack.h ../headers//usr/include/openssl/bio.h ../headers//usr/include/openssl/sha.h ../headers//usr/include/openssl/ec.h ../headers//usr/include/openssl/ecdsa.h ../headers//usr/include/stdlib.h ./val_support.h ../headers//usr/include/string.h ../headers//usr/include/openssl/evp.h ../headers//usr/include/openssl/md5.h

val_verify.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_policy.h ../headers//usr/include/powerpc64le-linux-gnu/bits/byteswap.h ./val_crypto.h ./val_support.h ../headers//usr/include/stdlib.h ./val_parse.h ../headers//usr/include/arpa/nameser.h ../headers/../include/validator/validator-compat.h

val_parse.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./val_crypto.h ./val_support.h ../headers//usr/include/ctype.h

val_policy.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/fcntl2.h ../headers//usr/include/powerpc64le-linux-gnu/sys/stat.h ../headers//usr/include/powerpc64le-linux-gnu/bits/unistd.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stat.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/powerpc64le-linux-gnu/bits/fcntl.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_policy.h ./val_parse.h ../headers//usr/include/errno.h ./val_inline_conf.h ../headers//usr/include/stdlib.h ../headers//usr/include/string.h ./val_support.h ../headers//usr/include/fcntl.h ../headers//usr/include/unistd.h ./val_assertion.h ./val_context.h ../headers//usr/include/pthread.h ./val_cache.h ../headers//usr/include/arpa/inet.h ./val_resquery.h ../headers//usr/include/ctype.h

val_log.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/syslog.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/powerpc64le-linux-gnu/sys/socket.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ../headers//usr/include/powerpc64le-linux-gnu/sys/syslog.h ../headers//usr/include/string.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ../headers/../include/validator/validator-compat.h ../headers//usr/include/resolv.h ./val_crypto.h ./val_parse.h

val_x_query.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_support.h ../headers//usr/include/stdlib.h ./val_context.h ../headers/../include/validator/validator-compat.h ../headers//usr/include/pthread.h ../headers//usr/include/netdb.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h

val_assertion.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_policy.h ./val_assertion.h ../headers//usr/include/pthread.h ../headers//usr/include/stdlib.h ./val_support.h ../headers/../include/validator/validator-compat.h ./val_resquery.h ./val_verify.h ../headers//usr/include/string.h ./val_parse.h ./val_cache.h ./val_crypto.h ./val_context.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h

val_get_rrset.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ../headers//usr/include/stdlib.h ./val_context.h ../headers//usr/include/pthread.h

val_getaddrinfo.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_parse.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ../headers//usr/include/arpa/inet.h ./val_policy.h ../headers/../include/validator/validator-compat.h ./val_context.h ../headers//usr/include/pthread.h ../headers//usr/include/string.h

val_gethostbyname.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/unistd.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./val_parse.h ../headers//usr/include/stdlib.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/string.h ./val_policy.h ./val_context.h ../headers//usr/include/pthread.h

val_dane.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ../headers//usr/include/openssl/ossl_typ.h ../headers//usr/include/openssl/asn1.h ../headers//usr/include/openssl/bn.h ../headers//usr/include/openssl/buffer.h ../headers//usr/include/openssl/evp.h ../headers//usr/include/openssl/dh.h ../headers//usr/include/openssl/dsa.h ../headers//usr/include/openssl/rsa.h ../headers//usr/include/openssl/x509.h ../headers//usr/include/openssl/x509_vfy.h ../headers//usr/include/openssl/ssl.h ../headers//usr/include/openssl/crypto.h ../headers//usr/include/openssl/stack.h ../headers//usr/include/openssl/bio.h ../headers//usr/include/openssl/ec.h ../headers//usr/include/openssl/comp.h ../headers//usr/include/openssl/pem.h ../headers//usr/include/openssl/hmac.h ../headers//usr/include/openssl/tls1.h ../headers//usr/include/openssl/ssl2.h ../headers//usr/include/openssl/ssl3.h ../headers//usr/include/openssl/dtls1.h ../headers//usr/include/openssl/pqueue.h ../headers/../include/validator/val_dane.h ../headers//usr/include/stdlib.h ../headers/../include/validator/validator-compat.h ./val_context.h ../headers//usr/include/pthread.h ../headers//usr/include/string.h ../headers//usr/include/openssl/sha.h ../headers//usr/include/arpa/nameser.h

getrrset.c

Gimple

./getrrset.c.004t.gimple

GKD

./getrrset.o.gkd

OBJ

obj: ./getrrset.o

includes

getrrset.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers/../include/validator/resolver.h

libsres_test.c

Gimple

./libsres_test.c.004t.gimple

GKD

./libsres_test.o.gkd

OBJ

obj: ./libsres_test.o

includes

libsres_test.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/powerpc64le-linux-gnu/bits/select2.h ../headers//usr/include/unistd.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

ns_name.c

Gimple

./ns_name.c.004t.gimple

GKD

./ns_name.o.gkd

OBJ

obj: ./ns_name.o

ns_netint.c

Gimple

./ns_netint.c.004t.gimple

GKD

./ns_netint.o.gkd

OBJ

obj: ./ns_netint.o

res_support.c

Gimple

./res_support.c.004t.gimple

GKD

./res_support.o.gkd

OBJ

obj: ./res_support.o

res_debug.c

Gimple

./res_debug.c.004t.gimple

GKD

./res_debug.o.gkd

OBJ

obj: ./res_debug.o

unassigned

ns_print.c

Gimple

./ns_print.c.004t.gimple

GKD

./ns_print.o.gkd

OBJ

obj: ./ns_print.o

base64.c

Gimple

./base64.c.004t.gimple

GKD

./base64.o.gkd

OBJ

obj: ./base64.o

ns_samedomain.c

Gimple

./ns_samedomain.c.004t.gimple

GKD

./ns_samedomain.o.gkd

OBJ

obj: ./ns_samedomain.o

ns_parse.c

Gimple

./ns_parse.c.004t.gimple

GKD

./ns_parse.o.gkd

OBJ

obj: ./ns_parse.o

ns_ttl.c

Gimple

./ns_ttl.c.004t.gimple

GKD

./ns_ttl.o.gkd

OBJ

obj: ./ns_ttl.o

res_comp.c

Gimple

./res_comp.c.004t.gimple

GKD

./res_comp.o.gkd

OBJ

obj: ./res_comp.o

res_mkquery.c

Gimple

./res_mkquery.c.004t.gimple

GKD

./res_mkquery.o.gkd

OBJ

obj: ./res_mkquery.o

res_io_manager.c

Gimple

./res_io_manager.c.004t.gimple

GKD

./res_io_manager.o.gkd

OBJ

obj: ./res_io_manager.o

res_tsig.c

Gimple

./res_tsig.c.004t.gimple

GKD

./res_tsig.o.gkd

OBJ

obj: ./res_tsig.o

res_query.c

Gimple

./res_query.c.004t.gimple

GKD

./res_query.o.gkd

OBJ

obj: ./res_query.o

includes

ns_name.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h ../headers//usr/include/ctype.h ../headers//usr/include/stdlib.h

ns_netint.c

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h

res_support.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/ctype.h ../headers//usr/include/string.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/openssl/rand.h

res_debug.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stdarg.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/resolv.h ../headers/../include/validator/validator.h ../headers/../include/validator-internal.h ../headers/../include/validator/resolver.h ./res_comp.h ../headers//usr/include/string.h ../headers//usr/include/stdlib.h ./res_support.h ../headers//usr/include/ctype.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h

unassigned

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/libio.h ../headers//usr/include/stdio.h

ns_print.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/libio.h ../headers//usr/include/stdio.h ./res_comp.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h ../headers//usr/include/ctype.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/string.h ./base64.h ../headers/../include/validator/validator-compat.h ./res_debug.h

base64.c

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers//usr/include/stdio.h ../headers//usr/include/ctype.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdlib.h

ns_samedomain.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/libio.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/string.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

ns_parse.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/libio.h ../headers//usr/include/stdio.h ./res_comp.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

ns_ttl.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/ctype.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

res_comp.c

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/libio.h ../headers//usr/include/stdio.h ../headers//usr/include/arpa/nameser.h

res_mkquery.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/stdio.h ./res_support.h ./res_tsig.h ./res_comp.h

res_io_manager.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sigset.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/powerpc64le-linux-gnu/bits/byteswap.h ../headers//usr/include/stdio.h ./res_support.h ../headers//usr/include/stdlib.h ../headers//usr/include/pthread.h ../headers//usr/include/powerpc64le-linux-gnu/bits/select2.h ../headers//usr/include/string.h ../headers//usr/include/arpa/inet.h ./res_mkquery.h ../headers/../include/validator/validator-compat.h ../headers//usr/include/powerpc64le-linux-gnu/sys/socket.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

res_tsig.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./res_support.h

res_query.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/libio.h ../headers/../include/validator/resolver.h ../headers//usr/include/stdio.h ../headers//usr/include/stdlib.h ./res_support.h ./res_io_manager.h ./res_tsig.h

getaddr.c

Gimple

./getaddr.c.004t.gimple

GKD

./getaddr.o.gkd

OBJ

obj: ./getaddr.o

includes

getaddr.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h

validator_driver.c

Gimple

./validator_driver.c.004t.gimple

GKD

./validator_driver.o.gkd

OBJ

obj: ./validator_driver.o

validator_selftest.c

Gimple

./validator_selftest.c.004t.gimple

GKD

./validator_selftest.o.gkd

OBJ

obj: ./validator_selftest.o

includes

validator_driver.c

../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/bits/pthreadtypes.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/powerpc64le-linux-gnu/sys/socket.h ../headers//usr/include/signal.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket_type.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/arpa/nameser_compat.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/powerpc64le-linux-gnu/bits/byteswap.h ../headers//usr/include/getopt.h ./validator_driver.h ../headers/../include/validator/resolver.h ../headers//usr/include/pthread.h ../headers//usr/include/powerpc64le-linux-gnu/bits/select2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

validator_selftest.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/fcntl2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/sys/stat.h ../headers//usr/include/powerpc64le-linux-gnu/bits/unistd.h ../headers//usr/include/stdlib.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/include/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/stat.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/powerpc64le-linux-gnu/bits/time.h ../headers//usr/include/powerpc64le-linux-gnu/sys/select.h ../headers//usr/include/powerpc64le-linux-gnu/sys/time.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/powerpc64le-linux-gnu/bits/fcntl.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ./validator_driver.h ../headers//usr/include/string.h ../headers/../include/validator/resolver.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string2.h ../headers//usr/include/fcntl.h ../headers//usr/include/unistd.h ../headers//usr/include/ctype.h ../headers//usr/include/powerpc64le-linux-gnu/bits/errno.h

getquery.c

Gimple

./getquery.c.004t.gimple

GKD

./getquery.o.gkd

OBJ

obj: ./getquery.o

includes

getquery.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/arpa/nameser.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers/../include/validator/resolver.h ../headers//usr/include/netdb.h

gethost.c

Gimple

./gethost.c.004t.gimple

GKD

./gethost.o.gkd

OBJ

obj: ./gethost.o

includes

gethost.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers//usr/include/string.h ../headers//usr/include/arpa/inet.h

libval_shim.c

Gimple

./libval_shim.c.004t.gimple

GKD

./libval_shim.o.gkd

OBJ

obj: ./libval_shim.o

includes

libval_shim.c

../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/powerpc64le-linux-gnu/sys/types.h ../headers//usr/include/unistd.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/netdb.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/stdio.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/arpa/nameser.h

libval_check_conf.c

Gimple

./libval_check_conf.c.004t.gimple

GKD

./libval_check_conf.o.gkd

OBJ

obj: ./libval_check_conf.o

includes

libval_check_conf.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers//usr/include/libgen.h

getname.c

Gimple

./getname.c.004t.gimple

GKD

./getname.o.gkd

OBJ

obj: ./getname.o

includes

getname.c

../headers//usr/include/powerpc64le-linux-gnu/bits/stdio2.h ../headers//usr/include/powerpc64le-linux-gnu/bits/string3.h ../headers//usr/include/powerpc64le-linux-gnu/bits/types.h ../headers//usr/lib/gcc/powerpc64le-linux-gnu/4.9/include/stddef.h ../headers//usr/include/stdint.h ../headers//usr/include/powerpc64le-linux-gnu/bits/sockaddr.h ../headers//usr/include/powerpc64le-linux-gnu/bits/socket.h ../headers//usr/include/netinet/in.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers/../include/validator/validator.h ../headers//usr/include/getopt.h ../headers//usr/include/arpa/inet.h ../headers//usr/include/arpa/nameser.h