assertWithSideEffect
ftp://ftp.de.debian.org/debian/pool/main/b/biosig4c++/biosig4c++_1.9.3.orig.tar.gz
biosig4c++-1.9.3/XMLParser/tinyxml.cpp:205:16: warning: Assert statement calls a function which may have desired side effects: 'GetDocument'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/blackbox/blackbox_0.70.1.orig.tar.gz
blackbox-0.70.1.orig/src/Screen.cc:750:32: warning: Assert statement calls a function which may have desired side effects: 'end'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/blobby/blobby_1.0.orig.tar.gz
blobby-1.0/src/tinyxml/tinyxml.cpp:189:16: warning: Assert statement calls a function which may have desired side effects: 'GetDocument'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bovo/bovo_21.08.0.orig.tar.xz
bovo-21.08.0/ai/gabor/ai_impl.cpp:246:41: warning: Assert statement calls a function which may have desired side effects: 'isTimeOver'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bowtie/bowtie_1.3.1.orig.tar.gz
bowtie-1.3.1/ds.h:3087:18: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4064:11: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4086:13: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4112:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4113:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4125:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4126:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/ds.h:4132:10: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie-1.3.1/hit_set.h:322:15: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie-1.3.1/pat.h:1073:14: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie-1.3.1/pat.cpp:115:15: warning: Assert statement calls a function which may have desired side effects: 'read_a'. [assertWithSideEffect]
bowtie-1.3.1/pat.cpp:116:14: warning: Assert statement calls a function which may have desired side effects: 'read_a'. [assertWithSideEffect]
bowtie-1.3.1/ref_read.cpp:26:14: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie-1.3.1/sam.cpp:76:21: warning: Assert statement calls a function which may have desired side effects: 'bufa'. [assertWithSideEffect]
bowtie-1.3.1/sam.cpp:77:22: warning: Assert statement calls a function which may have desired side effects: 'bufa'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1052:23: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1354:10: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1417:19: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1443:17: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1449:17: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1514:20: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:632:11: warning: Assert statement calls a function which may have desired side effects: 'sanityCheckEligibility'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:754:12: warning: Assert statement calls a function which may have desired side effects: 'sanityCheckEligibility'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:1063:12: warning: Assert statement calls a function which may have desired side effects: 'sanityCheckEligibility'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2074:14: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2184:23: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2235:23: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2246:25: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2254:16: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2350:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2351:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2358:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2359:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:2997:11: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:3068:21: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_search_backtrack.h:3091:20: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
bowtie-1.3.1/row_chaser.h:133:21: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/row_chaser.h:136:20: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/ebwt.h:2725:12: warning: Assert statement calls a function which may have desired side effects: 'valid'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:2242:10: warning: Assert statement calls a function which may have desired side effects: 'mateEliminated'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:2313:10: warning: Assert statement calls a function which may have desired side effects: 'checkRange'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:2342:14: warning: Assert statement calls a function which may have desired side effects: 'checkRange'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1768:16: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1769:16: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1783:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1784:15: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1826:11: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1834:16: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1835:16: warning: Assert statement calls a function which may have desired side effects: 'front'. [assertWithSideEffect]
bowtie-1.3.1/range_source.h:1649:11: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
bowtie-1.3.1/blockwise_sa.h:108:10: warning: Assert statement calls a function which may have desired side effects: 'suffixItrIsReset'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:320:15: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:321:14: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:323:15: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:345:16: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:346:15: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie-1.3.1/ebwt_build.cpp:348:16: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie-1.3.1/range_cache.h:183:11: warning: Assert statement calls a function which may have desired side effects: 'sanityCheckEnts'. [assertWithSideEffect]
bowtie-1.3.1/range_cache.h:208:11: warning: Assert statement calls a function which may have desired side effects: 'sanityCheckEnts'. [assertWithSideEffect]
bowtie-1.3.1/range_cache.h:473:26: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_cache.h:511:23: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_cache.h:525:25: warning: Assert statement calls a function which may have desired side effects: 'repOk'. [assertWithSideEffect]
bowtie-1.3.1/range_chaser.h:151:32: warning: Assert statement calls a function which may have desired side effects: 'ebwt'. [assertWithSideEffect]
bowtie-1.3.1/range_chaser.h:154:33: warning: Assert statement calls a function which may have desired side effects: 'ebwt'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:102:14: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:1572:19: warning: Assert statement calls a function which may have desired side effects: 'bufb'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:1735:27: warning: Assert statement calls a function which may have desired side effects: 'exceededOverThresh'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:739:19: warning: Assert statement calls a function which may have desired side effects: 'bufb'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:876:27: warning: Assert statement calls a function which may have desired side effects: 'exceededOverThresh'. [assertWithSideEffect]
bowtie-1.3.1/aligner.h:508:45: warning: Assert statement calls a function which may have desired side effects: 'range'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bowtie2/bowtie2_2.4.4.orig.tar.gz
bowtie2-2.4.4/ds.h:3088:18: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_cache.h:607:31: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_cache.cpp:76:18: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4065:11: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4087:13: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4113:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4114:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4126:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4127:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:4133:10: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1224:11: warning: Assert statement calls a function which may have desired side effects: 'fchr'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1231:11: warning: Assert statement calls a function which may have desired side effects: 'ftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1232:11: warning: Assert statement calls a function which may have desired side effects: 'eftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1233:11: warning: Assert statement calls a function which may have desired side effects: 'fchr'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1234:11: warning: Assert statement calls a function which may have desired side effects: 'offs'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_idx.h:1235:11: warning: Assert statement calls a function which may have desired side effects: 'rstarts'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed2.h:540:15: warning: Assert statement calls a function which may have desired side effects: 'containsEx'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_driver.cpp:336:18: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/group_walk.h:1121:14: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/group_walk.h:1121:21: warning: Assert statement calls a function which may have desired side effects: 'repOkBasic'. [assertWithSideEffect]
bowtie2-2.4.4/group_walk.h:438:19: warning: Assert statement calls a function which may have desired side effects: 'repOkBasic'. [assertWithSideEffect]
bowtie2-2.4.4/group_walk.h:921:47: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/group_walk.h:317:10: warning: Assert statement calls a function which may have desired side effects: 'repOkBasic'. [assertWithSideEffect]
bowtie2-2.4.4/blockwise_sa.h:396:14: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/blockwise_sa.h:472:14: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/blockwise_sa.h:783:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/blockwise_sa.h:117:10: warning: Assert statement calls a function which may have desired side effects: 'suffixItrIsReset'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:1296:19: warning: Assert statement calls a function which may have desired side effects: 'ptr'. [assertWithSideEffect]
bowtie2-2.4.4/ds.h:2330:19: warning: Assert statement calls a function which may have desired side effects: 'ptr'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:408:25: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:485:25: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:498:27: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:856:11: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:891:12: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1084:14: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1347:15: warning: Assert statement calls a function which may have desired side effects: 'insert'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1412:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1413:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1414:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1475:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1476:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1477:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1644:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1645:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_seed.cpp:1646:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:941:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:942:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1669:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1698:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1723:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1747:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1771:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_i16.cpp:1833:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:934:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:935:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1659:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1688:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1713:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1737:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1761:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_ee_u8.cpp:1827:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_bt.cpp:1463:20: warning: Assert statement calls a function which may have desired side effects: 'ned'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_bt.cpp:1587:20: warning: Assert statement calls a function which may have desired side effects: 'ned'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_bt.cpp:1593:20: warning: Assert statement calls a function which may have desired side effects: 'ned'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:1108:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:1109:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2033:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2062:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2087:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2111:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2135:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_i16.cpp:2199:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:1116:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:1117:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2029:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2058:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2083:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2107:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2131:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_swsse_loc_u8.cpp:2195:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:387:15: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:388:14: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:390:15: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:428:16: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:429:15: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_build.cpp:431:16: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:319:10: warning: Assert statement calls a function which may have desired side effects: 'rstarts'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:407:28: warning: Assert statement calls a function which may have desired side effects: 'fchr'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:479:11: warning: Assert statement calls a function which may have desired side effects: 'ftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:480:11: warning: Assert statement calls a function which may have desired side effects: 'eftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:826:10: warning: Assert statement calls a function which may have desired side effects: 'rstarts'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:827:10: warning: Assert statement calls a function which may have desired side effects: 'offs'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:828:10: warning: Assert statement calls a function which may have desired side effects: 'ftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_io.cpp:829:10: warning: Assert statement calls a function which may have desired side effects: 'eftab'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_util.cpp:126:18: warning: Assert statement calls a function which may have desired side effects: 'rstarts'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_util.cpp:128:18: warning: Assert statement calls a function which may have desired side effects: 'rstarts'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:193:33: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:282:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:526:22: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:625:16: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:670:15: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:676:35: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:730:15: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:1190:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:1234:25: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:1888:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:2102:45: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:2276:28: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/aligner_sw_driver.cpp:2321:26: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
bowtie2-2.4.4/pat.h:1297:14: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
bowtie2-2.4.4/pat.cpp:169:15: warning: Assert statement calls a function which may have desired side effects: 'read_a'. [assertWithSideEffect]
bowtie2-2.4.4/pat.cpp:170:14: warning: Assert statement calls a function which may have desired side effects: 'read_a'. [assertWithSideEffect]
bowtie2-2.4.4/ref_read.cpp:45:14: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3577:36: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3759:32: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3760:32: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3787:36: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3816:36: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3837:36: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
bowtie2-2.4.4/bt2_search.cpp:3883:36: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/box2d/box2d_2.4.1.orig.tar.gz
box2d-2.4.1/extern/imgui/imgui_draw.cpp:1184:5: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/brlaser/brlaser_6.orig.tar.gz
brlaser-6/src/block.h:37:12: warning: Assert statement calls a function which may have desired side effects: 'line_fits'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bro/bro_2.5.5.orig.tar.gz
bro-2.5.5-minimal/src/broker/Manager.cc:1257:9: warning: Assert statement calls a function which may have desired side effects: 'Enabled'. [assertWithSideEffect]
bro-2.5.5-minimal/src/3rdparty/sqlite3.c:90076:11: warning: Assert statement calls a function which may have desired side effects: 'sqlite3ExprIsInteger'. [assertWithSideEffect]
bro-2.5.5-minimal/src/3rdparty/sqlite3.c:92602:15: warning: Assert statement calls a function which may have desired side effects: 'sqlite3GetInt32'. [assertWithSideEffect]
bro-2.5.5-minimal/src/3rdparty/sqlite3.c:106303:22: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
bro-2.5.5-minimal/src/3rdparty/sqlite3.c:106423:18: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bullet/bullet_3.06+dfsg.orig.tar.xz
bullet3-3.06/Extras/ConvexDecomposition/cd_hull.cpp:2494:18: warning: Assert statement calls a function which may have desired side effects: 'neib'. [assertWithSideEffect]
bullet3-3.06/Extras/ConvexDecomposition/cd_hull.cpp:2495:18: warning: Assert statement calls a function which may have desired side effects: 'neib'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cadabra/cadabra_1.46.orig.tar.gz
cadabra-master/src/modules/algebra.cc:4137:18: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
cadabra-master/src/modules/tableaux.cc:842:13: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
cadabra-master/src/modules/tableaux.cc:951:22: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
cadabra-master/src/modules/tableaux.cc:960:21: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
cadabra-master/src/test_lie.cc:73:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
cadabra-master/src/test_lie.cc:82:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
cadabra-master/src/test_lie.cc:88:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cadabra2/cadabra2_2.3.6.8.orig.tar.gz
cadabra2-2.3.6.8/libs/sqlite3/sqlite3.c:92253:11: warning: Assert statement calls a function which may have desired side effects: 'sqlite3ExprIsInteger'. [assertWithSideEffect]
cadabra2-2.3.6.8/libs/sqlite3/sqlite3.c:94897:15: warning: Assert statement calls a function which may have desired side effects: 'sqlite3GetInt32'. [assertWithSideEffect]
cadabra2-2.3.6.8/libs/sqlite3/sqlite3.c:108863:22: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
cadabra2-2.3.6.8/libs/sqlite3/sqlite3.c:108983:18: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/canu/canu_2.0+dfsg.orig.tar.xz
canu-2.0/src/bogart/AS_BAT_Unitig.H:373:35: warning: Assert statement calls a function which may have desired side effects: 'getLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_ChunkGraph.C:162:16: warning: Assert statement calls a function which may have desired side effects: 'isCoverageGap'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_BestOverlapGraph.C:434:10: warning: Assert statement calls a function which may have desired side effects: 'isIgnored'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_BestOverlapGraph.C:435:10: warning: Assert statement calls a function which may have desired side effects: 'isCoverageGap'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_BestOverlapGraph.C:1471:10: warning: Assert statement calls a function which may have desired side effects: 'isIgnored'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_BestOverlapGraph.C:1472:10: warning: Assert statement calls a function which may have desired side effects: 'isContained'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Instrumentation.C:81:32: warning: Assert statement calls a function which may have desired side effects: 'numReads'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_MergeOrphans.C:1030:24: warning: Assert statement calls a function which may have desired side effects: 'id'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_OptimizePositions.C:127:14: warning: Assert statement calls a function which may have desired side effects: 'readLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_OptimizePositions.C:128:14: warning: Assert statement calls a function which may have desired side effects: 'readLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_OptimizePositions.C:344:16: warning: Assert statement calls a function which may have desired side effects: 'readLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Outputs.C:72:17: warning: Assert statement calls a function which may have desired side effects: 'getLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_PlaceReadUsingOverlaps.C:558:21: warning: Assert statement calls a function which may have desired side effects: 'numReads'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_PopulateUnitig.C:52:18: warning: Assert statement calls a function which may have desired side effects: 'getLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_TigVector.C:112:16: warning: Assert statement calls a function which may have desired side effects: 'id'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_TigVector.C:113:16: warning: Assert statement calls a function which may have desired side effects: 'id'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_TigVector.C:115:12: warning: Assert statement calls a function which may have desired side effects: 'operator[]'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_TigVector.C:115:26: warning: Assert statement calls a function which may have desired side effects: 'id'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Unitig.C:401:17: warning: Assert statement calls a function which may have desired side effects: 'getLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Unitig.C:402:17: warning: Assert statement calls a function which may have desired side effects: 'getLength'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Unitig_PlaceReadUsingEdges.C:262:24: warning: Assert statement calls a function which may have desired side effects: 'numReads'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Unitig_PlaceReadUsingEdges.C:283:10: warning: Assert statement calls a function which may have desired side effects: 'inUnitig'. [assertWithSideEffect]
canu-2.0/src/bogart/AS_BAT_Unitig_PlaceReadUsingEdges.C:283:38: warning: Assert statement calls a function which may have desired side effects: 'id'. [assertWithSideEffect]
canu-2.0/src/stores/loadCorrectedReads.C:166:24: warning: Assert statement calls a function which may have desired side effects: 'sqStore_getReadLength'. [assertWithSideEffect]
canu-2.0/src/stores/loadCorrectedReads.C:166:77: warning: Assert statement calls a function which may have desired side effects: 'length'. [assertWithSideEffect]
canu-2.0/src/stores/ovStoreHistogram.H:77:17: warning: Assert statement calls a function which may have desired side effects: 'numEvalueBuckets'. [assertWithSideEffect]
canu-2.0/src/stores/ovStoreHistogram.H:78:17: warning: Assert statement calls a function which may have desired side effects: 'numLengthBuckets'. [assertWithSideEffect]
canu-2.0/src/stores/ovStoreWriter.C:290:15: warning: Assert statement calls a function which may have desired side effects: 'numOverlaps'. [assertWithSideEffect]
canu-2.0/src/stores/sqStore.C:181:16: warning: Assert statement calls a function which may have desired side effects: 'sqInfo_lastLibraryID'. [assertWithSideEffect]
canu-2.0/src/stores/sqStore.C:228:16: warning: Assert statement calls a function which may have desired side effects: 'sqInfo_lastReadID'. [assertWithSideEffect]
canu-2.0/src/stores/sqStore.C:315:18: warning: Assert statement calls a function which may have desired side effects: 'sqStore_getReadLength'. [assertWithSideEffect]
canu-2.0/src/stores/sqStoreInfo.C:158:17: warning: Assert statement calls a function which may have desired side effects: 'sqReadSeq_ignoreT'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNDalign/NDalgorithm.H:160:12: warning: Assert statement calls a function which may have desired side effects: 'isMatch'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNNalign/NNalgorithm.C:281:20: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNNalign/NNalgorithm.C:288:20: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNNalign/NNalgorithm.C:294:20: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNNalign/NNalgorithm.C:300:20: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utgcns/libNNalign/NNalgorithm.C:306:20: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:95:20: warning: Assert statement calls a function which may have desired side effects: 'getBit'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:97:20: warning: Assert statement calls a function which may have desired side effects: 'getBit'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:100:20: warning: Assert statement calls a function which may have desired side effects: 'getBit'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:102:20: warning: Assert statement calls a function which may have desired side effects: 'getBit'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:127:16: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:161:18: warning: Assert statement calls a function which may have desired side effects: 'getPosition'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:169:32: warning: Assert statement calls a function which may have desired side effects: 'getUnary'. [assertWithSideEffect]
canu-2.0/src/utility/bitsTest.C:213:18: warning: Assert statement calls a function which may have desired side effects: 'getPosition'. [assertWithSideEffect]
canu-2.0/src/utility/kmers-writer-block.C:327:37: warning: Assert statement calls a function which may have desired side effects: 'prefix'. [assertWithSideEffect]
canu-2.0/src/utility/objectStore.C:169:14: warning: Assert statement calls a function which may have desired side effects: 'numWords'. [assertWithSideEffect]
canu-2.0/src/utility/objectStore.C:175:14: warning: Assert statement calls a function which may have desired side effects: 'numWords'. [assertWithSideEffect]
canu-2.0/src/utility/objectStore.C:181:14: warning: Assert statement calls a function which may have desired side effects: 'numWords'. [assertWithSideEffect]
canu-2.0/src/utility/sequence.C:644:21: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:73:14: warning: Assert statement calls a function which may have desired side effects: 'variance'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:74:14: warning: Assert statement calls a function which may have desired side effects: 'variance'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:75:14: warning: Assert statement calls a function which may have desired side effects: 'variance'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:95:13: warning: Assert statement calls a function which may have desired side effects: 'mean'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:104:13: warning: Assert statement calls a function which may have desired side effects: 'mean'. [assertWithSideEffect]
canu-2.0/src/utility/stddevTest.C:105:13: warning: Assert statement calls a function which may have desired side effects: 'stddev'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/casacore/casacore_3.4.0.orig.tar.gz
casacore-3.4.0/casa/Arrays/ArrayBase.cc:693:0: warning: Assert statement calls a function which may have desired side effects: 'operator()'. [assertWithSideEffect]
casacore-3.4.0/casa/Arrays/ArrayBase.cc:694:0: warning: Assert statement calls a function which may have desired side effects: 'operator()'. [assertWithSideEffect]
casacore-3.4.0/casa/Arrays/ArrayBase.cc:695:0: warning: Assert statement calls a function which may have desired side effects: 'operator()'. [assertWithSideEffect]
casacore-3.4.0/casa/Arrays/ArrayBase.cc:706:0: warning: Assert statement calls a function which may have desired side effects: 'operator()'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz
cbmc-cbmc-5.12/regression/cbmc-with-incr/equality_through_array_of_struct4/main.c:35:15: warning: Assert statement calls a function which may have desired side effects: 'pass_through_array_of_struct'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cbmc-with-incr/equality_through_struct2/main.c:25:15: warning: Assert statement calls a function which may have desired side effects: 'pass_through_struct'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cbmc/equality_through_array_of_struct4/main.c:35:15: warning: Assert statement calls a function which may have desired side effects: 'pass_through_array_of_struct'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cbmc/equality_through_struct2/main.c:25:15: warning: Assert statement calls a function which may have desired side effects: 'pass_through_struct'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Assignment1/main.cpp:32:11: warning: Assert statement calls a function which may have desired side effects: 'funcA'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Assignment1/main.cpp:36:11: warning: Assert statement calls a function which may have desired side effects: 'funcB'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Constructor12/main.cpp:21:12: warning: Assert statement calls a function which may have desired side effects: 'get_i'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Constructor5/main.cpp:19:12: warning: Assert statement calls a function which may have desired side effects: 'get_i'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Conversion_Operator5/main.cpp:22:13: warning: Assert statement calls a function which may have desired side effects: 'operatorB'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Friend6/main.cpp:22:12: warning: Assert statement calls a function which may have desired side effects: 'get_i'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Function_Arguments2/main.cpp:25:12: warning: Assert statement calls a function which may have desired side effects: 'g'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Lvalue1/main.cpp:24:20: warning: Assert statement calls a function which may have desired side effects: 'get_i'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Overloading_Members1/main.cpp:21:12: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Overloading_Operators13/main.cpp:14:12: warning: Assert statement calls a function which may have desired side effects: 'func'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Overloading_Operators14/main.cpp:13:13: warning: Assert statement calls a function which may have desired side effects: 'value'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Overloading_Operators4/main.cpp:34:11: warning: Assert statement calls a function which may have desired side effects: 'X'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Overloading_Operators4/main.cpp:34:15: warning: Assert statement calls a function which may have desired side effects: 'func'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Pointer_To_Member5/main.cpp:20:12: warning: Assert statement calls a function which may have desired side effects: 'eval'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Protection8/main.cpp:20:12: warning: Assert statement calls a function which may have desired side effects: 'get_i'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Resolver13/main.cpp:18:13: warning: Assert statement calls a function which may have desired side effects: 'one'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates11/main.cpp:21:13: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates24/main.cpp:14:12: warning: Assert statement calls a function which may have desired side effects: 'True'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates26/main.cpp:17:12: warning: Assert statement calls a function which may have desired side effects: 'func'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates28/main.cpp:17:14: warning: Assert statement calls a function which may have desired side effects: 'func'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates4/main.cpp:16:15: warning: Assert statement calls a function which may have desired side effects: 'f < int >'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates4/main.cpp:21:15: warning: Assert statement calls a function which may have desired side effects: 'f < int >'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates4/main.cpp:34:15: warning: Assert statement calls a function which may have desired side effects: 'f < int >'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Templates4/main.cpp:35:18: warning: Assert statement calls a function which may have desired side effects: 'f < bool >'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/Typedef2/main.cpp:26:12: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/operators/main.cpp:19:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/operators/main.cpp:21:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/operators/main.cpp:23:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/operators/main.cpp:25:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/operators/main.cpp:27:13: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual10/main.cpp:12:13: warning: Assert statement calls a function which may have desired side effects: 'func'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual13/main.cpp:10:19: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:28:12: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:29:12: warning: Assert statement calls a function which may have desired side effects: 'g'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:30:22: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:31:22: warning: Assert statement calls a function which may have desired side effects: 'g'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:32:22: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:33:22: warning: Assert statement calls a function which may have desired side effects: 'g'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:34:22: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual15/main.cpp:35:22: warning: Assert statement calls a function which may have desired side effects: 'g'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual3/main.cpp:9:12: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp-from-CVS/virtual5/main.cpp:18:12: warning: Assert statement calls a function which may have desired side effects: 'f'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp/Method_qualifier1/main.cpp:19:13: warning: Assert statement calls a function which may have desired side effects: 'my_method'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/cpp/Method_qualifier1/main.cpp:21:22: warning: Assert statement calls a function which may have desired side effects: 'my_method'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/goto-harness/nondet_strings_failing_assertion/main.c:16:10: warning: Assert statement calls a function which may have desired side effects: 'stringlength'. [assertWithSideEffect]
cbmc-cbmc-5.12/regression/goto-harness/nondet_strings_should_only_have_zero_at_end/main.c:15:10: warning: Assert statement calls a function which may have desired side effects: 'stringlength'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/ansi-c/ansi_c_declaration.h:236:12: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/ansi-c/ansi_c_declaration.h:244:13: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_convert_type.cpp:189:26: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_instantiate_template.cpp:486:21: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_instantiate_template.cpp:536:19: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_compound_type.cpp:302:23: warning: Assert statement calls a function which may have desired side effects: 'name'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_compound_type.cpp:303:23: warning: Assert statement calls a function which may have desired side effects: 'name'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_compound_type.cpp:1179:21: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_compound_type.cpp:1197:23: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_template.cpp:211:22: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_template.cpp:315:22: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_template.cpp:630:22: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_template.cpp:742:24: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_template.cpp:1051:24: warning: Assert statement calls a function which may have desired side effects: 'declarators'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_resolve.cpp:1104:34: warning: Assert statement calls a function which may have desired side effects: 'arguments'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_resolve.cpp:1153:45: warning: Assert statement calls a function which may have desired side effects: 'arguments'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/cpp/cpp_typecheck_resolve.cpp:1154:36: warning: Assert statement calls a function which may have desired side effects: 'arguments'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/goto-instrument/wmm/event_graph.h:457:12: warning: Assert statement calls a function which may have desired side effects: 'operator[]'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/goto-instrument/wmm/event_graph.h:466:12: warning: Assert statement calls a function which may have desired side effects: 'operator[]'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/goto-instrument/wmm/event_graph.cpp:1196:23: warning: Assert statement calls a function which may have desired side effects: 'end'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/goto-instrument/wmm/event_graph.cpp:1213:21: warning: Assert statement calls a function which may have desired side effects: 'end'. [assertWithSideEffect]
cbmc-cbmc-5.12/src/goto-instrument/wmm/event_graph.cpp:1223:23: warning: Assert statement calls a function which may have desired side effects: 'end'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cctools/cctools_9.9.orig.tar.xz
cctools-9.9/chirp/src/sqlite3.c:81205:11: warning: Assert statement calls a function which may have desired side effects: 'sqlite3ExprIsInteger'. [assertWithSideEffect]
cctools-9.9/chirp/src/sqlite3.c:83171:15: warning: Assert statement calls a function which may have desired side effects: 'sqlite3GetInt32'. [assertWithSideEffect]
cctools-9.9/chirp/src/sqlite3.c:96346:22: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
cctools-9.9/chirp/src/sqlite3.c:96466:18: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cdrdao/cdrdao_1.2.4.orig.tar.bz2
cdrdao-1.2.4/dao/CdTextEncoder.cc:487:16: warning: Assert statement calls a function which may have desired side effects: 'blockNr'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/centrifuge/centrifuge_1.0.3.orig.tar.gz
centrifuge-1.0.3/ds.h:3030:18: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4009:11: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4031:13: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4057:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4058:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4070:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4071:14: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:4077:10: warning: Assert statement calls a function which may have desired side effects: 'redBlackRepOk'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_cache.h:481:31: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_cache.h:983:18: warning: Assert statement calls a function which may have desired side effects: 'get'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:1616:25: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:1693:25: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:1706:27: warning: Assert statement calls a function which may have desired side effects: 'current'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2065:11: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2100:12: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2293:14: warning: Assert statement calls a function which may have desired side effects: 'sanityPartial'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2621:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2622:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2623:13: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2684:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2685:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2686:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2853:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2854:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_seed.h:2855:14: warning: Assert statement calls a function which may have desired side effects: 'acceptable'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:2288:19: warning: Assert statement calls a function which may have desired side effects: 'ptr'. [assertWithSideEffect]
centrifuge-1.0.3/ds.h:1272:19: warning: Assert statement calls a function which may have desired side effects: 'ptr'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:943:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:944:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1672:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1701:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1726:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1750:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1774:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_i16.cpp:1836:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:936:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:937:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1659:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1688:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1713:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1737:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1761:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_ee_u8.cpp:1827:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:1108:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:1109:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2033:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2062:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2087:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2111:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2135:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_i16.cpp:2199:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:1117:29: warning: Assert statement calls a function which may have desired side effects: 'fvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:1118:29: warning: Assert statement calls a function which may have desired side effects: 'hvec'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2027:32: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2056:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2081:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2105:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2129:31: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/aligner_swsse_loc_u8.cpp:2193:29: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/pat.h:637:14: warning: Assert statement calls a function which may have desired side effects: 'back'. [assertWithSideEffect]
centrifuge-1.0.3/pat.h:772:15: warning: Assert statement calls a function which may have desired side effects: 'isOpen'. [assertWithSideEffect]
centrifuge-1.0.3/pat.cpp:735:13: warning: Assert statement calls a function which may have desired side effects: 'isOpen'. [assertWithSideEffect]
centrifuge-1.0.3/ref_read.cpp:46:14: warning: Assert statement calls a function which may have desired side effects: 'eof'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/charls/charls_2.2.0+dfsg.orig.tar.xz
charls-2.2.0/src/encoder_strategy.h:55:9: warning: Assert statement calls a function which may have desired side effects: 'read_long_value'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/charybdis/charybdis_4.1.2.orig.tar.gz
charybdis-charybdis-4.1.2/bandb/sqlite3.c:85995:11: warning: Assert statement calls a function which may have desired side effects: 'sqlite3ExprIsInteger'. [assertWithSideEffect]
charybdis-charybdis-4.1.2/bandb/sqlite3.c:88115:15: warning: Assert statement calls a function which may have desired side effects: 'sqlite3GetInt32'. [assertWithSideEffect]
charybdis-charybdis-4.1.2/bandb/sqlite3.c:101267:22: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
charybdis-charybdis-4.1.2/bandb/sqlite3.c:101387:18: warning: Assert statement calls a function which may have desired side effects: 'sqlite3_value_blob'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/classified-ads/classified-ads_0.13.orig.tar.gz
classified-ads-0.13/controller.cpp:284:25: warning: Assert statement calls a function which may have desired side effects: 'getNetReqExecutor'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:298:27: warning: Assert statement calls a function which may have desired side effects: 'notifyOfContentNotReceived'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:301:26: warning: Assert statement calls a function which may have desired side effects: 'notifyOfContentNotReceived'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:306:24: warning: Assert statement calls a function which may have desired side effects: 'userProfileSelected'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:308:26: warning: Assert statement calls a function which may have desired side effects: 'checkForObjectToOpen'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:873:31: warning: Assert statement calls a function which may have desired side effects: 'userProfileSelected'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:999:27: warning: Assert statement calls a function which may have desired side effects: 'userProfileSelected'. [assertWithSideEffect]
classified-ads-0.13/controller.cpp:1001:25: warning: Assert statement calls a function which may have desired side effects: 'userProfileSelected'. [assertWithSideEffect]
classified-ads-0.13/net/voicecallengine.cpp:662:38: warning: Assert statement calls a function which may have desired side effects: 'frameReady'. [assertWithSideEffect]
classified-ads-0.13/net/voicecallengine.cpp:711:38: warning: Assert statement calls a function which may have desired side effects: 'frameReady'. [assertWithSideEffect]
classified-ads-0.13/net/voicecallengine.cpp:729:38: warning: Assert statement calls a function which may have desired side effects: 'audioFrameEncoded'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/clblas/clblas_2.12.orig.tar.gz
clblas-2.12/src/library/blas/functor/include/functor.h:385:20: warning: Assert statement calls a function which may have desired side effects: 'ok'. [assertWithSideEffect]
clblas-2.12/src/library/blas/functor/include/functor.h:393:21: warning: Assert statement calls a function which may have desired side effects: 'ok'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/clippoly/clippoly_0.11.orig.tar.gz
clippoly-pl11/poly.cc:420:29: warning: Assert statement calls a function which may have desired side effects: 'AppNext'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cloudcompare/cloudcompare_2.11.3.orig.tar.gz
CloudCompare-2.11.3/libs/qCC_db/ccPointCloud.cpp:687:13: warning: Assert statement calls a function which may have desired side effects: 'fwfData'. [assertWithSideEffect]