SymbolicHardware: bug fix, use delete [] instead of delete

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
exec.c: use proper wrappers to access host memory that is not guest RAM

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: no more TB chaining in executeTranslationBlockKlee

Makes no sense given how slow it is to run code in KLEE anyway.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: removed memory limiting code

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: first round of reduction of throw CpuExitException

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: refactored executeOneInstruction into executeInstructions()

Goal: reduce number of throw CpuExitExceptions and try/catch blocks.
Also makes the code easier to read.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
tcg-llvm: don't call forkAndConcretize if the address is a constant

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: use host clock for main S2E timer

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
timers: dynamic clock speed adjustment when running LLVM code

Interrupt handlers running in KLEE mode could prevent any progress.
This patch should really prevent that now.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>