The correctness of debug information included in optimized binaries has been the subject of recent attention by the research community. Indeed. it represents a practically important problem. as most of the software running in production is produced by an optimizing compiler. https://parisnaturalfoodes.shop/product-category/rose-petal/