diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-11-28 15:47:47 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-11-28 15:47:47 +0100 |
| commit | ffcae80c2167f271a7d733d424fbd72db8c98a93 (patch) | |
| tree | b4d72a5b7522ffe7e10f5cf625be93347cab419f /README.md | |
| parent | 836e42215fda0cbd330caef2dc5fc93336d4722c (diff) | |
| download | focaccia-ffcae80c2167f271a7d733d424fbd72db8c98a93.tar.gz focaccia-ffcae80c2167f271a7d733d424fbd72db8c98a93.zip | |
Record symbolic transform for single instructions
Step manually through single instructions instead of full basic blocks. Record the transformation performed by each instruction as symbolic equations. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/README.md b/README.md index 0397afe..65fe4ce 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,24 @@ This repository contains initial code for comprehensive testing of binary translators. +## Requirements + +We require at least LLDB version 17 for `fs_base`/`gs_base` register support. + +I had to compile LLDB myself; these are the steps I had to take (you also need swig version >= 4): + +``` +git clone https://github.com/llvm/llvm-project <llvm-path> +cd <llvm-path> +cmake -S llvm -B build -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_PROJECTS="clang;lldb" -DLLDB_ENABLE_PYTHON=TRUE -DLLDB_ENABLE_SWIG=TRUE +cmake --build build/ --parallel $(nproc) + +# Add the built LLDB python bindings to your PYTHONPATH: +PYTHONPATH="$PYTHONPATH:$(./build/bin/lldb -P)" +``` + +It will take a while to compile. + ## Snapshot-comparison framework The following files belong to a rough framework for the snapshot comparison engine: |