S2EExecutor: removed useless params from s2e_qemu_cleanup_tb_exec

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: current state cannot be speculative

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: fixed case when finalizing TB raises an exception

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
build: Integrate number of jobs to run into MAKE variable

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Replace manual directory changes by recursive Make invocations

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify qemu dependency declaration wrt KLEE

S2E handles target dependencies through stamps, there is no sense in
excluding qemu's dependency on KLEE from this scheme.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify klee-configure dependencies wrt stp

S2E handles target dependencies through stamps, there is no sense in
excluding KLEE's dependency on stp from this scheme.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Add shorthands for compiling all ASAN-enabled targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: added llvm dependency for tools

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs/TestingMinimalProgram: Fix typo in config file example

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs/BuildingS2E: Remove instructions for manually building S2E.

The instructions are outdated wrt the commands actually used in
the Makefile, so refer to the Makefile instead.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Fix stp-asan path in QEMU configure flags.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Add missing dependency of klee-asan on llvm.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Always run ASAN-enabled KLEE targets, same as normal KLEE targets.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Ignore errors from clean target commands.

This ensures that the clean targets continue running even if some
commands fail, ensuring that as much as possible is actually cleaned.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Extract S2E source path from Makefile location.

Hardcoding the path name is not flexible enough.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build/guest: Merge rules for building shared libraries.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
gitignore: Ignore all init_env .so versions.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
gitignore: Prefix entries for non-global patterns with /.

While the entries being prefixed are unlikely to clash with newly-created
files, it is good style to use full paths for specific ignore patterns.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Factorize dependency declarations for foo-make targets.

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