Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn advanced reverse engineering techniques through symbolic analysis in this comprehensive course covering constraint solving, SMT theory, and practical application of tools like z3Py and angr. Master SAT (Satisfiability) and SMT (Satisfiability Modulo Theories) concepts, explore constraint theory fundamentals, and gain hands-on experience with z3Py for automated reasoning. Dive deep into angr framework capabilities including Abstract Syntax Trees (AST), Control Flow Graph (CFG) analysis, and symbolic memory management techniques. Practice symbolic execution through guided exercises and real-world scenarios, including detailed analysis of binary bomb challenges across six progressive phases. Develop proficiency in symbolic memory handling, hook implementation, and advanced debugging techniques essential for modern reverse engineering workflows.
