pc_piix: disable VM hooks

Allows booting some more guests

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
TbTrace: tracing page faults

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExceptionTracer: plugin to trace guest interrupts and exceptions

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
StateSwitchTracer: plugin that records state switch events

Mostly useful for debugging

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: flush TLB ownership before forking

Otherwise, corruption will occur

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExecutionTracer: GDB hook to flush the trace manually

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
MemoryTracer: log klee ObjectState in the execution trace

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
exec.c: fixed size of memory access

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
slirp: do not allow to start s2e if it's enabled

slirp causes corruptions and crashes in multi-path mode.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: updated tutorials with the -net none option

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
links in index.rst are rst and MakeFile changes them in .html in the html generated pages
Add travis-ci build configuration

Provide the ability to perform continuous integration using travis-ci.

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Initialize Exploit plugin

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Add onEipCorrupt callback to Exploit plugin

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Intercept EIP overriding and hook up Exploit plugin

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Find out all manipulatable memory region

A symbolic byte in memory suggests that it has
certain relationship with the symbolic input.

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Convert shellcode string to real shellcode

Shellcode string read from config file is escaped,
which means '\x61' becomes 'x61'. Store converted
shellcode into variable m_shellcode.

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Generate exploit

The only form of exploit we can generate now is:
[NOP sled][shellcode][EIP]

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Modify sample config.lua to use ExploitGenerator plugin

Signed-off-by: Lance Chen <cyen0312@gmail.com>
Add m_eipValue variable to exploitGenerator plugin

Add m_eipValue variable instead of propagate eipValue everywhere.

Signed-off-by: Lance Chen <cyen0312@gmail.com>