TL;DR: DTrace uses a minimalistic C dialect called D to write it's probes, hence the name. In order to trace arbitrary code, it has to inject these into the co

TL;DR: DTrace uses a minimalistic C dialect called D to write it's probes, hence the name. In order to trace arbitrary code, it has to inject these into the code site that you want inspected. If you could just inject arbitrary C, you'd get the issue of potentially adding probes which change the behaviour of your code under test to a degree where new bugs/behaviours are introduced or old bugs/behaviours are masked. DTrace solves this by using a C subset which helps you avoid such unwitting changes, by not including loops or other operations which could change the memory or timing behaviour of the existing system.