core: continue to implement symbolic execution
core: continue to implement symbolic execution
core: block tainting is implemented
core: redesign symbolic (WIP) ; test: add 2 bin (loop/call imported func)
core: improve tainting feature
core: fix bug which prevents symbolic callback to retrieve all expressions
Merge pull request #5 from wisk/dev

Dev