#

sosp

Here is 1 public repository matching this topic...

asimkadav / carburizer

Carburizer is a tool that removes hardware dependence bugs.

static-analysis device-driver carburizer code-hardening sosp

Updated Oct 1, 2013
OCaml

Improve this page

Add a description, image, and links to the sosp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sosp topic, visit your repo's landing page and select "manage topics."