Install

• install llvm-3.6.0 and clang-3.6.0

  • download llvm-3.6.0 and clang-3.6.0 from the link
  • install them as the tutorial

• install missing check tool

   cp -rf missing-check/Vanguard llvm-3.6.0/llvm-3.6.0.src/tools/clang/tools/
   vim llvm-3.6.0/llvm-3.6.0.src/tools/clang/tools/Cmakelist.txt and add "add_subdirectory(Vanguard)"
   cd llvm-3.6.0
   mkdir llvm-3.6.0.build
   cd llvm-3.6.0.build
   cmake ../llvm-3.6.0.src
   make -j10
   sudo make install
  

Usage

./Vanguard astList.txt config.json

Demo

cd Demo/tainted
./linux_x86.sh
./llvm-3.6/llvm-3.6.0.build/bin/Vanguard Demo/tainted/astList.txt Demo/tainted/config.json

Reference

@article{situ2019automatic,
  title={Automatic detection and repair recommendation for missing checks},
  author={Situ, Ling-Yun and Wang, Lin-Zhang and Liu, Yang and Mao, Bing and Li, Xuan-Dong},
  journal={Journal of Computer Science and Technology},
  volume={34},
  number={5},
  pages={972--992},
  year={2019},
  publisher={Springer}
}

@inproceedings{situ2018vanguard,
  title={Vanguard: Detecting missing checks for prognosing potential vulnerabilities},
  author={Situ, Lingyun and Wang, Linzhang and Liu, Yang and Mao, Bing and Li, Xuandong},
  booktitle={Proceedings of the Tenth Asia-Pacific Symposium on Internetware},
  pages={1--10},
  year={2018}
}