DynamoRIO / DynamoRIO/dynamorio

Invariant error Branch target is not decodeable is reported when a signal arrives after syscall xfer

Open
#6,309 0 comments 0 reactions 1 assignee Claimed by @ivankyluk View on GitHub
Dominant language
C
Stars
3.2k
Forks
629
Avg merge
2d 15h
Merged PRs (30d)
31

Description

Invariant checker reports "Branch target is not decodeable" error when a signal arrives after syscall xfer.

For example:

14480442 10187315: 623429
14480443 10187315: 623429
14480444 10187315: 623429
14480445 10187315: 623429
14480446 10187315: 623429
14480447 10187315: 623429
14480448 10187315: 623429
14480449 10187315: 623429
14480450 10187315: 623429

ref @ 14480448 is flagged as failing the "Branch target is not decodeable" check.

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.