Fixed expression parser
Lazy forking for symbolic and concolic mode in fork and concretize

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

Conflicts:

	qemu/s2e/S2EExecutor.cpp
Debug option for constraints

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Expression simplifier also now returns the minimal bit width of the expression

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

Conflicts:

	klee/lib/Expr/BitfieldSimplifier.cpp
	klee/lib/Expr/BitfieldSimplifier.h
Resolving symbolic addresses to objects without going through the constraint solver

Handle the case concrete_base_address + (uint8_t)symbolic_offset

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

Conflicts:

	klee/lib/Core/AddressSpace.cpp
	klee/lib/Core/AddressSpace.h
Optimize memory accesses with symbolic offsets

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fixed expression width mask

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fixed an ugly hack that caused incorrect constraints to be generated.

Disabling the expression evaluator is not a good idea...

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

Conflicts:

	klee/include/klee/util/Assignment.h
	klee/lib/Core/Executor.cpp
Fixed make clean
Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
No need to clean unittests for now

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

Happens on very first build when config-target.mak is newer
than the target-independent stuff. That stuff should not depend
on config-target.mak

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
s2e_assume() function to add constraints from guest code

Conflicts:

	guest/include/s2e.h
	qemu/s2e/Plugins/BaseInstructions.cpp

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Registering target-specific helpers

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Command to examplify stdin and write the result to stdout

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

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fixed bug in native memory access handlers

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Fast memory helpers now support symbolic memory addresses

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

Conflicts:

	qemu/s2e/MMUFunctionHandlers.cpp
Removed needless call to Executor::toConstant

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Added install target to the guest tools makefile

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Assign default concrete values to symbolic values when calling s2e_make_symbolic in concolic mode

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