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

Support assigning fields of this in java_symexec #124

Closed
atomb opened this issue Mar 30, 2016 · 0 comments
Closed

Support assigning fields of this in java_symexec #124

atomb opened this issue Mar 30, 2016 · 0 comments
Assignees
@atomb
Labels
obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing type: enhancement Issues describing an improvement to an existing feature or capability

Comments

@atomb
Copy link
Contributor

atomb commented Mar 30, 2016

It is currently not possible to include fields of the this parameter in the initial value list of java_symexec. This significantly limits the variety of methods that can be modeled.
@atomb atomb self-assigned this Jun 7, 2016
@atomb atomb added the type: enhancement Issues describing an improvement to an existing feature or capability label May 2, 2017
@atomb atomb added the obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing label Apr 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@atomb @brianhuffman