checksec: check the properties of executables