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

x86: Implement symbolic LSL #92

Open
offlinemark opened this issue Mar 21, 2017 · 3 comments
Open

x86: Implement symbolic LSL #92

offlinemark opened this issue Mar 21, 2017 · 3 comments
Assignees
@feliam
Labels
help wanted

Comments

@offlinemark
Copy link
Contributor

No description provided.

@dguido dguido added the testing label Apr 9, 2017
@offlinemark offlinemark changed the title Unskip skipped tests x86: Implement symbolic LSL Nov 8, 2017
@offlinemark
Copy link
Contributor Author

The only skipped tests were due to symbolic LSL, so i changed the name

@catenacyber
Copy link
Contributor

Is this still open ?
I see test_LSL_1_symbolic in code
What remains to be bone ?

@offlinemark
Copy link
Contributor Author

hi @catenacyber yes i believe this is still open, due to the below. From the code it looks like there are probably lots of things missing from our LSL implementation, including symbolic operand support

manticore/manticore/core/cpu/x86.py

Line 5806 in fbd3865

raise NotImplementedError("Do not yet implement symbolic LSL")

@ehennenfent ehennenfent added this to the Validate Existing issues milestone Jan 23, 2019
@ehennenfent ehennenfent removed this from the Validate Existing issues milestone Feb 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@feliam feliam

Labels
help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@dguido @feliam @offlinemark @ehennenfent @catenacyber