1. Maat: Symbolic execution made easy blog | 2022-02-23 12:00 | blog.trailofbits.com | original ↗ | #reverse-engineering | #ghidra | #program-analysis