Binary Security Verification Technology