Arbiter

Constraint-driven vulnerability detection. Customer-target tools run in the desktop app.