Chip Security TestingΒ 
Binary Security AnalysisΒ 
Contact us

Intel extension

The Intel extension brings the capability to specifically run dynamic analyses on a software binary compiled for an Intel CPU (x86, x64). Dedicated emulation frameworks are available to cover as many targets as possible. Since complex system emulation generates a considerable amount of data, specific engines are provided to optimize this critical part of the dynamic analysis.

Timeless Analysis (Reven)

Timeless analysis, often referred to in the context of software debugging and analysis, is a technique where the execution of a program is decoupled from its actual temporal progress. This allows analysts to examine, rewind, and replay the execution of a program in a controlled environment to understand its behavior, diagnose issues, or analyze its flow without the constraints of real-time operation. It is particularly useful in complex debugging scenarios and understanding intricate software behavior.

Timeless analysis requires a specific know-how to unleash the full potential of such an analysis. To fill this gap, tutorial notebooks are integrated in the platform to provide guidance for environment preparation (such as a Microsoft Windows VM) and techniques to frame complex tracing.

Taint Analysis

Taint analysis is a technique to track the flow of data. It identifies if and how "tainted" data can influence the execution of a program, particularly to find vulnerabilities like security breaches or bugs. By marking certain inputs as tainted and observing their propagation, taint analysis helps ensure sensitive data is handled safely and that untrusted data does not flow into critical parts of the system. Taint analysis is integrated in the Intel extension and is available via the user interface or the APIs.

CopyRights eShard 2024.
All rights reserved
Privacy policy | Legal Notice