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

Add a model for Strlen #1752

Closed
ehennenfent opened this issue Jun 22, 2020 · 0 comments · Fixed by #1725
Closed

Add a model for Strlen #1752

ehennenfent opened this issue Jun 22, 2020 · 0 comments · Fixed by #1725
Assignees
@sschriner
Labels
native models
Projects
Manticore

Comments

@ehennenfent
Copy link
Contributor

See: #1735
@ehennenfent ehennenfent created this issue from a note in Manticore (To do) Jun 22, 2020
@MatthewARinehart MatthewARinehart mentioned this issue Jun 22, 2020
Open
9 tasks
@ehennenfent ehennenfent linked a pull request Jun 22, 2020 that will close this issue
New working model of strlen #1725
Merged
@ehennenfent ehennenfent moved this from To do to In progress in Manticore Jun 22, 2020
@ehennenfent ehennenfent moved this from In progress to Review in progress in Manticore Jun 23, 2020
@ehennenfent ehennenfent moved this from Review in progress to Reviewer approved in Manticore Jul 7, 2020
Manticore automation moved this from Reviewer approved to Done Jul 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sschriner sschriner

Labels
native models
Projects
Manticore
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

New working model of strlen trailofbits/manticore
2 participants
@ehennenfent @sschriner