1. A method for dynamically analyzing the correctness of an embedded software, the method comprising: executing the embedded software with a central processing unit (CPU) of a target system, tracing a behavior of the CPU during a runtime of the embedded software with a trace interface comprising hardware of the CPU without influencing a runtime behavior of the target system, providing coded raw data relating to the traced behavior of the CPU, and processing the coded raw data, including: conditioning the coded raw data; and evaluating the conditioned coded raw data using a correctness analysis algorithm; wherein conditioning the coded raw data includes: collecting and decoding executed instructions to generate decoded executed instructions; and forming reduced execution trace data by filtering the decoded executed instructions and all running application programs, wherein the reduced execution trace data contain only memory access operations and function calls only for a particular process.