Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.

Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871