Patching Locking Bugs Statically with Crayons

Autor: Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski

Publikováno v: Cruz, A, Varshosaz, M, Le Goues, C & Wasowski, A 2022, ' Patching Locking Bugs Statically with Crayons ', ACM Transactions on Software Engineering and Methodology . https://doi.org/10.1145/3548684

The Linux Kernel is a world-class operating system controlling most of our computing infrastructure: mobile devices, Internet routers and services, and most of the supercomputers. Linux is also an example of low-level software with no comprehensive r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::771fadcb5f25151e19fe2a5265724065
https://pure.itu.dk/ws/files/101336666/3548684.pdf