Xin Hao comments

Repositories
Issues
Comments

Results 3 comments of


                                            Xin Hao

In multithreaded programs，some threads "Verifying safety for pid xxxxx" FAILED !

Thanks paboldin, just like what you say:**For some applications there is always a loop function that loops forever until application exits. It is always on the stack thus, and can't...

In multithreaded programs，some threads "Verifying safety for pid xxxxx" FAILED !

Hi paboldin， thank you for your reply, but i have a question that why i need to "Verifying safety for pid xxxx... " ， even the thread doesn't call the...

In multithreaded programs，some threads "Verifying safety for pid xxxxx" FAILED !

Hi Boldin, l'm so sorry for not provide enough information, thanks for you patience, the following files：one is my original codes, another is my patch. and i made a mistake...