fabsx00/joern — pull request #11 by a0x77n (2014-05-27 19:09:51+00:00)
Title: Added labels to outgoing control flow edges of condition nodes.

The additional information is stored in a separate edge class, which can
store arbitrary data in form of key-value pairs.

The set of control flow graph edges is not accessible directly anymore,
but only through methods provided by the control flow graph itself.