title: Is there a Forth static analyzer for stack effects?
body: <p>I'm losing productivity to programming errors that cause stack overflow.</p>
  
  <p>For instance, if I omit a <code>drop</code> in an <code>IF ELSE THEN</code> branch, inside a loop, and I get a stack overflow, I usually have to reboot my development environment. I'm using <a href="https://github.com/jamesbowman/swapforth" rel="nofollow">SwapForth</a> on the <a href="http://www.latticesemi.com/icestick" rel="nofollow">iCEstick</a>.</p>
  
  <p>Does there exist a static analyzer that predicts the stack outcome of a compiled word?</p>
  
  <p>Like an automated tool that checks that the code always matches the (<em>nnn nnn -- f</em>) documentation?</p>