Merge branch 'master' into kanzaros_eh
Misc fixes.
Merge branch 'kanzaros_eh' of github.com:Tesora/tesora-dve-pub into kanzaros_eh
Arrange for a default policy to be available for the trans exec engine so that
a dynamic corpus can be run in the analyzer.
Merge branch 'master' into kanzaros_eh