Carburizer

SOSP
09

Carburizer analyzes driver source code to FInd locations where the driver incorrectly trusts the hardware to behave. IT identiFIED 992 such bugs in Linux drivers with a false positive rate of less than 8%. carburizer also inserted error reporting code at around 1500 missing places.

CARBURIZER

SEE THE SOSP PAPER FOR MORE EXAMPLES ON INVALID ARRAY AND POINTER REFERENCES THAT CARBURIZER CAN FIX. ADDITIONALLY, CARBURIZER CAN ALSO ADD ERROR REPORTING CODE WHERE THE DRIVER HANDLES DEVICE FAILURES BUT FAILS TO REPORT IT TO THE ADMINISTRATOR.
ADDITIONALLY, CARBURIZER CAN perform transparent online recovery and also DETECT AND RECOVER STUCK INTERRUPTS AND INTERRUPT STORMS (SEE PAPER).