fabsx00/joern — pull request #10 by a0x77n (2014-05-27 14:05:50+00:00)
Title: Fix control flow of for- and while-statements.

Conditions in for- and while-statements have now a outgoing edge to
the end of the loop. These edges are the only way to exit the loops.