arrayIndexOutOfBounds
ftp://ftp.de.debian.org/debian/pool/main/b/bitpim/bitpim_1.0.7+dfsg1.orig.tar.gz
bitpim-1.0.7+dfsg1/src/native/wab/wab.cpp:293:23: error: Array 'propnames[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/blastem/blastem_0.6.3.4.orig.tar.gz
blastem-0.6.3.4/vdp.c:2868:2: error: Array 'h40_hsync_cycles[17]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
blastem-0.6.3.4/vdp.c:2869:2: error: Array 'h40_hsync_cycles[17]' accessed at index 18, which is out of bounds. [arrayIndexOutOfBounds]
blastem-0.6.3.4/vdp.c:2873:2: error: Array 'h40_hsync_cycles[17]' accessed at index 20, which is out of bounds. [arrayIndexOutOfBounds]
blastem-0.6.3.4/vdp.c:2885:2: error: Array 'h40_hsync_cycles[17]' accessed at index 24, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/blis/blis_0.8.1.orig.tar.gz
blis-0.8.1/blastest/src/dblat3.c:521:10: error: Array 'ltest[6]' accessed at index 6, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/dblat2.c:636:10: error: Array 'ltest[16]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/cblat3.c:523:10: error: Array 'ltest[9]' accessed at index 9, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/cblat2.c:633:10: error: Array 'ltest[17]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/sblat3.c:511:10: error: Array 'ltest[6]' accessed at index 6, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/sblat2.c:625:10: error: Array 'ltest[16]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/zblat3.c:532:10: error: Array 'ltest[9]' accessed at index 9, which is out of bounds. [arrayIndexOutOfBounds]
blis-0.8.1/blastest/src/zblat2.c:645:10: error: Array 'ltest[17]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bopm/bopm_3.1.3.orig.tar.gz
bopm-3.1.3/src/irc.c:317:16: error: Array 'IRC_CHANNELS[513]' accessed at index 513, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bpfcc/bpfcc_0.22.0+ds.orig.tar.xz
bcc-0.22.0/libbpf-tools/ksnoop.bpf.c:258:24: error: Array 'func_stack->ips[16]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bristol/bristol_0.60.11.orig.tar.gz
bristol-0.60.11/brighton/brightonCLI.c:2399:12: error: Array 'src[256]' accessed at index 9998, which is out of bounds. [arrayIndexOutOfBounds]
bristol-0.60.11/bristol/bristolsid1.c:898:26: error: Array 'smods->localmap[2][128]' accessed at index smods->localmap[0][128], which is out of bounds. [arrayIndexOutOfBounds]
bristol-0.60.11/bristol/bristolsid2.c:898:26: error: Array 'smods->localmap[2][128]' accessed at index smods->localmap[0][128], which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bsdgames/bsdgames_2.17.orig.tar.gz
bsd-games-2.17/adventure/init.c:158:12: error: Array 'ltext[141]' accessed at index 141, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/btscanner/btscanner_2.1.orig.tar.gz
btscanner-2.1.orig/screen.c:842:20: error: Array 'label[12]' accessed at index 13, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bully/bully_1.4.00.orig.tar.gz
bully-1.4-00/src/crypto/tls_schannel.c:425:13: error: Array 'outbufs[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
bully-1.4-00/src/crypto/tls_schannel.c:426:13: error: Array 'outbufs[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/b/bwbasic/bwbasic_2.20pl2.orig.tar.gz
bwbasic-2.20pl2.orig/bwb_mth.c:1416:11: error: Array 'tbuf[4]' accessed at index 4, which is out of bounds. [arrayIndexOutOfBounds]
bwbasic-2.20pl2.orig/bwb_mth.c:1495:11: error: Array 'tbuf[8]' accessed at index 8, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/c-cpp-reference/c-cpp-reference_2.0.2.orig.tar.gz
c_cpp_reference-2.0.2/reference/C/CONTRIB/OR_PRACTICAL_C/14_06.c:15:17: error: Array 'data[5]' accessed at index 5, which is out of bounds. [arrayIndexOutOfBounds]
c_cpp_reference-2.0.2/reference/C/CONTRIB/OR_PRACTICAL_C/16_3.c:80:13: error: Array 'word[100]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cableswig/cableswig_0.1.0+cvs20111009.orig.tar.gz
cableswig-0.1.0+cvs20111009.orig/SWIG/Tools/WAD/Test/debug.c:41:6: error: Array 'a[512]' accessed at index 1023, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cairo/cairo_1.16.0.orig.tar.xz
cairo-1.16.0/test/pdiff/lpyramid.c:115:27: error: Array 'pyramid->levels[8]' accessed at index 8, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/calcoo/calcoo_1.3.18.orig.tar.gz
calcoo-1.3.18/src/b_display.c:37:19: error: Array 'body->display[6]' accessed at index 7, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cantor/cantor_21.08.3.orig.tar.xz
cantor-21.08.3/thirdparty/discount-2.2.6-patched/theme.c:230:10: error: Array 'pat[5]' accessed at index 6, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/casacore/casacore_3.4.0.orig.tar.gz
casacore-3.4.0/casa/Json/JsonOut.cc:225:14: error: Array 'buf[16]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Json/JsonOut.cc:246:14: error: Array 'buf[24]' accessed at index 24, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:45:48: error: Array 'argv[2]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:46:48: error: Array 'argv[2]' accessed at index 4, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:47:48: error: Array 'argv[2]' accessed at index 5, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:50:28: error: Array 'argv[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:51:65: error: Array 'argv[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/casa/Utilities/test/tStringDistance.cc:52:56: error: Array 'argv[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
casacore-3.4.0/mirlib/uvio.c:1413:11: error: Array 'varhands[128]' accessed at index 128, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/castle-game-engine/castle-game-engine_7.0~alpha.1+dfsg.orig.tar.xz
castle-engine-7.0-alpha.1/tools/build-tool/data/ios/services/ogg_vorbis/cge_project_name/tremolo/src/floor0.c:107:28: error: Array 'barklook[54]' accessed at index 54, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/catimg/catimg_2.7.0.orig.tar.gz
catimg-2.7.0/src/stb_image.h:6734:37: error: Array 'signature[8]' accessed at index 10, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz
cbmc-cbmc-5.12/regression/cbmc-with-incr/Global_Initialization2/main.c:19:12: error: Array 'A2[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cbmc/Global_Initialization2/main.c:19:12: error: Array 'A2[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cbmc/Malloc23/main.c:19:5: error: Array 'p2[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cbmc/array-function-parameters/test.c:36:21: error: Array 'Test.lists[4]' accessed at index 4, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cbmc/pragma_cprover1/main.c:10:12: error: Array 'y[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cbmc/pragma_cprover1/main.c:14:8: error: Array 'y[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Array2/main.cpp:9:12: error: Array 'y[2][3][4][5]' accessed at index y[4][3][*][*], which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_pointer_sensitivity_tests.c:110:11: error: Array 'a[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_pointer_sensitivity_tests.c:111:12: error: Array 'a[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_pointer_sensitivity_tests.c:114:4: error: Array 'a[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_sensitivity_tests.c:72:11: error: Array 'a[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_sensitivity_tests.c:75:4: error: Array 'a[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_sensitivity_tests.c:97:5: error: Array 'ek[3]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_array_sensitivity_tests.c:114:11: error: Array 'a[3][3]' accessed at index a[100][0], which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_array_sensitivity_tests.c:115:11: error: Array 'a[3][3]' accessed at index a[0][100], which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_array_sensitivity_tests.c:119:4: error: Array 'a[3][3]' accessed at index a[100][0], which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_array_sensitivity_tests.c:122:4: error: Array 'a[3][3]' accessed at index a[0][100], which is out of bounds. [arrayIndexOutOfBounds]
cbmc-cbmc-5.12/regression/goto-analyzer/sensitivity-test-common-files/array_of_array_sensitivity_tests.c:145:5: error: Array 'ek[3][3]' accessed at index ek[100][1], which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cc1111/cc1111_2.9.0.orig.tar.gz
sdcc-2.9.0/device/examples/ds390/ow390/thermodl.c:95:15: error: Array 'argv[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermodl.c:97:21: error: Array 'argv[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermodl.c:102:18: error: Array 'argv[2]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermodl.c:104:24: error: Array 'argv[2]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermodl.c:113:21: error: Array 'argv[2]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermo21.c:963:22: error: Array 'hist->bin_count[56]' accessed at index 62, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermo21.c:966:24: error: Array 'hist->start_range[56]' accessed at index 62, which is out of bounds. [arrayIndexOutOfBounds]
sdcc-2.9.0/device/examples/ds390/ow390/thermo21.c:969:22: error: Array 'hist->end_range[56]' accessed at index 62, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cc65/cc65_2.19.orig.tar.gz
cc65-2.19/src/grc65/main.c:283:12: error: Array 'out[7]' accessed at index 7, which is out of bounds. [arrayIndexOutOfBounds]
cc65-2.19/src/grc65/main.c:286:8: error: Array 'out[7]' accessed at index 8, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cctz/cctz_2.3+dfsg1.orig.tar.xz
cctz-2.3/src/time_zone_format.cc:155:32: error: Array 'mode[1]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cdo/cdo_2.0.3.orig.tar.xz
cdo-2.0.3/libcdi/src/table.c:151:11: error: Array 'parTable[256]' accessed at index 256, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cdrkit/cdrkit_1.1.11.orig.tar.gz
cdrkit-1.1.11/libedc/edc_ecc.c:360:15: error: Array 'inout[32]' accessed at index 2323, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/centreon-broker/centreon-broker_18.10.0.orig.tar.xz
centreon-broker-18.10.0/test/bam/v2/main.cc:359:14: error: Array 'array[12][6]' accessed at index array[*][6], which is out of bounds. [arrayIndexOutOfBounds]
centreon-broker-18.10.0/test/bam/v2/main.cc:359:28: error: Array 'array[12][6]' accessed at index array[0][6], which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cfengine2/cfengine2_2.2.10.orig.tar.gz
cfengine-2.2.10/src/env_monitor.c:226:19: error: Array 'HISTOGRAM[91][7][64]' accessed at index HISTOGRAM[*][90][*], which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:535:63: error: Array 'oldentry.expect_incoming[11]' accessed at index 11, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:536:64: error: Array 'oldentry.expect_outgoing[11]' accessed at index 11, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:537:62: error: Array 'oldentry.expect_incoming[11]' accessed at index 12, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:538:63: error: Array 'oldentry.expect_outgoing[11]' accessed at index 12, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:539:62: error: Array 'oldentry.expect_incoming[11]' accessed at index 13, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:540:63: error: Array 'oldentry.expect_outgoing[11]' accessed at index 13, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:541:65: error: Array 'oldentry.expect_incoming[11]' accessed at index 14, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:542:66: error: Array 'oldentry.expect_outgoing[11]' accessed at index 14, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:543:65: error: Array 'oldentry.expect_incoming[11]' accessed at index 15, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:544:66: error: Array 'oldentry.expect_outgoing[11]' accessed at index 15, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:545:65: error: Array 'oldentry.expect_incoming[11]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:546:66: error: Array 'oldentry.expect_outgoing[11]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:547:66: error: Array 'oldentry.expect_incoming[11]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:548:67: error: Array 'oldentry.expect_outgoing[11]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:578:57: error: Array 'oldentry.var_incoming[11]' accessed at index 11, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:579:58: error: Array 'oldentry.var_outgoing[11]' accessed at index 11, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:580:56: error: Array 'oldentry.var_incoming[11]' accessed at index 12, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:581:57: error: Array 'oldentry.var_outgoing[11]' accessed at index 12, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:582:56: error: Array 'oldentry.var_incoming[11]' accessed at index 13, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:583:57: error: Array 'oldentry.var_outgoing[11]' accessed at index 13, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:584:59: error: Array 'oldentry.var_incoming[11]' accessed at index 14, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:585:60: error: Array 'oldentry.var_outgoing[11]' accessed at index 14, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:586:59: error: Array 'oldentry.var_incoming[11]' accessed at index 15, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:587:60: error: Array 'oldentry.var_outgoing[11]' accessed at index 15, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:588:59: error: Array 'oldentry.var_incoming[11]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:589:60: error: Array 'oldentry.var_outgoing[11]' accessed at index 16, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:590:60: error: Array 'oldentry.var_incoming[11]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-2.2.10/src/env_monitor.c:591:61: error: Array 'oldentry.var_outgoing[11]' accessed at index 17, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cfengine3/cfengine3_3.15.2.orig.tar.gz
cfengine-3.15.2/cf-monitord/history.c:453:20: error: Array 'ENTERPRISE_DATA[30]' accessed at index 30, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-3.15.2/cf-monitord/history.c:454:20: error: Array 'ENTERPRISE_DATA[30]' accessed at index 30, which is out of bounds. [arrayIndexOutOfBounds]
cfengine-3.15.2/cf-monitord/history.c:455:27: error: Array 'ENTERPRISE_DATA[30]' accessed at index 30, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/chessx/chessx_1.4.6.orig.tar.gz
chessx-1.4.6/src/database/bitboard.cpp:2497:23: error: Array 'bb_Mask[64]' accessed at index 255, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/chntpw/chntpw_1.0.orig.tar.gz
chntpw-1.0/chntpw.c:805:20: error: Array 'ff->syskeyflags1[11]' accessed at index 58, which is out of bounds. [arrayIndexOutOfBounds]
chntpw-1.0/chntpw-presplit.c:1919:20: error: Array 'ff->syskeyflags1[11]' accessed at index 58, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/chocolate-doom/chocolate-doom_3.0.1+really3.0.0+git1017.orig.tar.gz
chocolate-doom-3.0.1+really3.0.0+git1017/src/doom/p_mobj.c:665:17: error:inconclusive: Array 'mobjinfo[137]' accessed at index 137, which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/doom/p_mobj.c:823:31: error:inconclusive: Array 'mobjinfo[137]' accessed at index 137, which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/heretic/p_mobj.c:1101:31: error:inconclusive: Array 'mobjinfo[161]' accessed at index 161, which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/hexen/p_mobj.c:1532:31: error:inconclusive: Array 'mobjinfo[398]' accessed at index 398, which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/net_server.c:1715:28: error: Array 'recvwindow[128][8]' accessed at index recvwindow[*][127], which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/strife/p_mobj.c:793:17: error:inconclusive: Array 'mobjinfo[344]' accessed at index 344, which is out of bounds. [arrayIndexOutOfBounds]
chocolate-doom-3.0.1+really3.0.0+git1017/src/strife/p_mobj.c:974:31: error:inconclusive: Array 'mobjinfo[344]' accessed at index 344, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/chrony/chrony_4.2.orig.tar.gz
chrony-4.2/client.c:1621:22: error: Array 'format[50]' accessed at index 255, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/cjose/cjose_0.6.1+dfsg1.orig.tar.gz
cjose-0.6.1/test/check_jwe.c:1154:8: error: Array 'rec[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/c/ckermit/ckermit_305~alpha06.orig.tar.gz
ckuus6.c:4151:25: error: Array 'buf[258]' accessed at index 9998, which is out of bounds. [arrayIndexOutOfBounds]
ftp://ftp.de.debian.org/debian/pool/main/s/splint/splint_3.1.2.dfsg1.orig.tar.gz
splint-3.1.2.dfsg1/test/decl.c:13:6: error: Array 'buf[10]' accessed at index 10, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/for/for.c:13:6: error: Array 't[11]' accessed at index 11, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/malloc.c:5:7: error: Array 'ip[22]' accessed at index 88, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/malloc.c:15:7: error: Array 'ip[22]' accessed at index 22, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/malloc.c:26:7: error: Array 'ip[87]' accessed at index 87, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/malloc.c:35:7: error: Array 'ip[43]' accessed at index 86, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/manual/setChar.c:5:7: error: Array 'buf[10]' accessed at index 10, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/moreBufferTests2/initBlock.c:8:6: error: Array 'buf[10]' accessed at index 10, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/simplebufferConstraintTests/sizeof.c:17:2: error: Array 'x[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/simplebufferConstraintTests/test3.c:9:4: error: Array 'g[100]' accessed at index 101, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/simplebufferConstraintTests/test3.c:10:4: error: Array 'g[100]' accessed at index 100, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/sizeof.c:6:4: error: Array 'x[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/sizeoftest/sizeof.c:6:3: error: Array 'x[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/tests2.2a/arrayparam.c:3:11: error: Array 'x[2][0]' accessed at index x[2][3], which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/tests2.2a/arrayparam.c:8:11: error: Array 'x[0][2]' accessed at index x[2][3], which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/tests2.2a/arrayparam.c:23:11: error: Array 'x[2][0][2]' accessed at index x[2][3][1], which is out of bounds. [arrayIndexOutOfBounds]
splint-3.1.2.dfsg1/test/tests2.2a/arrayparam.c:28:11: error: Array 'x[0][2][2]' accessed at index x[2][3][1], which is out of bounds. [arrayIndexOutOfBounds]