dynamic analysis

Copy-and-patch JIT compilation as a foundation for low-overhead dynamic program analysis in R, with instrumentation, coverage, profiling, and native debugging. Accepted at MPLR 2026 (to appear).

The fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis is only as good as the available …