Linux kernel 4.0-rc2
$ cd ..
$ git clone https://github.com/torvalds/linux.git
$ cd linux
$ git checkout v4.0-rc2
$ cp ../juxta/config/config-x86_64-full-fs .config
$ make; make clean
$ cd ../juxta

Need to first make modification to the make file. Add a compile flag called compiler:
COMPILER := -DCMAKE_CXX_COMPILER=g++-4.9 -DCMAKE_C_COMPILER=gcc-4.9
and add this flag to every occurrence of calling cmake


Build clang
$  make clang-full  (first time only)
$  make clang       (from the next)

Merge IEEE 802.11 wireless drivers
$ cd analyzer
$ ./ctrl.py merge_all_ieee80211 (for all IEEE 802.11 drivers)
$ ./ctrl.py merge_ieee80211 (for specific drivers: e.g. adm8211 ath_ath9k)
full list of drivers available inside NOTE.ieee80211, driver paths inside merger.py.merge_ieee80211

Static analysis of merged wireless driver code
$ ./ctrl.py clang_all  (for all file systems)
$ ./ctrl.py clang adm8211 (for adm8211 ath_ath9k ...etc)

Merge file system code
$ cd analyzer
$ ./ctrl.py merge_all  (for all file systems)
$ ./ctrl.py merge ext4 (for ext4)

Static analysis of merged file system code
$ ./ctrl.py clang_all  (for all file systems)
$ ./ctrl.py clang ext4 (for ext4)

Create path database
$ ./ctrl.py pickle_all (for all file systems)
$ cd ..

Cross-checking Semantic Correctness: The Case of Finding File System Bugs
Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim
SOSP 2015

@inproceedings{min:juxta,
  title        = {{Cross-checking Semantic Correctness: The Case of Finding File System Bugs}},
  author       = {Changwoo Min and Sanidhya Kashyap and Byoungyoung Lee and Chengyu Song and Taesoo Kim},
  booktitle    = {Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP)},
  month        = oct,
  year         = 2015,
  address      = {Monterey, CA},
}