Skip to content

Conversation

@m-carrasco
Copy link
Contributor

Hi 👋

Describe the bug

There could be a missing initialisation in the Custom Mutator stage. From what I understand, this check is meant to verify if the custom mutator's mutations have been added to the corpus. If so, the cycles for the custom mutator are increased. However, when the stage starts, or when each custom mutator is called, the havoc_queued variable is not initialised with afl->queued_items.

Expected behavior

If the initialisation is missing, the custom mutator's cycles could be wrongly extended.

Additional context

After reading the code, it seems like the Custom Mutator's code follows Havoc stage's code, which does initialise havoc_queued with afl->queued_items while initialising the stage for the current test case.


I've noticed this while trying to understand better how the Custom Mutator API's is called. I'm sorry if this is not actually a bug!

Best,
Manuel.

@vanhauser-thc
Copy link
Member

you are correct, this was wrong. thank you!

@vanhauser-thc vanhauser-thc merged commit f7d1939 into AFLplusplus:dev Nov 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants