Triton is a Pin-based concolic execution framework which provides some advanced classes to perform DBA.