pointerPositive ftp://ftp.de.debian.org/debian/pool/main/d/directfb/directfb_1.7.7.orig.tar.gz DirectFB-1.7.7/lib/sawman/sawman_window.c:389:66: style: A pointer can not be negative so it is either pointless or an error to check if it is not. [pointerPositive] ftp://ftp.de.debian.org/debian/pool/main/e/exonerate/exonerate_2.4.0.orig.tar.gz exonerate-2.4.0/src/bsdp/sar.c:277:5: style: A pointer can not be negative so it is either pointless or an error to check if it is not. [pointerPositive]