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>