Arminstructions#253

sipma merged 7 commits intostatic-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-Binary:masterfrom

sipma:arminstructionssipma/CodeHawk-Binary:arminstructionsCopy head branch name to clipboard