s2e-block: s2e images should get higher affinity

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fix uninitialised values in Annotation plugin

m_tb wasn't being properly initialised before conditional usage.
Fixing this issue after valgrind spotted it.

Signed-off-by: Luca Bruno <lucab@debian.org>
Free used constants if not used anymore

Fixes memleak
Annotation: better config parsing to avoid useless warnings

Signed-off-by: Luca Bruno <lucab@debian.org>
ConfigFile: add getID() to LUA interface

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
ConfigFile: range constraints for writeRegisterSymb()

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
ConfigFile: add missing getDouble()

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
ConfigFile: perform concolic injection by default

Default writeRegisterSymb() and writeMemorySymb() to inject
concolic values, by retaining original register/memory content.

Signed-off-by: Luca Bruno <lucab@debian.org>
guest-tools: out-of-tree build

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Makefile: bunch of fixes

- dependency fixes for parallel builds
- clang only built for llvm-native
- guest tools built for multiple archs
- stp built with -j1

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Makefile: option to use an external LLVM build

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
hw/pci.c: per-state enable/disable PCI devices

When a device is disabled, its config space does not respond.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
hw/pci.c: save bitmaps in the snapshot

This prepares for per-state configuration data.
Vanilla QEMU sets the config on boot. This change will
allow to modify it at run-time while making changes
state-local.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
hw/pci.c: fixed notification when MMIO mappings change

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
hw/pci.c: allow per-state dynamic BAR reconfiguration

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Add S2E core support for ARM

Patched ARM-target with S2E calls, currently supports integrator
and versatile boards for ARM.
Add build directory with Makefile
Add sample config.lua
Tweaks
Undefined symbol fix