Dynamic analysis for concurrent modern C/C++ applications