Main Stage·42 min
Atlas
Atlas showcases Symboliks, an intermediate representation and symbolic execution library designed to simplify reverse engineering and automated exploit derivation.
symbolic-executionreverse-engineeringintermediate-representation+2