Skip to content

Pull requests: rust-secure-code/projects

New pull request New
Clear current search query, filters, and sorts
0 Open 17 Closed
0 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update README.md
#23 by yevh was merged Feb 13, 2024 Loading…
README.md: Add Rust port of Radamsa
#22 by Nicceboy was merged Jul 26, 2023 Loading…
6
Nit: Fix typo
#21 by u32luke was merged Jun 20, 2023 Loading…
Add cargo vet
#20 by Shnatsel was merged Dec 13, 2022 Loading…
1
Add other organizations
#16 by 8573 was merged Nov 16, 2022 Loading…
2
Add cargo-libafl
#15 by Shnatsel was merged Jul 20, 2022 Loading…
Add 5 projects, 2 categories
#14 by tnballo was merged Jul 20, 2022 Loading…
3
mention that Miri can do cross-interpretation
#12 by RalfJung was merged Oct 24, 2020 Loading…
3
Miri isn't all-caps
#11 by RalfJung was merged Oct 11, 2020 Loading…
Add Cargo deny
#10 by ralpha was merged Sep 27, 2020 Loading…
1
add cargo-guppy to "Dependency Checker" section
#9 by jnaulty was merged Aug 23, 2020 Loading…
1
Update the name of one crate to the new one
#8 by jakubadamw was merged Jul 28, 2020 Loading…
1
Add the Prusti verifier to "Static and Dynamic Analyzers" section
#6 by romac was merged Apr 9, 2020 Loading…
1
Drop Angora - Rust support has not materialized
#5 by Shnatsel was merged Apr 9, 2020 Loading…
Add Siderophile
#4 by disconnect3d was merged Apr 8, 2020 Loading…
1
Update README.md
#3 by anderejd was merged Apr 8, 2020 Loading…
Update README.md - Adding section for side-channel vulnerability checking
#2 by phayes was merged Dec 13, 2019 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.