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
#925 - (`c2rust transpile`) Translate `static const`s without raw ptrs as non-`mut` `static`s
Issue -
State: open - Opened by kkysen over 1 year ago
#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
#873 - Currently neither field expressions (e.g. `my_struct.x`) nor field type declarations (e.g. `x: *mut i32`) get rewritten.
Issue -
State: open - Opened by aneksteind over 1 year ago
- 2 comments
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
#869 - (`c2rust-analyze/tests`) Switch from simple directives to `clap`-parsed args for analyze tests
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 5 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
#863 - (`c2rust-analyze`) Get span of macro expansion callsites to avoid crashing on macro invocations
Pull Request -
State: closed - Opened by kkysen over 1 year ago
#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
#855 - (`c2rust-analyze`) Reformulate `Trivial`ity into the more correct and comprehensive `PtrEffects`
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 26 comments
#854 - (`c2rust-analyze`) Add an `env_logger` that also can panic according to `$RUST_LOG_PANIC`
Pull Request -
State: closed - Opened by kkysen over 1 year ago
#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
#851 - (`c2rust-analyze`) `log::error!` rather than `todo!` on `Callee::UnknownDef` to test skipping it
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 9 comments
#850 - (`c2rust-analyze`) Split `Callee::Other` into `Callee::{Local, Unknown}Def` and include `fn` ptrs in `Callee::UnknownDef`
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 5 comments
#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
#841 - (`c2rust-analyze`) Relax the transmutable checks from two-way to one-way, now allowing for arrays and slices to decay
Pull Request -
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
#839 - (`c2rust-analyze`) Support ptr-to-ptr casts between safely transmutable types, for now limited to same-sized integers
Pull Request -
State: open - Opened by kkysen over 1 year ago
- 12 comments
#837 - (`c2rust-analyze`) Handle string literals
Issue -
State: closed - Opened by kkysen over 1 year ago
Labels: c2rust-analyze
#835 - (`c2rust-analyze/tests`) Define `FileCheck` tests statically, rather than searching for them dynamically
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 3 comments
#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
#823 - (`c2rust-analyze/tests`) Allow `c2rust analyze` test files to contain `//! directive`s like `//! allow_crash`
Pull Request -
State: closed - Opened by kkysen over 1 year ago
- 2 comments
#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