CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software