GaloisInc/macawOpen source binary analysis tools#binary-analysis#symbolic-execution·github.com·Mar 20, 2025GaloisInc/macaw