Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Analyze OpenBSD’s Kernel with Domain-Specific Knowledge
(
citizen4.eu
)
1 point
by
todsacerdoti
on June 29, 2022
|
hide
|
past
|
favorite
|
1 comment
johndoe0815
on June 29, 2022
[–]
Related - Alex Lochmann's LockDoc (EuroSys 2019) to document locking patterns and find locking-rule violations in the Linux kernel:
https://ess.cs.tu-dortmund.de/Staff/al/Publications/files/eu...
and its application to FreeBSD:
https://dl.gi.de/bitstream/handle/20.500.12116/37389/Paper04...
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
and its application to FreeBSD: https://dl.gi.de/bitstream/handle/20.500.12116/37389/Paper04...