Our software engineer Boyan Milanov introduces Maat, a low-level symbolic execution framework based on Ghidras IR language p-code. https://blog.trailofbits.com/2022/02/23/maat-symbolic-execution-made-easy/ trailofbits @malwr 143 views19:15