Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Enable / disable the symbolic and taint engine. #242

Closed
JonathanSalwan opened this issue Jan 5, 2016 · 0 comments
Closed

Enable / disable the symbolic and taint engine. #242

JonathanSalwan opened this issue Jan 5, 2016 · 0 comments
Assignees
@JonathanSalwan
Labels
Enhancement Symbolic Engine
Milestone
v0.3

Comments

@JonathanSalwan
Copy link
Owner

Done with the v0.3 (#226).

The taint engine can be used with the symbolic engine disabled. However, the taint engine must process an instructions to build its semantics and spread the taint.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JonathanSalwan JonathanSalwan

Labels
Enhancement Symbolic Engine
Projects
None yet
Milestone
v0.3
Development

No branches or pull requests
1 participant
@JonathanSalwan