Do all polyspace bug finder tests that are relevant now.