docs: contributions should go now through GitHub

Avoids clutering mailing list with patches

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
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>
qemu: virtfs-proxy-helper: use setresuid and setresgid

The setfsuid and setfsgid system calls are obscure and they complicate
the error checking (that glibc's warn_unused_result "feature" forces
us to do).  Switch to the standard setresuid and setresgid functions.

Signed-off-by: Paolo Bonzini <pbonini@redhat.com
Signed-off-by: Aneesh Kumar K.V <aneesh.kumar@linux.vnet.ibm.com>
qemu: vnc-tls: Fix compilation with newer versions of GNU-TLS

In my installation of GNU-TLS (v3.0.23) the type
gnutls_anon_server_credentials is marked deprecated, so -Werror
breaks compilation.
Simply replacing it with the newer ..._t version fixed the compilation
on my machine (Slackware 14.0). I cannot tell how far back this "new"
type goes, at least the header file in RHEL 5.0 (v1.4.1) seems to have
it already. If someone finds a broken distribution, tell me and I
insert some compat code.

Signed-off-by: Andre Przywara <osp@andrep.de>
stp: Fix missing function return statements

Add return statement to non-void functions

Signed-off-by: Michael Contreras <michael@inetric.com>
s2e: Port to LLVM 3.2

Port S2E to LLVM/CLANG 3.2

Signed-off-by: Michael Contreras <michael@inetric.com>
s2e:qemu:configure Disable _FORTIFY_SOURCE

Disable _FORTIFY_SOURCE because it seems broken with this qemu and clang 3.2

Signed-off-by: Michael Contreras <michael@inetric.com>