From b071e81fcffe5bd48749301c684b3f5946a82daa Mon Sep 17 00:00:00 2001 From: LJP-TW Date: Fri, 22 Jul 2022 00:08:11 -0400 Subject: [PATCH 1/2] Documentation/Build.md: update build doc --- Documentation/Build.md | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) diff --git a/Documentation/Build.md b/Documentation/Build.md index a85111f7..801eaf76 100644 --- a/Documentation/Build.md +++ b/Documentation/Build.md @@ -8,8 +8,19 @@ S2E officially supports 64-bit Ubuntu (18.04, 20.04 LTS), older or later version You need to manually install some additional tools or packages before building CRAX++. * [pwntools](https://github.com/Gallopsled/pwntools) (4.7.0) +``` +sudo -H python3 -m pip install pwntools==4.7.0 +``` + * [pybind11-dev](https://github.com/pybind/pybind11) (2.4.3-2build2) +``` +sudo apt-get install pybind11-dev=2.4.3-2build2 +``` + * [ROPgadget](https://github.com/JonathanSalwan/ROPgadget) (6.6) +``` +sudo -H python3 -m pip install ROPgadget==6.6 +``` ## Building S2E Manually @@ -78,23 +89,20 @@ cd ~/s2e/source/CRAXplusplus/proxies/sym_file && make Create an S2E project with our concolic execution proxy, `sym_stdin`. ``` -cd ~/s2e/source/s2e/proxies/sym_stdin -make cd ~/s2e s2e new_project --image debian-9.2.1-x86_64 ~/s2e/source/CRAXplusplus/proxies/sym_stdin/sym_stdin ``` -Run `setup.sh`. This applies several patches to the S2E source tree, and places some symlinks in your S2E project. +Run `setup.sh`. This applies several patches to the S2E source tree, places some symlinks in your S2E project, and merges the source code of CRAX++ into S2E source tree. ``` cd ~/s2e/source/CRAXplusplus ./setup.sh ``` -Merge the source code of CRAX++ into S2E source tree, and rebuild S2E. +Rebuild S2E. ``` -rm -rf ~/s2e/source/s2e/libs2eplugins/src/s2e/Plugins/CRAX -cp -ar ~/s2e/source/CRAXplusplus/src ~/s2e/source/s2e/libs2eplugins/src/s2e/Plugins/CRAX cd ~/s2e +rm -rf build/stamps/libs2e-release-* s2e build ``` @@ -141,7 +149,7 @@ Modify `s2e-config.template.lua` and tailor the exploitation techniques to your techniques = { "Ret2csu", "BasicStackPivot", - "GotPartialOverwrite", + "Ret2syscall", }, ``` From 563fe42d4b2aff034a60bde3a7931d824bb7bf21 Mon Sep 17 00:00:00 2001 From: LJP-TW Date: Fri, 22 Jul 2022 00:18:03 -0400 Subject: [PATCH 2/2] Use environment parameter instead of hardcoding path in s2e-config.lua --- examples/BID-8901-iwconfig/s2e-config.template.lua | 6 +++--- examples/CVE-2001-1413-ncompress/s2e-config.template.lua | 6 +++--- examples/CVE-2004-2093-rsync/s2e-config.template.lua | 6 +++--- .../CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua | 6 +++--- examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua | 6 +++--- examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua | 6 +++--- examples/actf2020-no_canary/s2e-config.template.lua | 6 +++--- examples/actf2021-tranquil/s2e-config.template.lua | 6 +++--- examples/aslr-nx-canary/s2e-config.template.lua | 6 +++--- examples/aslr-nx-pie-alt1/s2e-config.template.lua | 6 +++--- .../s2e-config.template.lua | 6 +++--- .../aslr-nx-pie-canary-fullrelro/s2e-config.template.lua | 6 +++--- examples/aslr-nx-pie-canary/s2e-config.template.lua | 6 +++--- examples/aslr-nx-pie/s2e-config.template.lua | 6 +++--- examples/aslr-nx/s2e-config.template.lua | 6 +++--- .../defcon27-quals-speedrun-002/s2e-config.template.lua | 6 +++--- examples/ntucs2017-readme/s2e-config.template.lua | 6 +++--- examples/ntucs2017-readme_alt1/s2e-config.template.lua | 6 +++--- examples/ntucs2017-readme_alt2/s2e-config.template.lua | 6 +++--- examples/pwnable-kr-bof/s2e-config.template.lua | 6 +++--- examples/pwnable-kr-unexploitable/s2e-config.template.lua | 6 +++--- .../pwnable-tw-unexploitable-trans/s2e-config.template.lua | 6 +++--- examples/pwnable-tw-unexploitable/s2e-config.template.lua | 6 +++--- examples/rop-emporium-callme/s2e-config.template.lua | 6 +++--- examples/rop-emporium-ret2win/s2e-config.template.lua | 6 +++--- examples/rop-emporium-split/s2e-config.template.lua | 6 +++--- proxies/sym_arg/s2e-config.template.lua | 6 +++--- proxies/sym_env/s2e-config.template.lua | 6 +++--- proxies/sym_file/s2e-config.template.lua | 6 +++--- proxies/sym_socket/s2e-config.template.lua | 6 +++--- proxies/sym_stdin/s2e-config.template.lua | 6 +++--- 31 files changed, 93 insertions(+), 93 deletions(-) diff --git a/examples/BID-8901-iwconfig/s2e-config.template.lua b/examples/BID-8901-iwconfig/s2e-config.template.lua index 3daa9a9a..6d3053a4 100644 --- a/examples/BID-8901-iwconfig/s2e-config.template.lua +++ b/examples/BID-8901-iwconfig/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/projects/sym_arg", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/CVE-2001-1413-ncompress/s2e-config.template.lua b/examples/CVE-2001-1413-ncompress/s2e-config.template.lua index f077bb51..3b191bcd 100644 --- a/examples/CVE-2001-1413-ncompress/s2e-config.template.lua +++ b/examples/CVE-2001-1413-ncompress/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/projects/sym_arg", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/CVE-2004-2093-rsync/s2e-config.template.lua b/examples/CVE-2004-2093-rsync/s2e-config.template.lua index 58041b10..8fa76964 100644 --- a/examples/CVE-2004-2093-rsync/s2e-config.template.lua +++ b/examples/CVE-2004-2093-rsync/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_env", + os.getenv("HOME") .. "/s2e/projects/sym_env", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_env", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_env", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua b/examples/CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua index df460d38..818c4e51 100644 --- a/examples/CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua +++ b/examples/CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/projects/sym_socket", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua b/examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua index 5cc7798b..e26bd835 100644 --- a/examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua +++ b/examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/projects/sym_socket", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua b/examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua index 5162442d..330f23e9 100644 --- a/examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua +++ b/examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/projects/sym_arg", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/actf2020-no_canary/s2e-config.template.lua b/examples/actf2020-no_canary/s2e-config.template.lua index ec65b7fc..9c5e3ca3 100644 --- a/examples/actf2020-no_canary/s2e-config.template.lua +++ b/examples/actf2020-no_canary/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/actf2021-tranquil/s2e-config.template.lua b/examples/actf2021-tranquil/s2e-config.template.lua index 6e50f544..1ca95734 100644 --- a/examples/actf2021-tranquil/s2e-config.template.lua +++ b/examples/actf2021-tranquil/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-canary/s2e-config.template.lua b/examples/aslr-nx-canary/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/aslr-nx-canary/s2e-config.template.lua +++ b/examples/aslr-nx-canary/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-pie-alt1/s2e-config.template.lua b/examples/aslr-nx-pie-alt1/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/aslr-nx-pie-alt1/s2e-config.template.lua +++ b/examples/aslr-nx-pie-alt1/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-pie-canary-fullrelro-trans/s2e-config.template.lua b/examples/aslr-nx-pie-canary-fullrelro-trans/s2e-config.template.lua index 0ab23e95..de4b9bd0 100644 --- a/examples/aslr-nx-pie-canary-fullrelro-trans/s2e-config.template.lua +++ b/examples/aslr-nx-pie-canary-fullrelro-trans/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-pie-canary-fullrelro/s2e-config.template.lua b/examples/aslr-nx-pie-canary-fullrelro/s2e-config.template.lua index 0ab23e95..de4b9bd0 100644 --- a/examples/aslr-nx-pie-canary-fullrelro/s2e-config.template.lua +++ b/examples/aslr-nx-pie-canary-fullrelro/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-pie-canary/s2e-config.template.lua b/examples/aslr-nx-pie-canary/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/aslr-nx-pie-canary/s2e-config.template.lua +++ b/examples/aslr-nx-pie-canary/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx-pie/s2e-config.template.lua b/examples/aslr-nx-pie/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/aslr-nx-pie/s2e-config.template.lua +++ b/examples/aslr-nx-pie/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/aslr-nx/s2e-config.template.lua b/examples/aslr-nx/s2e-config.template.lua index aec629a8..f231ebc2 100644 --- a/examples/aslr-nx/s2e-config.template.lua +++ b/examples/aslr-nx/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/defcon27-quals-speedrun-002/s2e-config.template.lua b/examples/defcon27-quals-speedrun-002/s2e-config.template.lua index 94953ad0..28403502 100644 --- a/examples/defcon27-quals-speedrun-002/s2e-config.template.lua +++ b/examples/defcon27-quals-speedrun-002/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/ntucs2017-readme/s2e-config.template.lua b/examples/ntucs2017-readme/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/ntucs2017-readme/s2e-config.template.lua +++ b/examples/ntucs2017-readme/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/ntucs2017-readme_alt1/s2e-config.template.lua b/examples/ntucs2017-readme_alt1/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/ntucs2017-readme_alt1/s2e-config.template.lua +++ b/examples/ntucs2017-readme_alt1/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/ntucs2017-readme_alt2/s2e-config.template.lua b/examples/ntucs2017-readme_alt2/s2e-config.template.lua index 99e5456e..7660dd1d 100644 --- a/examples/ntucs2017-readme_alt2/s2e-config.template.lua +++ b/examples/ntucs2017-readme_alt2/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/pwnable-kr-bof/s2e-config.template.lua b/examples/pwnable-kr-bof/s2e-config.template.lua index 6e50f544..1ca95734 100644 --- a/examples/pwnable-kr-bof/s2e-config.template.lua +++ b/examples/pwnable-kr-bof/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/pwnable-kr-unexploitable/s2e-config.template.lua b/examples/pwnable-kr-unexploitable/s2e-config.template.lua index e6169095..b0130d63 100644 --- a/examples/pwnable-kr-unexploitable/s2e-config.template.lua +++ b/examples/pwnable-kr-unexploitable/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/pwnable-tw-unexploitable-trans/s2e-config.template.lua b/examples/pwnable-tw-unexploitable-trans/s2e-config.template.lua index aec629a8..f231ebc2 100644 --- a/examples/pwnable-tw-unexploitable-trans/s2e-config.template.lua +++ b/examples/pwnable-tw-unexploitable-trans/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/pwnable-tw-unexploitable/s2e-config.template.lua b/examples/pwnable-tw-unexploitable/s2e-config.template.lua index aec629a8..f231ebc2 100644 --- a/examples/pwnable-tw-unexploitable/s2e-config.template.lua +++ b/examples/pwnable-tw-unexploitable/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/rop-emporium-callme/s2e-config.template.lua b/examples/rop-emporium-callme/s2e-config.template.lua index e6169095..b0130d63 100644 --- a/examples/rop-emporium-callme/s2e-config.template.lua +++ b/examples/rop-emporium-callme/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/rop-emporium-ret2win/s2e-config.template.lua b/examples/rop-emporium-ret2win/s2e-config.template.lua index ae6c40d7..ecc9fe73 100644 --- a/examples/rop-emporium-ret2win/s2e-config.template.lua +++ b/examples/rop-emporium-ret2win/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/examples/rop-emporium-split/s2e-config.template.lua b/examples/rop-emporium-split/s2e-config.template.lua index c7a2cbbc..1016d55a 100644 --- a/examples/rop-emporium-split/s2e-config.template.lua +++ b/examples/rop-emporium-split/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/proxies/sym_arg/s2e-config.template.lua b/proxies/sym_arg/s2e-config.template.lua index fc744ce4..9f29556c 100644 --- a/proxies/sym_arg/s2e-config.template.lua +++ b/proxies/sym_arg/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/projects/sym_arg", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_arg", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_arg", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/proxies/sym_env/s2e-config.template.lua b/proxies/sym_env/s2e-config.template.lua index 406c24e6..5efc37e8 100644 --- a/proxies/sym_env/s2e-config.template.lua +++ b/proxies/sym_env/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_env", + os.getenv("HOME") .. "/s2e/projects/sym_env", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_env", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_env", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/proxies/sym_file/s2e-config.template.lua b/proxies/sym_file/s2e-config.template.lua index b38c6ee4..6f9b5fb4 100644 --- a/proxies/sym_file/s2e-config.template.lua +++ b/proxies/sym_file/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_file", + os.getenv("HOME") .. "/s2e/projects/sym_file", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_file", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_file", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/proxies/sym_socket/s2e-config.template.lua b/proxies/sym_socket/s2e-config.template.lua index f5fc441b..a1491976 100644 --- a/proxies/sym_socket/s2e-config.template.lua +++ b/proxies/sym_socket/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/projects/sym_socket", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_socket", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_socket", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, } diff --git a/proxies/sym_stdin/s2e-config.template.lua b/proxies/sym_stdin/s2e-config.template.lua index bf94a7dd..6e645155 100644 --- a/proxies/sym_stdin/s2e-config.template.lua +++ b/proxies/sym_stdin/s2e-config.template.lua @@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = { add_plugin("HostFiles") pluginsConfig.HostFiles = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", }, allowWrite = true, } @@ -63,8 +63,8 @@ pluginsConfig.HostFiles = { add_plugin("Vmi") pluginsConfig.Vmi = { baseDirs = { - "/home/aesophor/s2e/projects/sym_stdin", - "/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs", + os.getenv("HOME") .. "/s2e/projects/sym_stdin", + os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs", }, }