Static analysis for POSIX shell or bash?

[Dan Stromberg]

Is there such a thing as a free-and-legal static analysis tool for POSIX 
shell or bash?

I found abash, but all I saw was a scholarly paper - not source code.  I 
didn't read the entire paper though - not even close.

I'm thinking of something along the lines of PyChecker for Python.

I know about the -n option and set -eu - those're not quite what I'm 
hoping for.  Or rather I'm using them already, and want more of that sort 
of thing.

Also, I'm not so much interested in checks for security purposes as for 
robustness - though it sounds like often the two have overlap, so a 
security-oriented tool wouldn't necessarily be useless to me.

Exhortations to "just use something statically typed" will fall on 
(mostly) deaf ears.

Thanks!

PS: Followups directed to comp.unix.shell