ObjectSecurity™ BinLens 3.3.0™ is a powerful binary analysis platform built to dig deep into compiled executables and uncover vulnerabilities using advanced symbolic execution (SymbEx) technology. It operates at the binary level using symbolic execution to detect flaws that source-level or SBOM-based tools overlook. The technology supports secure software assurance, red team workflows, and CI/CD integration for defense and government programs. BinLens helps teams gain earlier visibility into inherited risks and supply chain exposure with a low false positive rate and minimal manual effort.
BinLens 3.3.0 supports the analysis of x86-64, ARM64, MIPS-III, and several other architectures. In benchmarks of 108 binary files from Coreutils 9.5, function reachability—the percentage of reachable functions analyzed at least once in a binary file—performed as follows:
- x86-64: Mean 33.9%, median 31.1% (range 16.8–58.2%)
- ARM64: Mean 38.1%, median 37.8% (range 17.0–56.2%)
- MIPS-III: Mean 31.5%, median 33.8% (range 5.4–56.6%)
Figure 1 – Distribution of Functions Reached Across 108 x86-64 Coreutils Binaries
Figure 2 – Distribution of Functions Reached Across 108 ARM64 Coreutils Binaries
Figure 3 – Distribution of Functions Reached Across 108 MIPS-III Coreutils Binaries
These results reflect solid multi-architecture support with predictable exploration depth. To provide a uniform basis for comparison, every benchmark run was executed with a 6-hour time budget. BinLens demonstrates rapid early-phase exploration, reaching a substantial portion of the reachable functions it ultimately covers within the first two hours, and progressively deepening coverage over the full duration of the run.
BinLens 3.3.0 delivers a capable and extensible foundation for symbolic execution across multiple architectures. With strong ELF binary coverage, growing performance insights, and ongoing improvements for embedded systems and multithreading, it’s well positioned to support real-world vulnerability discovery workflows.
