# bupt_use

**Repository Path**: yin-luming/bupt_use

## Basic Information

- **Project Name**: bupt_use
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2024-05-12
- **Last Updated**: 2024-08-17

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

Step 1: Click on the link http://srg.doc.ic.ac.uk/shadow/Shadow-VM_clean.ova to download the virtual machine and import it into VirtualBox.

Step 2: Open the VirtualBox virtual machine and run the image. The password for the image is "shadow". Then, open the terminal.

Step 3: cd /home/shadowvm

Step 4: wget https://releases.llvm.org/3.4/llvm-3.4.src.tar.gz --no-check-certificate

Step 5: wget https://releases.llvm.org/3.4/clang-3.4.src.tar.gz --no-check-certificate

Step 6: wget https://releases.llvm.org/3.4/clang-tools-extra-3.4.src.tar.gz --no-check-certificate

Step 7: tar -zxvf  llvm-3.4.src.tar.gz && tar -zxvf clang-3.4.src.tar.gz && tar -zxvf clang-tools-extra-3.4.src.tar.gz

Step 8: mv llvm-3.4 llvm && mv clang-3.4 llvm/tools/clang && mv clang-tools-extra-3.4 llvm/tools/clang/tools/extra

Step 9: cd shadow/ && mkdir llvmbuild && cd llvmbuild

Step 10: /home/shadowvm/llvm/configure --enable-optimized

Step 11: make -j15

Step 12: sudo make install

Step 13: cd /home/shadowvm/shadow/kleeDeploy/klee-uclibc/

Step 14: make clean

Step 15: ./configure --make-llvm-lib && make -j15

Step 16: cd /home/shadowvm/shadow/

Step 17: mkdir bupt_use_update && cd bupt_use_update && mkdir bupt_use && cd bupt_use

Step 18: git clone https://gitee.com/yin-luming/bupt_use.git build_3

Step 19: rm -rf /home/shadowvm/shadow/klee-change/Release+Asserts

Step 20: cp -r /home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/Release+Asserts/ /home/shadowvm/shadow/klee-change

Step 21: You have completed the environment setup through the above steps. You can verify it by running "klee --version".