DynamoRIO / DynamoRIO/dynamorio

Add handling for restartable sequence corner cases

Open
#4,315 0 comments 0 reactions 0 assignees View on GitHub
Bug-AppFail OpSys-Linux Priority-Low
Dominant language
C
Stars
3.2k
Forks
629
Avg merge
2d 15h
Merged PRs (30d)
31

Description

This covers handling some corner cases for restartable sequences ("rseq") which our original implementation for #2350 does not handle.
These are from the list at https://github.com/DynamoRIO/dynamorio/issues/2350#issuecomment-532401625

There are a number of corner cases left to cover, but they are lower priority. These are things like:
+ Invoking the 2nd execution on a sequence midpoint exit (maybe leveraging __rseq_exit_point_array)
+ Handling indirect branch exits out of a sequence
+ Remove the -rseq_assume_call option once we're satisfied we'll never go back to it
+ Add more sanity checks for existing requirements/assumptions

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.