BinLens is an automated binary vulnerability analysis platform that performs deep static and symbolic analysis on compiled binaries without requiring access to source code. It is designed for security teams working in defense, OT/ICS, and critical infrastructure environments. The platform integrates symbolic execution, static analysis, disassembly, and decompilation into a unified, deterministic analysis pipeline. It generates evidence-backed findings with traceable proofs and root-cause details, and supports post-patch delta reports for comparing changes before and after remediation. BinLens detects a range of vulnerability classes including: - Memory-safety issues (buffer overflows, out-of-bounds access, use-after-free, double-free, NULL dereference) - Control-flow and exploit risks (user-controlled redirection, dangerous functions) - Cryptographic weaknesses (hardcoded keys, weak algorithms, low-entropy implementations) Coverage spans approximately 140 CWEs, ~18,000 binary CVEs, 30+ CPU architectures, and 50+ binary formats. Results are mapped to compliance frameworks including NIST 800 and ISA/IEC 62443. The tool targets reverse engineers, red teams, DevSecOps teams, product security teams, and OT/ICS supply-chain evaluators. It supports fully offline (on-premises/air-gapped), cloud, and hybrid deployment models. Optional clustered scaling is available for performance. Output formats include PDF and JSON reports. Integration with CI/CD pipelines and SIEM platforms is supported via an OpenAPI interface. BinLens has been used in DoD programs backed by the Navy, Space Force, Army, Air Force, DTRA, DARPA, and MDA, and is awardable through Platform One, Tradewinds, and SBIR Phase III.