Skip to content

Add hashes to mismatches#14

Open
matankalina wants to merge 1 commit into
verifier-devfrom
mkalina/add_hashes_to_mismatch_report
Open

Add hashes to mismatches#14
matankalina wants to merge 1 commit into
verifier-devfrom
mkalina/add_hashes_to_mismatch_report

Conversation

@matankalina
Copy link
Copy Markdown
Collaborator


Before sending a pull request, please review Contribution Guidelines:
https://github.com/google/syzkaller/blob/master/docs/contributing.md


Comment thread syz-verifier/verifier.go Outdated
title := fmt.Sprintf("syz-verifier errno mismatch: %s vs %s (%s)",
vrf.kernels[0].cfg.Name, vrf.kernels[i].cfg.Name, firstMismatchCall)
vrf.saveMismatchReport(title, reportBody.String())
vrf.saveMismatchReport(title, reportBody.String(), hash.String(prog.Serialize()))
Copy link
Copy Markdown

@natitati4 natitati4 May 12, 2026

Choose a reason for hiding this comment

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

Didn't we want to hash the prefix of the program until the first errno mismatch?
Also, should we include or ignore the parameters of the syscalls? i.e hash just the names? because many programs are the exact same (and achieve the exact same coverage) except slightly different parameters.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

I need to find for each mismatch the corresponding syz-prog in the corpus.db. In corpus.go code they use the same scheme for defining the prog hash which is the unique identifier of a program inside the corpus. So until we change the unique identifier of a program in the corpus to the new scheme - I need to stick with their implementation.

@matankalina matankalina force-pushed the mkalina/add_hashes_to_mismatch_report branch from 6b3528a to 0e7100f Compare May 19, 2026 07:08
Save the syz-prog serialized bytes in the mismatch report
@matankalina matankalina force-pushed the mkalina/add_hashes_to_mismatch_report branch from d203b65 to a577833 Compare June 3, 2026 18:39
@matankalina matankalina requested a review from natitati4 June 3, 2026 18:40
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