s2e_remote_memory: add state migration feature, stub
plugins: change abstract plugin interface

This commit change the common plugin interface, in order for plugins
to be stoppable and customizable.

Signed-off-by: Luca Bruno <lucab@debian.org>
s2e_remote_memory: set the cpu state
plugins: fix MemoryRangeIdentifier

Signed-off-by: Luca Bruno <lucab@debian.org>
s2e_remote_memory: add continue instruction
s2e_remote_memory: add get_cpu_state instruction
s2e_remote_memory: hack: I cannot parse two levels of dictionaries
s2e_remote_memory: add get_checksum feature
s2e_remote_memory: bugfix: get_cpu_state: list registers
Made external programs configurable through environment variables
Fixed argument-incompatibility of ps on MacOS
avatar: s2e_gdb: listen only on localhost
s2e_emulator: don't kill other s2e processes

When multiple instances of s2e are running in parallel, this code would
have killed other legitimate s2e processes.

Signed-off-by: Lucian Cojocar <cojocar@gmail.com>
Merge branch 'cojocar/plc/wip'

Signed-off-by: Lucian Cojocar <cojocar@gmail.com>
Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
avatar: config: avoid IPv6
avatar: config: generate AVATAR_SRC_ROOT_PATH var
avatar: emulator: pass extra options to qemu

Signed-off-by: Lucian Cojocar <cojocar@gmail.com>
klee: update default params
Merge pull request #2 from lucab/lucab/plugins-iface

Plugin rework
avatar-python: add SIGABRT handler

Signed-off-by: Lucian Cojocar <cojocar@gmail.com>