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

tests: add test for "arguments_linux_armv7" binary #554

Closed

offlinemark opened this issue Nov 8, 2017 · 0 comments · Fixed by #1216

Contributor

offlinemark commented Nov 8, 2017

The armv7 binary "arguments_linux_armv7" exists in the repo, but appears to be entirely unused. We should use it in test_binaries.py

We should be able to nearly copy/paste the existing "testArgumentsAssertions" test for this.

What needs to be done:

Fix arm: Incorrect invalid memory access reported for tests/binaries/arguments_linux_armv7 #553
add a new function to test_binaries.py called "testArgumentsAssertionsArmv7" or something
run manticore arguments_linux_armv7 +++++++++
take the visited.txt from the workspace of that run, add it to the repo in the references/ dir
copy paste the "testArgumentsAssertions" function and slightly change to make it work for the arm binary

The text was updated successfully, but these errors were encountered:

offlinemark mentioned this issue

Expand testing infrastructure #121

Closed

catenacyber mentioned this issue

add test for "arguments_linux_armv7" binary #961

Closed

disconnect3d mentioned this issue

Rebased: add test for "arguments_linux_armv7" binary #1216

Merged

disconnect3d closed this as completed in #1216

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment