Add support for CWE-562

[mrstanb]

This PR is a first quick draft of adding support for the detection of CWE-562. It's still WIP and since it's probably not directly relevant for SV-COMP, I'd say it has a lower prio.

There are a few things here and there that I need to fix before it's done.

Should close issue #1243 upon completion.