This repository was archived by the owner on Jun 20, 2022. It is now read-only.
Write about LLVM in introduction and background #1
Description
Todo
- Write about LLVM IR from Rust code
- Write about how KLEE works on LLVM
Context
LLVM is an important part of this project, it makes KLEE able to work on Rust programs. Therefore it should be mentioned.