google / google/gematria

Filter/modify BBs with unbalanced X87 stack operations

Open
#255 0 comments 0 reactions 1 assignee Claimed by @boomanaiden154 View on GitHub
Dominant language
Python
Stars
95
Forks
19
PR merge metrics
No merged PRs in 30d

Description

As per the original UICA paper, when assuming normal execution conditions, we assume that things are "normal" with the X87 stack which requires we do not repetitively execute blocks with an unbalanced number of pushes/pops. We should filter blocks out during the processing phase that have an unbalanced number.

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.