First commit
Made everything use 32 bits unsigned integers
Renamed unittest class
Store and load Value objects from memory
Initialize memory as list of Value objects, instead of 0 (int)
Verify alignment of store and load operations, we only allow 32 bit aligned memory addresses at this point
Cosmetic change in imports
Introduction of taint policies
Tainting of memory addresses (not memory addresses values)
 * Taint check on GOTO, detecting simple control flow hijacking attacks
 * Added a couple of binary operations
 * Taint check on GOTO, detecting simple control flow hijacking attacks
 * Added a couple of binary operations
Basic symbolic execution tests, partial implementation (e.g.: no strategy for path selection)
Cosmetic changes
Adding .idea project
Playing with z3
Merge remote-tracking branch 'origin/master'

Conflicts:
	tests/test_taint.py
.name ¿?
Merge branch 'master' of github.com:droc/symbolic_exec