Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / immunant/c2rust issues and pull requests

#928 - A couple testing tweaks

Pull Request - State: open - Opened by fw-immunant over 1 year ago - 2 comments
Labels: help wanted

#927 - rewriter: struct type parameter rewrites swallow constraints

Issue - State: closed - Opened by aneksteind over 1 year ago - 1 comment

#926 - Type alias for struct needs to be rewritten properly

Issue - State: open - Opened by aneksteind over 1 year ago - 1 comment

#924 - analyze: extend Cell rewrite support to include CELL struct fields

Issue - State: open - Opened by spernsteiner over 1 year ago
Labels: c2rust-analyze

#923 - analyze: preserve refs

Pull Request - State: closed - Opened by spernsteiner over 1 year ago - 2 comments

#922 - analyze: minor fixes

Pull Request - State: closed - Opened by spernsteiner over 1 year ago

#921 - rewriter: hypothetical lifetime parameters not added to types in function signatures

Issue - State: closed - Opened by aneksteind over 1 year ago - 4 comments
Labels: c2rust-analyze

#920 - analyze: introduce FlagSet::FIXED

Pull Request - State: closed - Opened by spernsteiner over 1 year ago - 8 comments

#919 - analyze: refactor MIR rewrite generation

Pull Request - State: closed - Opened by spernsteiner over 1 year ago - 2 comments

#918 - analyze: minor fixes

Pull Request - State: closed - Opened by spernsteiner over 1 year ago

#917 - missing transpile_files ?

Issue - State: closed - Opened by lengyijun over 1 year ago - 1 comment

#916 - Document `git` dependency from #809

Pull Request - State: closed - Opened by lengyijun over 1 year ago

#915 - Feat.rewrite.lifetime

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 2 comments

#914 - (`c2rust-analyze/tests`) Add tests for ways to call `addr_of!`

Pull Request - State: closed - Opened by kkysen over 1 year ago

#913 - (`c2rust-analyze`) Fix dataflow constraints in ptr casts

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#912 - (`c2rust-analyze`) Support all ways of writing `addr_of!` during rewriting

Issue - State: open - Opened by kkysen over 1 year ago - 3 comments
Labels: c2rust-analyze

#911 - analyze: bring static handling in line with locals

Pull Request - State: closed - Opened by spernsteiner over 1 year ago

#910 - Rewrite field declarations

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 2 comments

#909 - (`c2rust-analyze`) Support rewrites with implicit `&raw`s

Issue - State: open - Opened by kkysen over 1 year ago - 2 comments
Labels: c2rust-analyze

#908 - analyze: rewrite cast target types

Issue - State: open - Opened by spernsteiner over 1 year ago
Labels: c2rust-analyze

#907 - analyze: removing `mut` from `static` introduces Sync errors

Issue - State: open - Opened by spernsteiner over 1 year ago - 5 comments

#906 - analyze: missing `&p[0]` rewrite when dropping `OFFSET` permission

Issue - State: open - Opened by spernsteiner over 1 year ago
Labels: c2rust-analyze

#905 - analyze: fix bad rewrite `#[derive(&(Clone))]`

Issue - State: closed - Opened by spernsteiner over 1 year ago - 1 comment
Labels: c2rust-analyze

#904 - Use of `__cdecl` in higher-order contexts casuses panic

Issue - State: open - Opened by TDecking over 1 year ago
Labels: bug

#903 - Rewriter should look at multiple layers of macro expansion

Issue - State: open - Opened by aneksteind over 1 year ago
Labels: c2rust-analyze

#902 - (`c2rust-analyze`) Restrict const ref handling to just string literals

Pull Request - State: closed - Opened by kkysen over 1 year ago - 5 comments

#901 - (`c2rust-analyze`) Further clarify the behavior and semantics of const refs

Pull Request - State: closed - Opened by kkysen over 1 year ago - 1 comment

#900 - (`c2rust-analyze`) Cleanup/simplify `visit_cast` (extracted from #883)

Pull Request - State: closed - Opened by kkysen over 1 year ago

#899 - Fix c2rust-ast-exporter's bugs when compiling on FreeBSD

Pull Request - State: closed - Opened by oooutlk over 1 year ago

