Hi! We are able to identify some kind of mis-stepping behaviour (look at Section 7-6). However, as you can imagine, we cannot catch all cases. As you pointed out, a real problem is that there is no clear definition of…
Many thanks for catching the typos! I will update the arxiv to fix it.
Many thanks for your interest! We are not working on DWARF. However, we hope that the paper will spur a public discussion on these problems. Helping the entire community to have a more expressive standard.
Hi! We plan to use the framework to investigate more the correctness of debug information. Personally, I am not interested in startup and commercial opportunities. Releasing the software is a step we are discussing.
Dear HN community, I am one of the paper authors, the paper has been accepted for presentation at ASPLOS 2021. If you have any question let me know!
Hi! We are able to identify some kind of mis-stepping behaviour (look at Section 7-6). However, as you can imagine, we cannot catch all cases. As you pointed out, a real problem is that there is no clear definition of…
Many thanks for catching the typos! I will update the arxiv to fix it.
Many thanks for your interest! We are not working on DWARF. However, we hope that the paper will spur a public discussion on these problems. Helping the entire community to have a more expressive standard.
Hi! We plan to use the framework to investigate more the correctness of debug information. Personally, I am not interested in startup and commercial opportunities. Releasing the software is a step we are discussing.
Dear HN community, I am one of the paper authors, the paper has been accepted for presentation at ASPLOS 2021. If you have any question let me know!