Skip to content

Challenge 21: Verify the safety of substring-related functions in str::pattern #278

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

Jump to bottom
Open
thanhnguyen-aws opened this issue Mar 18, 2025 · 0 comments
Open

Challenge 21: Verify the safety of substring-related functions in str::pattern #278

thanhnguyen-aws opened this issue Mar 18, 2025 · 0 comments
Labels
Challenge Used to tag a challenge

Comments

@thanhnguyen-aws
Copy link

thanhnguyen-aws commented Mar 18, 2025 •
edited
Loading

Runbook Link

https://model-checking.github.io/verify-rust-std/challenges/0020-str-pattern-pt2.html
@thanhnguyen-aws thanhnguyen-aws added the Challenge Used to tag a challenge label Mar 18, 2025
@thanhnguyen-aws thanhnguyen-aws changed the title Challenge 21: Verify the safety of char-related functions in str::pattern Challenge 21: Verify the safety of substring-related functions in str::pattern Mar 18, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
Challenge Used to tag a challenge
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@thanhnguyen-aws