Current DynamoRIO. On Linux, unset PATH. Run drrun. Segmentation fault occurs. `drfront_searchenv()` isn't checking the result of `getenv()`. It needs to check for NULL, and should probably return the same result as an empty path.