Skip to content

Commit 563fe42

Browse files
LJP-TWLJP-TW
committed
Use environment parameter instead of hardcoding path in s2e-config.lua
1 parent b071e81 commit 563fe42

File tree

31 files changed

+93
-93
lines changed

31 files changed

+93
-93
lines changed

‎examples/BID-8901-iwconfig/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_arg",
52+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_arg",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/CVE-2001-1413-ncompress/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_arg",
52+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_arg",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/CVE-2004-2093-rsync/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_env",
52+
os.getenv("HOME") .. "/s2e/projects/sym_env",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_env",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_env",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/CVE-2017-14493-dnsmasq-aslr-nx/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_socket",
52+
os.getenv("HOME") .. "/s2e/projects/sym_socket",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_socket",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_socket",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/CVE-2017-14493-dnsmasq/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_socket",
52+
os.getenv("HOME") .. "/s2e/projects/sym_socket",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_socket",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_socket",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/OSVDB-ID-16373-glftpd/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_arg",
52+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_arg",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_arg",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/actf2020-no_canary/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/actf2021-tranquil/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-canary/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-pie-alt1/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-pie-canary-fullrelro-trans/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-pie-canary-fullrelro/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-pie-canary/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx-pie/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/aslr-nx/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/defcon27-quals-speedrun-002/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/ntucs2017-readme/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/ntucs2017-readme_alt1/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/ntucs2017-readme_alt2/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

‎examples/pwnable-kr-bof/s2e-config.template.lua

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ pluginsConfig.BaseInstructions = {
4949
add_plugin("HostFiles")
5050
pluginsConfig.HostFiles = {
5151
baseDirs = {
52-
"/home/aesophor/s2e/projects/sym_stdin",
52+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
5353
},
5454
allowWrite = true,
5555
}
@@ -63,8 +63,8 @@ pluginsConfig.HostFiles = {
6363
add_plugin("Vmi")
6464
pluginsConfig.Vmi = {
6565
baseDirs = {
66-
"/home/aesophor/s2e/projects/sym_stdin",
67-
"/home/aesophor/s2e/images/debian-9.2.1-x86_64/guestfs",
66+
os.getenv("HOME") .. "/s2e/projects/sym_stdin",
67+
os.getenv("HOME") .. "/s2e/images/debian-9.2.1-x86_64/guestfs",
6868
},
6969
}
7070

0 commit comments

Comments
 (0)