1 post in archive

Yes, race conditions can be detected with a single core Timeless Debugging and Analysis platform!

01 Mar 2022 by Louis and Quentin - Technical - Reverse Engineering REVEN Buffer overflow Taint Race Condition Vulnerability Detection

As REVEN emulates a single core machine, a frequent question we receive is if it is possible to use REVEN to analyze race conditions. There can be a lot of confusion around what is possible or not, so in this article we hope to address this by giving examples of...