[necovek]

I don't understand your question. Are you saying static code analysis is impossible without type declarations? None of it?