fuzz: UndefinedBehaviorSanitizer warnings in consensus/tx_verify.cpp #22233

1. 
   n-thumann commented at 3:04 pm on June 13, 2021: contributor

   There’s an error causing several CI jobs to fail, e.g. this, this, this or this.

    0INFO: Seed: 2688568392
    1INFO: Loaded 1 modules   (532968 inline 8-bit counters): 532968 [0x55d2f9ea7cf8, 0x55d2f9f29ee0), 
    2INFO: Loaded 1 PC tables (532968 PCs): 532968 [0x55d2f9f29ee0,0x55d2fa74bd60), 
    3INFO:     5306 files found in /tmp/cirrus-ci-build/ci/scratch/qa-assets/fuzz_seed_corpus/coins_view
    4INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
    5INFO: seed corpus: files: 5306 min: 1b max: 3984182b total: 255622128b rss: 194Mb
    6[#1024](/bitcoin-bitcoin/1024/)	pulse  cov: 4978 ft: 17604 corp: 440/9989b exec/s: 512 rss: 247Mb
    7[#2048](/bitcoin-bitcoin/2048/)	pulse  cov: 5614 ft: 27538 corp: 763/47Kb exec/s: 409 rss: 333Mb
    8[#4096](/bitcoin-bitcoin/4096/)	pulse  cov: 5772 ft: 38611 corp: 1339/1242Kb exec/s: 204 rss: 350Mb
    9consensus/tx_verify.cpp:154:108: runtime error: implicit conversion from type 'int' of value -1653268223 (32-bit, signed) to type 'unsigned int' changed the value to 2641699073 (32-bit, unsigned)
   10    [#0](/bitcoin-bitcoin/0/) 0x55d2f6953400  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x2ca9400)
   11    [#1](/bitcoin-bitcoin/1/) 0x55d2f64cafcd  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x2820fcd)
   12    [#2](/bitcoin-bitcoin/2/) 0x55d2f64c5f39  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x281bf39)
   13    [#3](/bitcoin-bitcoin/3/) 0x55d2f63a6b97  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x26fcb97)
   14    [#4](/bitcoin-bitcoin/4/) 0x55d2f7c22647  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x3f78647)
   15    [#5](/bitcoin-bitcoin/5/) 0x55d2f7c222f5  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x3f782f5)
   16    [#6](/bitcoin-bitcoin/6/) 0x55d2f62ac531  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x2602531)
   17    [#7](/bitcoin-bitcoin/7/) 0x55d2f62abc75  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x2601c75)
   18    [#8](/bitcoin-bitcoin/8/) 0x55d2f62ae597  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x2604597)
   19    [#9](/bitcoin-bitcoin/9/) 0x55d2f62ae8f9  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x26048f9)
   20    [#10](/bitcoin-bitcoin/10/) 0x55d2f629d5ce  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x25f35ce)
   21    [#11](/bitcoin-bitcoin/11/) 0x55d2f62c6412  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x261c412)
   22    [#12](/bitcoin-bitcoin/12/) 0x7f7a8917c0b2  (/lib/x86_64-linux-gnu/libc.so.6+0x270b2)
   23    [#13](/bitcoin-bitcoin/13/) 0x55d2f627236d  (/tmp/cirrus-ci-build/ci/scratch/build/bitcoin-x86_64-pc-linux-gnu/src/test/fuzz/fuzz+0x25c836d)
   24SUMMARY: UndefinedBehaviorSanitizer: implicit-integer-sign-change consensus/tx_verify.cpp:154:108 in 
   25MS: 0 ; base unit: 0000000000000000000000000000000000000000
   26artifact_prefix='./'; Test unit written to ./crash-d335a54e65799a7844ecde7d30f5e04719784b36
   

2. n-thumann added the label Bug on Jun 13, 2021
3. 
   n-thumann commented at 3:07 pm on June 13, 2021: contributor

   Should be solved by #22232.
4. 
   MarcoFalke commented at 3:12 pm on June 13, 2021: member

   Thanks for the report. I’ve fixed the ci issue via https://github.com/bitcoin-core/qa-assets/commit/a76dd626a6a39bcdfa2bc4afd1b81b02f6e721a2 temporarily.
5. 
   preeti13456 commented at 4:45 pm on June 19, 2021: none

   I’m interested in this issue can I have more clarity since one pr is merged already.
6. 
   adamjonas commented at 12:10 pm on June 23, 2021: member

   @preeti13456 if you are interested in helping with this issue, #22232 needs review.
7. 
   preeti13456 commented at 1:20 pm on June 24, 2021: none

   ok I’ll look over some resources for the same and start working from next week itself.
8. MarcoFalke referenced this in commit 9faa4b68db on Jul 20, 2021
9. MarcoFalke closed this on Jul 20, 2021

   ---

10. DrahtBot locked this on Aug 18, 2022

Contributors
n-thumann MarcoFalke preeti13456 adamjonas

Labels
Bug