#898 - Fix mistranslation of side-effects inside unused unary operations

Pull Request - State: closed - Opened by fw-immunant over 1 year ago

#897 - `c2rust-ast-exporter`: fix segfault from iterator invalidation

Pull Request - State: closed - Opened by maribu over 1 year ago

#896 - c2rust-transpile: bug about side effect of expression

Issue - State: closed - Opened by zone-hai over 1 year ago - 1 comment
Labels: mistranslation

#895 - Rewrite never-mutated `static mut`s sans `mut`

Pull Request - State: closed - Opened by fw-immunant over 1 year ago - 2 comments

#894 - [c2rust-analyze] Run analysis on pdg input

Pull Request - State: closed - Opened by fw-immunant over 1 year ago - 9 comments

#893 - Rewrite Cell

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 4 comments

#892 - Bump CXX_STANDARD to 17 for LLVM 16

Pull Request - State: closed - Opened by thedataking over 1 year ago - 1 comment

#891 - macOS build failure in clangAstExporter due to missing c++17

Issue - State: closed - Opened by melvyn2 over 1 year ago - 1 comment

#890 - Offset permission may be back-propagated too far

Issue - State: open - Opened by aneksteind over 1 year ago
Labels: c2rust-analyze

#889 - Rewrite calls to `std::ptr::addr_of` and `std::ptr::addr_of_mut`

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 1 comment

#888 - c2rust-ast-exporter/cmake: bump c++ standard

Pull Request - State: closed - Opened by fw-immunant over 1 year ago

#887 - c2rust-transpile: bug about aligned struct with bitfield

Issue - State: open - Opened by zone-hai over 1 year ago
Labels: mistranslation

#886 - (`c2rust-analyze`) Handle inline `const` refs, including string literals

Pull Request - State: closed - Opened by kkysen over 1 year ago - 16 comments

#885 - support tuples in static analysis

Pull Request - State: closed - Opened by aneksteind over 1 year ago

#884 - Error about translation of _Bool type cast

Issue - State: open - Opened by zone-hai over 1 year ago - 2 comments
Labels: bug

#883 - Refactor Dataflow Analysis of Casts

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 12 comments

#882 - use stored AdtMetadata table in pointer cast checks

Pull Request - State: closed - Opened by aneksteind over 1 year ago

#881 - Translation of union with bit field is not correct

Issue - State: open - Opened by Air111 over 1 year ago - 1 comment
Labels: bug

#880 - Handle Else-If chain

Pull Request - State: closed - Opened by bungcip over 1 year ago

#879 - User type annotation rewrite

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 2 comments

#878 - c2rust-analyze: use rvalue_tys for all casts

Issue - State: closed - Opened by spernsteiner over 1 year ago - 4 comments
Labels: c2rust-analyze

#877 - c2rust-analyze: handle uses of statics

Issue - State: open - Opened by spernsteiner over 1 year ago - 2 comments
Labels: c2rust-analyze

#876 - c2rust-analyze: initial implementation of error recovery

Pull Request - State: closed - Opened by spernsteiner over 1 year ago - 7 comments

#875 - c2rust-analyze: struct field analysis results should be cached

Issue - State: open - Opened by spernsteiner over 1 year ago - 5 comments
Labels: c2rust-analyze

#874 - (`c2rust-analyze`) Remove unsound `Trivial`ity

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#872 - [WIP] Remove #![feature(label_break_value)] (fix #731)

Pull Request - State: closed - Opened by bungcip over 1 year ago - 5 comments

#871 - (`c2rust-analyze/tests`) Add test for full, amalgamated `lighttpd`

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#870 - `size_t` is translated to `libc::c_ulong` instead of `libc::size_t`

Issue - State: open - Opened by Dante-Broggi over 1 year ago - 3 comments

#868 - (`c2rust-analyze`) Clarify some points in `PermissionSet` docs

Pull Request - State: closed - Opened by kkysen over 1 year ago

#867 - (`c2rust-analyze`) Determine FFI types

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#866 - (`c2rust-analyze`) Add `is_null_const` for use in #864

Pull Request - State: closed - Opened by kkysen over 1 year ago

