AssignmentAddressToInteger
ftp://ftp.de.debian.org/debian/pool/main/b/btrfs-tools/btrfs-tools_3.17.orig.tar.xz
btrfs-progs-v3.17/dir-test.c:117:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
btrfs-progs-v3.17/dir-test.c:232:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
btrfs-progs-v3.17/dir-test.c:262:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
btrfs-progs-v3.17/dir-test.c:290:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
ftp://ftp.de.debian.org/debian/pool/main/b/bwbasic/bwbasic_2.20pl2.orig.tar.gz
bwbasic-2.20pl2.orig/renum.c:478:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
ftp://ftp.de.debian.org/debian/pool/main/c/captagent/captagent_6.1.0.20.orig.tar.gz
captagent-6.1.0.20/src/modules/socket/pcap/socket_pcap.c:183:20: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
captagent-6.1.0.20/src/modules/socket/pcap/socket_pcap.c:596:23: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
captagent-6.1.0.20/src/modules/socket/raw/socket_raw.c:317:23: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
captagent-6.1.0.20/src/modules/socket/rtcpxr/socket_rtcpxr.c:190:23: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
captagent-6.1.0.20/src/modules/socket/rtcpxr/socket_rtcpxr.c:199:20: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz
cbmc-cbmc-5.12/regression/cbmc-from-CVS/Pointer25/main.c:18:6: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
cbmc-cbmc-5.12/regression/cbmc-library/equality_through_struct_containing_arrays3/main.c:37:13: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
cbmc-cbmc-5.12/regression/cbmc-with-incr/Malloc15/main.c:8:18: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
cbmc-cbmc-5.12/regression/cbmc-with-incr/Malloc16/main.c:17:18: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
cbmc-cbmc-5.12/regression/cbmc-with-incr/Malloc16/main.c:18:18: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
cbmc-cbmc-5.12/regression/cbmc-with-incr/equality_through_struct_containing_arrays3/main.c:36:13: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]