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 strcmp #1762

Open
sschriner opened this issue Jul 1, 2020 · 0 comments · May be fixed by #1787
Open

Add a model for strcmp #1762

sschriner opened this issue Jul 1, 2020 · 0 comments · May be fixed by #1787
Assignees
@sschriner
Labels
native models
Projects
Manticore

Comments

@sschriner
Copy link
Contributor

See: #1735
@sschriner sschriner self-assigned this Jul 1, 2020
@sschriner sschriner added this to Backlog in Manticore via automation Jul 1, 2020
@sschriner sschriner moved this from Backlog to To do in Manticore Jul 1, 2020
@MatthewARinehart MatthewARinehart mentioned this issue Jul 1, 2020
Open
9 tasks
@ehennenfent ehennenfent moved this from To do to In progress in Manticore Jul 21, 2020
@sschriner sschriner linked a pull request Aug 4, 2020 that will close this issue
strcmp dev #1787
Draft
@ehennenfent ehennenfent moved this from In progress to To do in Manticore Sep 29, 2020
@ehennenfent ehennenfent moved this from To do to In progress in Manticore Oct 13, 2020
@ehennenfent ehennenfent moved this from In progress to To do in Manticore Oct 27, 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
  
To do
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

strcmp dev trailofbits/manticore
1 participant
@sschriner