Skip to content
This repository was archived by the owner on Jun 24, 2026. It is now read-only.

Create a model for strncpy#1770

Merged
sschriner merged 7 commits into
masterfrom
dev_strncpy_model
Jul 14, 2020
Merged

Create a model for strncpy#1770
sschriner merged 7 commits into
masterfrom
dev_strncpy_model

Conversation

@sschriner

@sschriner sschriner commented Jul 7, 2020

Copy link
Copy Markdown
Contributor

Closes #1761

@sschriner sschriner self-assigned this Jul 7, 2020
@sschriner

sschriner commented Jul 7, 2020

Copy link
Copy Markdown
Contributor Author

I added a directory in tests/native/binaries to house all binaries and c files used in c string model tests.

@sschriner
sschriner marked this pull request as ready for review July 7, 2020 19:32
ekilmer
ekilmer approved these changes Jul 13, 2020
View reviewed changes

@ekilmer ekilmer left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work!

Comment thread manticore/native/models.py Outdated
@sschriner @ekilmer
Update to argument ordering in manticore/native/models.py
0a0fe5f 
Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
ehennenfent
ehennenfent reviewed Jul 14, 2020
View reviewed changes
Comment thread tests/native/binaries/str_model_tests/sym_strncpy_test.c Outdated
@sschriner
sschriner merged commit 8a8f35c into master Jul 14, 2020
@sschriner
sschriner deleted the dev_strncpy_model branch July 14, 2020 17:17
ekilmer added a commit that referenced this pull request Jul 17, 2020
@ekilmer
Merge branch 'master' into ekilmer-dev
2b8c280 
* master:
  Create a model for strncpy (#1770)
  Add doc, fix output bugs (#1769)
  Update EVM usage example (#1772)
  New working model of strlen (#1725)
  Typo (#1768)
  Specialized iterative serialization for Array (#1756)
  Enable nightly uploads to PyPI (#1757)
  Manticore 0.3.4 (#1720)
  Manticore verifier (#1717)
  Nightly MacOS Tests (#1614)
  Remove/procrastinate solver query in ether leak detector (#1727)
  Fix constant folding & constraint set slicing (#1706)
ekilmer added a commit that referenced this pull request Aug 5, 2020
@ekilmer
Merge branch 'master' into capstone-5-dev
be00705 
* master:
  Change the default to threading (#1779)
  Coveralls Take 2 (#1784)
  Capture return values in run.sh (#1776)
  Create a model for strncpy (#1770)
  Add doc, fix output bugs (#1769)
@ehennenfent ehennenfent added this to the Manticore 0.3.5 milestone Sep 3, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

2 more reviewers
@ehennenfent ehennenfent ehennenfent left review comments
@ekilmer ekilmer ekilmer approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

@sschriner sschriner

Labels

native models

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add a model for strncpy

3 participants

@sschriner @ekilmer @ehennenfent