Compute tight upper bounds for the worst-case execution time of tasks in binary executable.

No testing or measuring is required — the static analysis guarantees that the computed bounds hold for every possible execution scenario, any combination of inputs, and all cache and pipeline states.