Sailfish

A parallel vulnerability checker for PSA.