LLDBagility: practical macOS kernel debugging

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Calzavara, Stefano it_IT
dc.contributor.author Cagnin, Francesco <1991> it_IT
dc.date.accessioned 2020-02-17 it_IT
dc.date.accessioned 2020-06-16T05:24:40Z
dc.date.available 2020-06-16T05:24:40Z
dc.date.issued 2020-03-13 it_IT
dc.identifier.uri http://hdl.handle.net/10579/16240
dc.description.abstract The effectiveness of debugging software issues depends largely on the capabilities of the tools available to aid in such task. To debug the macOS kernel there is at present no real alternative other than the basic debugger integrated in the kernel itself, intended to be used remotely from another machine through a full-fledged debugger like LLDB. Due to design constraints and implementative choices, this approach has however several drawbacks, such as the necessity of modifying the system configuration, or the impossibility to set hardware breakpoints or to pause the execution of kernel from the debugger. The aim of this work was improving the overall debugging experience for the macOS kernel. To this end we developed LLDBagility, a tool to enable kernel debugging via virtual machine introspection. LLDBagility connects LLDB to any unmodified macOS virtual machine running on a patched version of the VirtualBox hypervisor, allowing the debugger to fully control the machine without the system being aware of the process. This solution have made possible to overcome all limitations of the classic kernel debugging approach, and also to implement new useful features like the ability to save and eventually restore the state of the machine directly from the debugger. it_IT
dc.language.iso en it_IT
dc.publisher Università Ca' Foscari Venezia it_IT
dc.rights © Francesco Cagnin, 2020 it_IT
dc.title LLDBagility: practical macOS kernel debugging it_IT
dc.title.alternative it_IT
dc.type Bachelor Thesis it_IT
dc.degree.name Informatica - computer science it_IT
dc.degree.level Laurea magistrale it_IT
dc.degree.grantor Dipartimento di Scienze Ambientali, Informatica e Statistica it_IT
dc.description.academicyear 2018/2019, sessione straordinaria it_IT
dc.rights.accessrights openAccess it_IT
dc.thesis.matricno 840157 it_IT
dc.subject.miur INF/01 INFORMATICA it_IT
dc.description.note it_IT
dc.degree.discipline it_IT
dc.contributor.co-advisor it_IT
dc.date.embargoend it_IT
dc.provenance.upload Francesco Cagnin (840157@stud.unive.it), 2020-02-17 it_IT
dc.provenance.plagiarycheck Stefano Calzavara (stefano.calzavara@unive.it), 2020-03-02 it_IT


Files in this item

This item appears in the following Collection(s)

Show simple item record