Show simple item record

dc.contributor.authorLochmann, Alexander
dc.contributor.authorSchirmeier, Horst
dc.date.accessioned2021-09-19T18:32:09Z
dc.date.available2021-09-19T18:32:09Z
dc.date.issued2021
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/37389
dc.description.abstractLockDoc is an approach to extract locking rules for kernel data structures, based on a dynamic execution trace. The recorded trace can e.g. be used to verify existing locking documentation. LockDoc results for Linux indicated that only 53 % of all examined data types were accessed consistently with their respective locking documentation [5]: Linux systematically elides locks for performance reasons, and the existing documentation is partially outdated or inconsistent. Without a solid “ground truth”, it is impossible to reliably attribute LockDoc’s findings to bugs in Linux, or to issues with the LockDoc approach itself. Therefore, in this paper we present results from applying LockDoc to a much more straightforwardly and “cleanly” implemented operating system: FreeBSD offers sophisticated locking documentation – e.g. for many data structures, each individual field is annotated with a precise locking rule. We report that, for four centrally documented data types, FreeBSD adheres to the documented locking rules in 72.4 % of all dynamic data-structure accesses. Investigating the remaining rule-violating accesses, we already triggered two commits for the FreeBSD kernel fixing unprotected accesses, and nudge this value to 73.6 %.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofTagungsband des FG-BS Herbsttreffens 2021
dc.subjectTest generation
dc.subjectkernel test coverage
dc.subjectbasic-block coverage
dc.subjectsyzkaller
dc.subjectLinux Test Project
dc.subjectkcov
dc.titleBeastie In For Checkup: Analyzing FreeBSD with LockDocen
dc.typeText
dc.pubPlaceBonn
mci.document.qualitydigidoc
mci.conference.locationTrondheim, Norwegen
mci.conference.date21.-22. September 2021
dc.identifier.doi10.18420/fgbs2021h-04


Files in this item

Thumbnail

Show simple item record