├── README.md ├── c3 ├── Makefile ├── c3.h ├── cdi.cpp ├── common.h ├── diskimg.cpp ├── driver.cpp ├── edi.cpp ├── gen_random.cpp ├── gen_search.cpp ├── instrument.cpp ├── main.cpp ├── ptrace.cpp ├── runner.py ├── stats.cpp ├── utils.cpp └── validate.cpp ├── c3disk ├── Makefile ├── c3disk.h ├── diskops.c ├── mod.c └── rob.c ├── init ├── subjects ├── emacs │ └── manuscript.py └── gzip │ └── manuscript.py └── validate /README.md: -------------------------------------------------------------------------------- 1 | # C3: Crash Consistency Checker 2 | 3 | -------------------------------------------------------------------------------- /c3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/Makefile -------------------------------------------------------------------------------- /c3/c3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/c3.h -------------------------------------------------------------------------------- /c3/cdi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/cdi.cpp -------------------------------------------------------------------------------- /c3/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/common.h -------------------------------------------------------------------------------- /c3/diskimg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/diskimg.cpp -------------------------------------------------------------------------------- /c3/driver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/driver.cpp -------------------------------------------------------------------------------- /c3/edi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/edi.cpp -------------------------------------------------------------------------------- /c3/gen_random.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/gen_random.cpp -------------------------------------------------------------------------------- /c3/gen_search.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/gen_search.cpp -------------------------------------------------------------------------------- /c3/instrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/instrument.cpp -------------------------------------------------------------------------------- /c3/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/main.cpp -------------------------------------------------------------------------------- /c3/ptrace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/ptrace.cpp -------------------------------------------------------------------------------- /c3/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/runner.py -------------------------------------------------------------------------------- /c3/stats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/stats.cpp -------------------------------------------------------------------------------- /c3/utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/utils.cpp -------------------------------------------------------------------------------- /c3/validate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3/validate.cpp -------------------------------------------------------------------------------- /c3disk/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3disk/Makefile -------------------------------------------------------------------------------- /c3disk/c3disk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3disk/c3disk.h -------------------------------------------------------------------------------- /c3disk/diskops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3disk/diskops.c -------------------------------------------------------------------------------- /c3disk/mod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3disk/mod.c -------------------------------------------------------------------------------- /c3disk/rob.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/c3disk/rob.c -------------------------------------------------------------------------------- /init: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/init -------------------------------------------------------------------------------- /subjects/emacs/manuscript.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/subjects/emacs/manuscript.py -------------------------------------------------------------------------------- /subjects/gzip/manuscript.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/subjects/gzip/manuscript.py -------------------------------------------------------------------------------- /validate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jiangyy/c3/HEAD/validate --------------------------------------------------------------------------------