Robuta

https://fr.mathworks.com/help/bugfinder/ref/certcrulepos51c.html CERT C: Rule POS51-C - Avoid deadlock with POSIX threads by locking in predefined order - MATLAB This checker is deactivated in a default Polyspace as You Code analysis.