Worked on the angr/angr repository to address a critical concurrency issue by correcting the return values of pthread_mutex_lock and pthread_mutex_unlock, ensuring they consistently return a success status in line with POSIX threading standards. This Python-based fix eliminated silent no-ops in the threading model, directly improving thread-safety and reliability for multi-threaded binary analysis workflows. Leveraging skills in reverse engineering and binary analysis, the update stabilized concurrency handling within the core library, reducing the risk of race conditions for downstream users and integrations. The work focused on enhancing the robustness of multi-threaded tooling without introducing new features during the development period.