Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More details about generating minimal PoC #7

Open
mudongliang opened this issue Dec 19, 2019 · 1 comment
Open

More details about generating minimal PoC #7

mudongliang opened this issue Dec 19, 2019 · 1 comment

Comments

@mudongliang
Copy link

Hi all, could you please provide more details about how to generate minimal PoC(There is only one statement in the paper)? And how to guarantee its reproducibility as the image status is somehow like the accumulated status in Linux kernel? If I have any misunderstanding about this paper, please let me know.

To achieve this, JANUS currently uses a brute force approach to revert
every mutated byte and also tries to remove every invoked
file operation to check whether the kernel still crashes at the
expected location.

@tarafans
Copy link
Contributor

I pushed a simple script I used which literally describes this statement: https://github.com/sslab-gatech/janus/blob/master/utils/minimize.py
Then I manually checked the PoC by running it with a real Linux kernel in a QEMU VM.

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

No branches or pull requests

2 participants