Skip to content

smite-ir: add malformation parameter to funding_created - #235

Draft
NishantBansal2003 wants to merge 2 commits into
lnfuzz:masterfrom
NishantBansal2003:semantic-field-malform
Draft

smite-ir: add malformation parameter to funding_created#235
NishantBansal2003 wants to merge 2 commits into
lnfuzz:masterfrom
NishantBansal2003:semantic-field-malform

Conversation

@NishantBansal2003

Copy link
Copy Markdown
Contributor

ref: #178

Depends-on: #212

Add a malformation parameter to SendFundingCreated that overwrites an allowlisted field of funding_created before sending it to the target. Some fields currently only contain valid values, so this allows the IR to exercise their invalid values as well.

Oracle state is updated based on the message actually sent to the target, after applying the malformation. If the malformed signature cannot be decoded, we send only the invalid signature without marking the state as desynced, since the target should simply reject it as an invalid signature rather than behave differently.

The generator produces only non-malformed funding_created messages, OperationParamMutator adds malformations using repeated bytes, random bytes, or interesting integers matching the field's exact width.

Signed-off-by: Nishant Bansal <nishant.bansal.282003@gmail.com>
Signed-off-by: Nishant Bansal <nishant.bansal.282003@gmail.com>
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.

1 participant