Я не смог найти ни одного, но я хотел бы попытать счастья здесь.
Существует очень простая BF-трассировка JIT: https://github.com/resistor/BrainFTracing (обсуждается красным: http://www.reddit.com/r/programming/comments/d74lg/i_wrote_an_llvmpowered_tracebased_jit_for_brainfck/).
Состоит из интерпретатора с трассировкой (запись трассировки) и ИК-излучателя llvm.