Automatic disassembly, analysis, and transformation of binary software
executables and libraries to improve functionality, security, and efficiency.
Benefits
Industry leading binary analysis and transformation built on our
revolutionary Datalog-driven reassembleable disassembler and our
open-source binary intermediate representation.
Binary security through hardening, diversification, and attack
surface minimization.
Binary efficiency through aggressive optimization.
Binary robustness and portability through static repackaging of
dynamic binaries.
Technologies
Datalog is used for compact and efficient expression of disassembly
heuristics in our Datalog Disassembler.
GrammaTech Intermediate Representation for Binaries
(GTIRB) allows uniform
representation and transformation of binaries.
Satisfiability Modulo Theory (SMT) solvers including Quantifier Free
Bit Vector (QFBV) logics enable efficient formal reasoning about the
behavior of binary software.
Dynamic programming and heuristic search techniques enable efficient
exploration of large spaces of candidate replacement binaries.
Low-level software instrumentation and emulation enable dynamic
analysis of binary behavior.
