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

Fix Manticore <-> Unicorn context switch #2528

Open
Boyan-MILANOV opened this issue Feb 4, 2022 · 1 comment
Open

Fix Manticore <-> Unicorn context switch #2528

Boyan-MILANOV opened this issue Feb 4, 2022 · 1 comment
Labels

Comments

@Boyan-MILANOV
Copy link
Contributor

Summary of the problem

Opening this issue for traceability after merging #2511.
#2511 added new FPU registers (FIP, FDP, ...) to manticore. Those registers were also missing in Unicorn and have been added by their team since, although in their dev branch which is not yet merged into master. Thus, manticore currently ignores those registers when syncing the CPU context with unicorn:

self.ignore_registers = {"FIP", "FOP", "FDS", "FCS", "FDP", "MXCSR_MASK"}

When Unicorn has a new release and adds the new registers to their python API we can stop ignoring them during the context switch.

@Boyan-MILANOV
Copy link
Contributor Author

#2564 updates to unicorn 2.0 which now supports all these registers except MXCSR_MASK.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant