eclipse-iceoryx / eclipse-iceoryx/iceoryx2

miri integration

Open
#60 0 comments 1 reaction 0 assignees View on GitHub
enhancement
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.