symex v0.0.0 — Directed bounded symbolic executor over isa_core disassembly, on the smtlite SMT backend

Sign in to join the discussion — your thebay.events account works here.