Concolic analysis, made legible

Every route through
your program, at a glance.

Inspect concrete examples, branch outcomes, and the exact symbolic constraints that make each execution path possible.