Skip to content

Issues: immunant/c2rust

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
23 Open 10 Closed
23 Open 10 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

analyze: Path- or context-sensitive analysis bug Something isn't working c2rust-analyze enhancement New feature or request
#1118 opened Aug 31, 2024 by ahomescu
PDG: Keep track of lifetimes of stack values bug Something isn't working c2rust-analyze
#1117 opened Aug 31, 2024 by ahomescu
@kkysen
2
analyze: Lifetimes are incorrectly added to public extern C functions bug Something isn't working c2rust-analyze
#1104 opened Jul 12, 2024 by ahomescu
@spernsteiner
2
analyze: extend Cell rewrite support to include CELL struct fields c2rust-analyze
#924 opened May 10, 2023 by spernsteiner
(c2rust-analyze) Fix dataflow constraints in ptr casts c2rust-analyze
#913 opened May 5, 2023 by kkysen
@kkysen
analyze: rewrite cast target types c2rust-analyze
#908 opened May 2, 2023 by spernsteiner
analyze: missing &p[0] rewrite when dropping OFFSET permission c2rust-analyze
#906 opened May 2, 2023 by spernsteiner
rewriter: only one level of macro expansion is supported in rewriting macro calls c2rust-analyze
#903 opened Apr 28, 2023 by aneksteind
analyze: offset permission may be back-propagated too far c2rust-analyze
#890 opened Apr 17, 2023 by aneksteind
c2rust-analyze: handle uses of statics c2rust-analyze
#877 opened Mar 29, 2023 by spernsteiner
1 of 5 tasks
2
c2rust-analyze: struct field analysis results should be cached c2rust-analyze
#875 opened Mar 28, 2023 by spernsteiner
@aneksteind
5
(c2rust-analyze) Remove unsound Triviality c2rust-analyze
#874 opened Mar 27, 2023 by kkysen
@kkysen
Currently neither field expressions (e.g. my_struct.x) nor field type declarations (e.g. x: *mut i32) get rewritten. c2rust-analyze
#873 opened Mar 23, 2023 by aneksteind
@aneksteind
2
(c2rust-analyze/tests) Add test for full, amalgamated lighttpd c2rust-analyze
#871 opened Mar 22, 2023 by kkysen
(c2rust-analyze) Determine FFI types c2rust-analyze
#867 opened Mar 14, 2023 by kkysen
LabeledTyCtxt::subst implementation incorrectly substitutes type arguments bug Something isn't working c2rust-analyze
#861 opened Mar 14, 2023 by aneksteind
@aneksteind
(c2rust-analyze) core::ptr::mut_ptr::offset_from is unsupported c2rust-analyze
#852 opened Feb 24, 2023 by kkysen
(c2rust-analyze) Handle Callee::UnknownDefs calls pessimistically c2rust-analyze
#843 opened Feb 18, 2023 by kkysen
4
(c2rust-analyze) Handle self-referential/recursive Trivial types c2rust-analyze
#834 opened Feb 14, 2023 by kkysen
@kkysen
2
(c2rust-analyze) Handle transpiled string literals (b"...\0" as *const u8 as *const libc::c_char) c2rust-analyze
#833 opened Feb 14, 2023 by kkysen
2 tasks done
@kkysen
1
(c2rust-analyze) Consider safe ptr types from std to be Trivial c2rust-analyze
#820 opened Feb 9, 2023 by kkysen
1
Make c2rust-analyze error resilient c2rust-analyze
#806 opened Jan 30, 2023 by kkysen
static analysis incorrectly labels casts between pointers different types as label_no_pointers c2rust-analyze
#735 opened Nov 22, 2022 by aneksteind
@aneksteind
ProTip! Exclude everything labeled bug with -label:bug.