AssignmentIntegerToAddress ftp://ftp.de.debian.org/debian/pool/main/c/ckermit/ckermit_416~beta12.orig.tar.gz ckufio.c:4215:15: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/c/cmucl/cmucl_21d.orig.tar.bz2 src/lisp/alpha-arch.c:110:23: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/c/coccinelle/coccinelle_1.3.0.deb.orig.tar.gz coccinelle-1.3.0/tests/detect_cast_attr.c:5:10: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/detect_cast_attr.c:6:10: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/detect_cast_attr.c:9:10: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr.c:5:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr.c:6:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr.c:9:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr_allminus.c:5:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr_allminus.c:6:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] coccinelle-1.3.0/tests/remove_cast_attr_allminus.c:9:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/c/codonw/codonw_1.4.4.orig.tar.gz codonW/commline.c:335:16: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/c/cppcheck/cppcheck_2.20.0.orig.tar.gz cppcheck-2.20.0/addons/test/misra/misra-test.c:887:11: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/c/crash/crash_9.0.1+~16.3.orig.tar.gz crash-utility-crash-9cd43f5/tools.c:319:22: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/d/diod/diod_1.0.24.orig.tar.gz diod-1.0.24/liblsd/hostlist.c:485:13: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/d/duc/duc_1.4.6.orig.tar.xz duc-1.4.6/src/libduc/dir.c:107:14: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/d/dvbstreamer/dvbstreamer_2.1.0.orig.tar.gz dvbstreamer-2.1.0/src/plugins/libdsmcc/dsmcc-cache.c:33:25: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/e/elinks/elinks_0.19.1.orig.tar.xz elinks-0.19.1/src/util/color.c:177:8: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/e/exuberant-ctags/exuberant-ctags_5.9~svn20110310.orig.tar.gz ctags-5.9~svn20110310/vim.c:631:7: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/f/fasta3/fasta3_36.3.8i.14-Nov-2020.orig.tar.gz fasta36-36.3.8i_14-Nov-2020/src/getenv.c:29:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/f/fbb/fbb_7.011.orig.tar.gz fbb-7.0.11/src/xfbbC.c:484:14: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz frama-c-25.0-beta-Manganese/tests/builtins/alloc.c:26:5: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/builtins/alloc.c:51:5: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/builtins/strchr.c:541:17: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/rte/initialized.c:43:4: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/spec/bts0283.c:6:5: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/syntax/gnu-asm-aesni.c:163:9: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/value/eval_separated.c:11:5: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/value/eval_separated.c:12:5: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress] frama-c-25.0-beta-Manganese/tests/value/gauges.c:189:14: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress]