In this work the problem of constant-time attacks, a subclass of side-channel attacks, is addressed, with particular attention to the implications in embedded systems. The main focus is developing an automated framework, capable of running different tools to analyze cryptographic libraries on the board and identify any vulnerabilities. If such vulnerabilities are not present, the framework confirms that the library is implemented in constant time. Each tool performs its own analysis, using techniques such as statistical tests, formal verification or symbolic analysis, which will be discussed in detail in the following chapters. The framework was developed in Rust, a choice that will be justified during the course of the work.