Firmware execution profiling and verification

A system, comprising:

• a memory;
• and
• a processing device coupled to the memory, the processing device to perform operations, comprising:
• receiving, an execution trace of a firmware module comprising a plurality of executable instructions, wherein the execution trace comprises a plurality of execution trace records, wherein each execution trace record of the plurality of execution trace records indicates a successful execution of an executable instruction identified by a program counter (PC) value;
• retrieving a first execution trace record of the plurality of execution trace records, wherein the first execution trace record comprises a first PC value;
• identifying a firmware function containing a first executable instruction referenced by the first PC value;
• incrementing a cycle count for the firmware function by a number of cycles associated with the first executable instruction;
• and
• generating an execution profile of the firmware module comprising a source code line associated with the first executable instruction, the first PC value, and the cycle count.

A non-transitory computer-readable storage medium comprising executable instructions which, when executed by a processing device, cause the processing device to perform operations, comprising:

• receiving an execution trace of a firmware module comprising a plurality of executable instructions, wherein the execution trace comprises a plurality of execution trace records, wherein each execution trace record of the plurality of execution trace records indicates a successful execution of an executable instruction identified by a program counter (PC) value;
• retrieving a first execution trace record of the plurality of execution trace records, wherein the first execution trace record comprises a first PC value;
• identifying a first executable instruction referenced by the first PC value;
• identifying a firmware function containing the first executable instruction;
• incrementing a cycle count for the firmware function by a number of cycles associated with the first executable instruction;
• and
• generating, using the cycle count, an execution profile of the firmware module.