git: ignore temp files

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Removes klee_make_symbolic/get_value calls from port I/O operations

This patch removes the klee_make_symbolic and klee_get_value calls
from the port I/O code, and removes these function implements
altogether.  The old approach was not compatible with conconcolic
execution.  This patch removes related code from the KLEE
SpecialFunctionHandler.cpp.

New functionality includes the handleMakeSymbolic and handleGetValue
calls in S2EExecutor, as well as the makeSymbolic and
kleeRead/WriteMemory calls in S2EExecutionState.
This patch adds additional symbolic hardware support.

Features added include: (a) MSI, (b) PCI-E, (c) power management
support.  Support consists of new flags in symbolic hardware
definition files and new command line parameters.
klee: removed deprecated header klee.h

S2E does not use any of these.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
softmmu: fixed remaining uses of klee_get_value

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
CorePlugin: signal to hook mapping updates of PCI descriptors

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
pci.c: notifying S2E of updates to PCI mappings

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
SymbolicHardware: cosmetic fixes

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
SymbolicHardware: fixed registering of symbolic I/O ranges for PCI devices

Can't use post_load hook as the PCI device might be unmapped at that time.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: updated device driver tutorial

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
gitignore: Add some generated files in the guest subdirectory

Signed-off-by: Diego Biurrun <diego@biurrun.de>
guest: Build Linux tools non-recursively

This is more correct and simplifies the Makefile structure.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
s2e.h: Refactor repetitive inline assembly statements for S2E opcodes

Signed-off-by: Diego Biurrun <diego@biurrun.de>
misc typo fixes

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu: Set PKGVERSION to differentiate S2E qemu builds from vanilla qemu.
docs: contribute: Adjust small grammar error.
docs: Fix errors in example plugin code
build: Remove stray command from clean target

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Drop stray echo command in llvm-configure target

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Drop --enable-assertions from configure runs where it is not supported