multithreading - C++ code - Coverity (or some other static code analyzer) + thread safety -


i wondering today following: there tool or extension (for coverity or other code analyzer), can following?:

  • first, set set of rules, codes generating new threads, analyzer knows, code run other thread.
  • the tool must follow, code parts in threads, in same, or in different ones.
  • i set "rules", kind of codes ensuring me thread safety: example mylock class locking between threads.
  • and reason previous 3: tool should show me warnings, codes called different threads , doesn't have thread-safety usage in it.

thanks

try intel inspector (also known thread checker). dynamic analysis, not static. far remember, allowed annotation/instrumentation custom locks, threading libs in general.


Comments

Popular posts from this blog

c++ - Difference between pre and post decrement in recursive function argument -

php - Nothing but 'run(); ' when browsing to my local project, how do I fix this? -

php - How can I echo out this array? -