File tree 3 files changed +3
-3
lines changed
3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ <h1>S²E Documentation</h1>
34
34
< li > Getting Started< ol class ="arabic ">
35
35
< li > < a class ="reference external " href ="BuildingS2E.html "> Building S2E</ a > </ li >
36
36
< li > < a class ="reference external " href ="ImageInstallation.html "> Preparing a VM image for S2E</ a > </ li >
37
- < li > < a class ="reference external " href ="UsingS2EGet.html "> Quicky uploading programs to the guest with s2eget</ a > </ li >
37
+ < li > < a class ="reference external " href ="UsingS2EGet.html "> Quickly uploading programs to the guest with s2eget</ a > </ li >
38
38
< li > < a class ="reference external " href ="TestingMinimalProgram.html "> Testing a simple program</ a > </ li >
39
39
< li > < a class ="reference external " href ="Howtos/init_env.html "> Testing Linux binaries</ a > </ li >
40
40
< li > < a class ="reference external " href ="Howtos/Concolic.html "> Analyzing large programs using concolic execution</ a > </ li >
Original file line number Diff line number Diff line change @@ -13,7 +13,7 @@ S²E Documentation
13
13
14
14
1. `Building S2E <BuildingS2E.html >`_
15
15
2. `Preparing a VM image for S2E <ImageInstallation.html >`_
16
- 3. `Quicky uploading programs to the guest with s2eget <UsingS2EGet.html >`_
16
+ 3. `Quickly uploading programs to the guest with s2eget <UsingS2EGet.html >`_
17
17
18
18
4. `Testing a simple program <TestingMinimalProgram.html >`_
19
19
5. `Testing Linux binaries <Howtos/init_env.html >`_
Original file line number Diff line number Diff line change 5
5
import os
6
6
7
7
blacklist = [
8
- # The following files are for non-i386 targets
8
+ # The following files are for non-x86 targets
9
9
# they cause false positives when looking up symbols
10
10
'qemu/target-alpha/' ,
11
11
'qemu/target-arm/' ,
You can’t perform that action at this time.
0 commit comments