We harness in-depth research to develop efficient open-source tools capable of probing the deepest code levels, for testing all types of application. We apply these tools to improve our customers’ security. We also provide custom developments for these tools to address specific customer needs.
Library for instrumenting executable formats
Multi-platform library to parse, modify and abstract ELF, PE, MachO and other executable formats, injecting code or unpacking easily without having to bother with the details
Tool for observing program execution, with automation of data collection and analysis
Cross-platform, cross-architecture dynamic binary instrumentation framework for observing a program during runtime and automating data collection and processing
Dynamic symbolic execution framework for describing program behavior
Cross-platform, cross-architecture dynamic binary analysis framework providing symbolic engine, taint analysis and AST representations of instructions