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.

Sign up for GitHub

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

Jump to bottom

Integrated fuzzer #37

Open

k32 opened this issue Dec 11, 2021 · 0 comments

Labels

k32 commented Dec 11, 2021 •

edited

Loading

Investigate if snabbkaffe can inject schedulings automatically.

Given a trace, try to infer causality between the events.
Inject an ordering between unrelated events
Run the code with deadlock detection (see Heuristics for force_ordering deadlock detection #35) and refine the infered causalities if a deadlock is detected
Run checks as usual to detect anomalies
Repeat with a different injection

k32 added the enhancement label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment