Skip to content

miri integration #60

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.

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

Open
1 of 2 tasks
elfenpiff opened this issue Dec 29, 2023 · 0 comments
Open
1 of 2 tasks

miri integration #60

elfenpiff opened this issue Dec 29, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@elfenpiff
Copy link
Contributor

elfenpiff commented Dec 29, 2023

Brief feature description

To increase the code quality, fix potential undefined behavior and unravel race conditions and memory synchronization issues in lock-free code we need to integrate miri in our development workflow.

Todo

  • Create CI script that runs miri scans on all files based on an allowed list. In the beginning, the allowed list can be empty
  • Fix miri issues beginning from the lowest layer up to the highest one and add fixed files/components to the allowed list.
@elfenpiff elfenpiff added the enhancement New feature or request label Dec 29, 2023
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 1, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 2, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
xieyuschen added a commit to xieyuschen/iceoryx2 that referenced this issue Oct 3, 2024
orecham added a commit that referenced this issue Oct 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant