Quoting from hurd/hurd/signal.h:
A critical section is a section of code which cannot safely be interrupted to run a signal handler; for example, code that holds any lock cannot be interrupted lest the signal handler try to take the same lock and deadlock result.
Checking the code for any violations would be a useful task of code analysis/formal verification.