eclipse-iceoryx / eclipse-iceoryx/iceoryx2
miri integration
- Dominant language
- Rust
- Stars
- 2.5k
- Forks
- 185
- Avg merge
- 1d 23h
- Merged PRs (30d)
- 47
Description
## 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
* [x] 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.
Contributor guide
Research direction
Start by reviewing the existing CI script and its allowed-list handling, then run the Miri scans described in the issue to identify the lowest-layer failures. Done means the reported Miri issues are fixed from the lowest layer upward and the corresponding files or components are added to the allowed list.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- ci-cd, testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100