2006-12-14T13:28:25+01:00 sectools /usr/include/alloca.h /usr/include/bits/sys_errlist.h /usr/include/err.h /usr/include/gconv.h /usr/include/libio.h /usr/include/stdio.h /usr/include/stdlib.h /usr/include/sys/select.h /usr/include/sys/sysmacros.h /usr/lib/gcc/i486-linux-gnu/4.0.3/include/stddef.h /usr/local/share/cqual/linux-syscalls.cq /usr/local/share/cqual/prelude.cq /usr/local/share/cqual/proto-noderef.cq formatstring.c examples/main.c cqual v0.991-modified /usr/local/bin/gcqual -cqual /usr/local/bin/cqual -fxml-mode -fpoly formatstring.c boon 1.0 --xml examples/main.c cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 91 null multiple polymorphic types for ``memcpy'' -- not checking for consistency cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 110 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 115 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 131 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 132 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 134 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 135 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 139 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 141 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 142 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 143 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 147 null ignoring static prelude declaration -- conflict with non-static prelude declaration cqual 1.0 0.5 type /usr/local/share/cqual/proto-noderef.cq 149 null multiple polymorphic types for ``strstr'' -- not checking for consistency cqual 1.0 0.5 type formatstring.c 23 *env incompatible types in assignment /usr/local/share/cqual/prelude.cq 58 $tainted <= *getenv_ret formatstring.c 23 *getenv_ret <= *getenv_ret@23 formatstring.c 23 *getenv_ret@23 <= *env formatstring.c 26 *env <= *printf_arg1@26 formatstring.c 26 *printf_arg1@26 <= *printf_arg1 /usr/local/share/cqual/prelude.cq 33 *printf_arg1 <= $untainted boon 1 60 memorybounds /home/christian/tools-xml/boon-1.1/examples/main.c 4 main x