This fast-paced talk will be the first public unveiling of REvealer, a new standalone application for the interactive analysis of executable code. Inspired by the idea of extending formal program analysis techniques to be more relevant to reverse engineering, REvealer can collect information using a range of static and dynamic techniques and integrate it into a powerful and flexible model, easily explored and refined by the user. The principles behind the technology will be discussed, and there will be demonstrations of how it allows an analyst to deal quickly and intuitively with not only day-to-day reversing tasks but some of the most complex and time-consuming cases encountered today, such as self-modifying code, arithmetic obfuscation and virtualising packers.