Comment by painful

Is there a single programming language for which static analyzers are a part of the language rather than external tools?