In order to increase the code coverage, I want to solve the unsolved branches. Sample target does only string comparison (strcmp) .

My tarcer was IntelPin/Dynamorio, I sent execution information to Triton like instructions and registers, and updated memory via Triton callbacks. Update will lose path constraints, like issue #1128 . In this situation, I don't know what to do. I'm going to send and want to solve some specific execution regions.

Any leads like pseudo code or workflow that can clarify the path are appreciated.