跟踪二进制执行以减小大小

Question

运行程序时，实际只执行代码的某些部分。特别是在使用更复杂的框架时，许多样板文件都包含在从未实际执行过的代码中。

问题：是否有可能跟踪程序的执行，目的是只将已使用的指令转储到磁盘上，从而获得更精简和更小的二进制文件？

编辑：我知道更精简的二进制文件不会与原始程序100％等效，特别是在极端情况下。我只想拥有一个在稳定政权下运作的更精简的版本。