Skip to content

Conversation

@maflcko
Copy link
Member

@maflcko maflcko commented Jun 20, 2023

This should catch trivial integer sanitizer bugs if the author and all reviewers forget to look for them.

@DrahtBot
Copy link
Contributor

DrahtBot commented Jun 20, 2023

The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

Reviews

See the guideline for information on the review process.

Type Reviewers
ACK brunoerg, dergoegge

If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

@dergoegge
Copy link
Member

Concept ACK

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this would still include runs=1 which for an empty corpus would only generate 1 input.

Run process_messages with args ['/home/dergoegge/workspace/bitcoin/src/test/fuzz/fuzz', '-runs=1', '-max_total_time=10']INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2455678762
INFO: Loaded 1 modules   (350793 inline 8-bit counters): 350793 [0x55c579a854b0, 0x55c579adaef9),
INFO: Loaded 1 PC tables (350793 PCs): 350793 [0x55c579adaf00,0x55c57a035390),
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: A corpus is not provided, starting from an empty corpus
#2      INITED cov: 2324 ft: 2325 corp: 1/1b exec/s: 0 rss: 115Mb
#2      DONE   cov: 2324 ft: 2325 corp: 1/1b lim: 4 exec/s: 0 rss: 115Mb
Done 2 runs in 0 second(s)

@maflcko maflcko force-pushed the 2306-ci-fuzz- branch 2 times, most recently from fa062df to fae0c99 Compare June 20, 2023 13:56
@dergoegge
Copy link
Member

Tested it locally, seems to work. We should also see this work in the CI here shortly for the utxo_total_supply, wallet_fees and coincontrol targets.

Copy link
Contributor

@brunoerg brunoerg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Strong Concept ACK

Copy link
Member

@dergoegge dergoegge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK fae0c9955ed8254665c9afbaf940f1f4295bfa29

It is working and found the wallet_fees bug.

We should probably wait with merging until #27917 is in.

@dergoegge
Copy link
Member

#27917 was merged, so this should have a green CI after rebase.

@brunoerg
Copy link
Contributor

Tested locally and it got wallet_fees bug.

Copy link
Contributor

@brunoerg brunoerg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK fae0c9955ed8254665c9afbaf940f1f4295bfa29

Gonna re-ack as soon as it got rebased

@brunoerg
Copy link
Contributor

reACK 0000f55

@DrahtBot DrahtBot requested a review from dergoegge June 20, 2023 16:21
Copy link
Member

@dergoegge dergoegge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

reACK 0000f55


if [ "$RUN_FUZZ_TESTS" = "true" ]; then
bash -c "LD_LIBRARY_PATH=${DEPENDS_DIR}/${HOST}/lib test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} $MAKEJOBS -l DEBUG ${DIR_FUZZ_IN}"
bash -c "LD_LIBRARY_PATH=${DEPENDS_DIR}/${HOST}/lib test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} $MAKEJOBS -l DEBUG ${DIR_FUZZ_IN} --empty_min_time=60"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We can probably play around with this value but for now 60s seems fine to me.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, I think it should be 10 seconds or more, but less than 2 minutes? With 1 minute, even with 60 missing fuzz input folders, the overhead will be 1 hour for all runs until fuzz inputs are provided, which seems fine.

@fanquake fanquake merged commit a596bdf into bitcoin:master Jun 21, 2023
@maflcko maflcko deleted the 2306-ci-fuzz- branch June 21, 2023 09:15
sidhujag pushed a commit to syscoin/syscoin that referenced this pull request Jun 21, 2023
0000f55 ci: Run fuzz target even if input folder is empty (MarcoFalke)

Pull request description:

  This should catch trivial integer sanitizer bugs if the author and all reviewers forget to look for them.

ACKs for top commit:
  brunoerg:
    reACK 0000f55
  dergoegge:
    reACK 0000f55

Tree-SHA512: f139b9d56f0cf1aae339c2890721c77c88d1fea77b73d492c1386ec99b4f393c5b664029919ff4a22e4e8a2929f085699a148c6acc2cc3e40df8a72fd39ff474
@bitcoin bitcoin locked and limited conversation to collaborators Jun 20, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants