Core: add macros for target opcodes handling

Signed-off-by: Luca Bruno <lucab@debian.org>
CooperativeSearcher: port plugin to ARM

Signed-off-by: Luca Bruno <lucab@debian.org>
HostFiles: port plugin to ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
Doc: remove ARM specific README

Instructions for building and using the ARM port are the same as
normal S2E.

Signed-off-by: Luca Bruno <lucab@debian.org>
Core: add an instruction set flag for ARM

ARM support several instruction sets, such as normal ARM (32 bits),
Thumb (16 bits). This commit adds a flags to keep track of which
set the current tb belongs to.

Signed-off-by: Luca Bruno <lucab@debian.org>
FunctionMonitor: provide per-arch implementations

Split the FunctionMonitor implementation in a common
interface (FunctionMonitor.h) and two arch-specific
parts (ARM-FM and X86-FM).

The correct per-arch implementation is picked up at
build-time.

Signed-off-by: Luca Bruno <lucab@debian.org>
Core: implement bypassFunction() for ARM

Signed-off-by: Luca Bruno <lucab@debian.org>
Add Eurecom contributors to AUTHORS

Added myself and Jonas to authors list.

Signed-off-by: Luca Bruno <lucab@debian.org>
ConfigFile: proper readRegister() with symbolic register

Make readRegister() properly read symbolic content of registers,
by getting an example.

Signed-off-by: Luca Bruno <lucab@debian.org>