Fix --select-process-code in init_env.c

(always select module init_env.so)
Reformatted help message

Reported-by: Jonas Wagner <jonas.wagner@epfl.ch>
Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
init_env: disable custom instruction for debug build

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: warning should be printed when at least 2 states, not 1

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Improve symbolic port I/O support.

This patch improves support for symbolic port I/O in PCI device
drivers.  It ensures that the helper_inb/w/l family of functions
correctly supplies symbolic data when a symbolic PCI device is used.

Signed-off-by: Matt Renzelmann <mjr@cs.wisc.edu>
docs: cosmetics: Make example code indentation consistent

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Switch to modern qemu syntax for host port forwarding

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Fix a number of typos and grammar errors

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs/WritingPlugins: Fix some example code errors

Signed-off-by: Diego Biurrun <diego@biurrun.de>
handleForkAndConcretize: we must add a constraint ourselves if fork is disabled.

Alternative implementation:

remove the check: if (!state->forkDisabled)...
and let Executor::fork() deal with the case when forking is disabled.

This is more complicated, because KLEE's Executor::fork() has non-deterministic
behavior when both outcomes are feasible: it may drop the true state,
which would be pretty hard to handle here.

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>