BLint: check the security properties, and capabilities in your executables