Skip to content

use sanitizers and miri #28

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Open
dvc94ch opened this issue May 23, 2020 · 0 comments
Open

use sanitizers and miri #28

dvc94ch opened this issue May 23, 2020 · 0 comments
Labels
difficulty: hard Likely harder than most tasks here priority: normal Great to have status: help wanted Someone please save us status: needs investigation Issue must be confirmed and researched status: waiting Waiting for a response or another PR type: maintenance Repaying technical debt

Comments

@dvc94ch
Copy link
Contributor

dvc94ch commented May 23, 2020

Seems that at least asan should be supported by rust nightly and android.
rust-lang/rust#39699
rust-lang/rust#38699
https://developer.android.google.cn/ndk/guides/asan

Miri still lacks support for ffi calls
rust-lang/miri#11

@francesca64 francesca64 added difficulty: hard Likely harder than most tasks here priority: normal Great to have status: help wanted Someone please save us status: needs investigation Issue must be confirmed and researched status: waiting Waiting for a response or another PR type: maintenance Repaying technical debt labels Sep 14, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
difficulty: hard Likely harder than most tasks here priority: normal Great to have status: help wanted Someone please save us status: needs investigation Issue must be confirmed and researched status: waiting Waiting for a response or another PR type: maintenance Repaying technical debt
Projects
None yet
Development

No branches or pull requests

2 participants