#865 - (`c2rust-analyze`) Hardcode ptr permissions and effects of known `std` and `libc` functions

Issue - State: closed - Opened by kkysen over 1 year ago - 2 comments
Labels: c2rust-analyze

#864 - Add dataflow and borrowck support for null pointers derived from cast from 0

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 4 comments

#862 - (`c2rust-analyze`) `SourceNotAvailable` error on macro invocations

Issue - State: closed - Opened by kkysen over 1 year ago
Labels: bug

#861 - `LabeledTyCtxt::subst` implementation incorrectly substitutes type arguments

Issue - State: open - Opened by aneksteind over 1 year ago
Labels: bug, c2rust-analyze

#860 - Support multiple compilation commands for a given source file

Issue - State: open - Opened by randomPoison over 1 year ago - 4 comments

#859 - Handle two argument libc builtin functions properly

Pull Request - State: closed - Opened by dberlin over 1 year ago - 1 comment

#858 - Don't attempt to convert failed constant int evaluations into APint

Pull Request - State: open - Opened by dberlin over 1 year ago - 1 comment

#857 - builtin handling for string functions expects wrong arguments

Issue - State: closed - Opened by dberlin over 1 year ago - 2 comments

#856 - Support Aggregate literals in static analysis

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 3 comments

#853 - Missing casts in const macro translation

Issue - State: open - Opened by DCNick3 over 1 year ago - 1 comment
Labels: mistranslation

#852 - (`c2rust-analyze`) `core::ptr::mut_ptr::offset_from` is unsupported

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#849 - Error: could not find git for clone of tinycbor_build

Issue - State: closed - Opened by regexyl over 1 year ago - 2 comments

#848 - Feat.cast.loc

Pull Request - State: closed - Opened by aneksteind over 1 year ago

#843 - (`c2rust-analyze`) Handle `Callee::UnknownDef`s calls pessimistically

Issue - State: open - Opened by kkysen over 1 year ago - 4 comments
Labels: c2rust-analyze

#842 - (`c2rust-analyze`) Skip non-builtin `extern` function calls

Issue - State: closed - Opened by kkysen over 1 year ago - 1 comment

#840 - (`c2rust-analyze`) Handle compatible ptr-to-ptr casts

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#837 - (`c2rust-analyze`) Handle string literals

Issue - State: closed - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#834 - (`c2rust-analyze`) Handle self-referential/recursive `Trivial` types

Issue - State: open - Opened by kkysen over 1 year ago - 2 comments
Labels: c2rust-analyze

#833 - (`c2rust-analyze`) Handle transpiled string literals (`b"...\0" as *const u8 as *const libc::c_char`)

Issue - State: open - Opened by kkysen over 1 year ago - 1 comment
Labels: c2rust-analyze

#832 - Facing transpilation issues around Atomic

Issue - State: closed - Opened by mahajpuneet over 1 year ago - 4 comments

#830 - (`c2rust-analyze`) Support `Repeat` array initializers with no pointers

Pull Request - State: closed - Opened by aneksteind over 1 year ago - 2 comments

#829 - `long double` #defines incompatible with `--translate-const-macros`

Issue - State: open - Opened by VorpalBlade over 1 year ago
Labels: bug

#824 - Unimplemented builtin `__builtin_fpclassify`

Issue - State: open - Opened by VorpalBlade over 1 year ago - 1 comment
Labels: bug

#820 - (`c2rust-analyze`) Consider safe ptr types from `std` to be `Trivial`

Issue - State: open - Opened by kkysen over 1 year ago
Labels: c2rust-analyze

#818 - (`c2rust-analyze`) Add `PermissionSet::NON_NULL` with precise docs

Pull Request - State: closed - Opened by kkysen over 1 year ago - 2 comments

#815 - analyze: implement source code rewriting

Pull Request - State: closed - Opened by spernsteiner over 1 year ago - 3 comments

#814 - WIP: Support C11 atomics required by dav1d

Pull Request - State: open - Opened by thedataking over 1 year ago

#811 - Update `rustc` version incrementally to `nightly-2022-12-06`

Pull Request - State: open - Opened by kkysen over 1 year ago - 1 comment