arrayIndexOutOfBoundsCond
ftp://ftp.de.debian.org/debian/pool/main/p/partclone/partclone_0.3.27+repack.orig.tar.xz
2.13.0 partclone-0.3.27/src/xfs/libxfs/xfs_btree.c:4145:15: warning: Either the condition 'level>0' is redundant or the array 'cur->bc_ptrs[9]' is accessed at index 9, which is out of bounds. [arrayIndexOutOfBoundsCond]
ftp://ftp.de.debian.org/debian/pool/main/p/pgbouncer/pgbouncer_1.22.0.orig.tar.gz
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 67, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 68, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 69, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 70, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 71, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 72, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 73, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 74, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 75, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 76, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 77, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha256.c:105:3: warning: Either the condition 'k_pos<64' is redundant or the array 'K[64]' is accessed at index 78, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 83, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 84, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 85, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 86, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 87, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 88, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 89, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 90, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 91, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 92, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 93, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pgbouncer-1.22.0/lib/usual/crypto/sha512.c:123:3: warning: Either the condition 'k_pos<80' is redundant or the array 'K[80]' is accessed at index 94, which is out of bounds. [arrayIndexOutOfBoundsCond]
ftp://ftp.de.debian.org/debian/pool/main/p/pluto-find-orb/pluto-find-orb_0.0~git20180227.orig.tar.xz
head pluto-find-orb/runge.cpp:898:34: warning: Either the condition 'i>=11' is redundant or the array 'planet_radius[11]' is accessed at index 11, which is out of bounds. [arrayIndexOutOfBoundsCond]
2.13.0 pluto-find-orb/runge.cpp:898:34: warning: Either the condition 'i>=15' is redundant or the array 'planet_radius[11]' is accessed at index 15, which is out of bounds. [arrayIndexOutOfBoundsCond]
ftp://ftp.de.debian.org/debian/pool/main/p/ppp/ppp_2.5.0.orig.tar.gz
head ppp-2.5.0/pppd/ppp-md4.c:344:7: warning: Either the condition 'count>512' is redundant or the array 'XX[64]' is accessed at index 64, which is out of bounds. [arrayIndexOutOfBoundsCond]