Support regular expressions for providing ideal verdicts
Infrastructure of Core
Published in build:
At the moment one has to enumerate all program fragments or/and requirements when specifying ideal verdicts. Often there are common patterns like all unsafes for ".*_invoke.ko", all safes for ".*/safe.ko".