[LEAPSECS] leap second issues in linux kernel

[Hal Murray]

> whether it's code-coverage-based stress tests, symbolic execution, or static

> analysis. I think static analysis would do best here


What's the state of tools to find things like nested locks?

(Assume I'm willing to annotate the code to help.)


-- 
These are my opinions.  I hate spam.