Yes, that's the list I meant. Thanks.

Note however that that list is extremely "generous" and most entries are just 
more or less reasonable _linters_ rather than static analyzers/verifiers. 

Reply via email to