immunant/c2rust issues and pull requests

#1100 - Fix ordering of clang libs for static linking

Pull Request - State: closed - Opened by thedataking 5 days ago

#1100 - Fix ordering of clang libs for static linking

Pull Request - State: closed - Opened by thedataking 5 days ago

#1099 - Git build failure on Ubuntu 24.04

Issue - State: closed - Opened by jtesta 6 days ago - 4 comments

#1099 - Git build failure on Ubuntu 24.04

Issue - State: closed - Opened by jtesta 6 days ago - 4 comments

#1099 - Git build failure on Ubuntu 24.04

Issue - State: closed - Opened by jtesta 6 days ago - 4 comments

#1099 - Git build failure on Ubuntu 24.04

Issue - State: closed - Opened by jtesta 6 days ago - 4 comments

#1098 - Fails to compile on latest nightly

Issue - State: open - Opened by theoparis 13 days ago

#1097 - analyze: proposal for simplified analysis and rewriting of allocations

Issue - State: open - Opened by spernsteiner 25 days ago - 6 comments

#1096 - analyze: support rewriting field projections on nullable pointers

Pull Request - State: open - Opened by spernsteiner 29 days ago

#1095 - analyze: add NON_NULL rewrites

Pull Request - State: closed - Opened by spernsteiner about 2 months ago - 3 comments

#1094 - Fix Nix

Pull Request - State: open - Opened by DieracDelta about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1093 - Translate glsl

Issue - State: open - Opened by LegNeato about 2 months ago

#1092 - Add a set of comments and question on PDG construction

Pull Request - State: open - Opened by ahomescu about 2 months ago

#1092 - Add a set of comments and question on PDG construction

Pull Request - State: closed - Opened by ahomescu about 2 months ago

#1091 - Switch to crossbeam-queue for events

Pull Request - State: closed - Opened by ahomescu about 2 months ago - 2 comments

#1088 - analyze: allow overriding dataflow for specific permissions

Pull Request - State: closed - Opened by spernsteiner 2 months ago

#1087 - analyze: uncomment line in scripts/run_pointwise_metrics.sh

Pull Request - State: closed - Opened by spernsteiner 2 months ago

#1086 - Import null pointer information from PDG into static analysis

Pull Request - State: open - Opened by ahomescu 2 months ago - 3 comments

#1084 - Missing parentheses on reference applied to a cast

Issue - State: open - Opened by glguy 2 months ago

#1083 - (Question) Do you plan to support C++ ?

Issue - State: closed - Opened by hardBSDk 2 months ago - 1 comment

#1082 - Fix noop deref warning

Pull Request - State: closed - Opened by LegNeato 2 months ago

#1082 - Fix noop deref warning

Pull Request - State: closed - Opened by LegNeato 2 months ago

#1082 - Fix noop deref warning

Pull Request - State: open - Opened by LegNeato 2 months ago

#1082 - Fix noop deref warning

Pull Request - State: closed - Opened by LegNeato 2 months ago

#1082 - Fix noop deref warning

Pull Request - State: closed - Opened by LegNeato 2 months ago

#1081 - analyze: initial implementation of NON_NULL static analysis

Pull Request - State: closed - Opened by spernsteiner 3 months ago

#1081 - analyze: initial implementation of NON_NULL static analysis

Pull Request - State: open - Opened by spernsteiner 3 months ago

#1080 - ast_exporter can't convert a c code to ast

Issue - State: closed - Opened by hong-code 3 months ago - 2 comments

#1079 - c2rust-transpile: only delete compile_commands.json if it was a temp file

Pull Request - State: open - Opened by fw-immunant 3 months ago

#1079 - c2rust-transpile: only delete compile_commands.json if it was a temp file

Pull Request - State: closed - Opened by fw-immunant 3 months ago

#1078 - Fatal error: 'stddef.h' file not found

Issue - State: open - Opened by djc 3 months ago - 4 comments

#1078 - Fatal error: 'stddef.h' file not found

Issue - State: open - Opened by djc 3 months ago - 4 comments

#1077 - Casting bool to pointer type results in invalid Rust

Issue - State: open - Opened by jorendorff 3 months ago

#1077 - Casting bool to pointer type results in invalid Rust

Issue - State: open - Opened by jorendorff 3 months ago

#1076 - `c2rust transpile`: Allow any integral types in init lists, not just `char` and `int`

Pull Request - State: closed - Opened by kkysen 3 months ago

#1075 - ast-exporter: use major, not full, version for clang resource dir

Pull Request - State: closed - Opened by fw-immunant 3 months ago - 1 comment

#1074 - analyze: add scripts for computing pointwise metrics

Pull Request - State: open - Opened by spernsteiner 3 months ago

#1074 - analyze: add scripts for computing pointwise metrics

Pull Request - State: closed - Opened by spernsteiner 3 months ago

#1073 - analyze: add --rewrite-mode pointwise

Pull Request - State: closed - Opened by spernsteiner 3 months ago

#1072 - analyze: track reasons why functions are not rewritten

Pull Request - State: closed - Opened by spernsteiner 3 months ago - 2 comments

#1071 - analyze: emit inline annotations for debugging

Pull Request - State: closed - Opened by spernsteiner 3 months ago

#1070 - analyze: add C2RUST_ANALYZE_NO_CARGO env var to disable cargo integration

Pull Request - State: closed - Opened by spernsteiner 3 months ago - 2 comments

#1069 - Demonstrate use of PDG from dynamic analysis in static analysis

Pull Request - State: closed - Opened by fw-immunant 4 months ago - 3 comments

#1068 - fail build on archlinux

Issue - State: open - Opened by Sherlock-Holo 4 months ago - 2 comments

#1067 - Add support for LLVM18

Pull Request - State: closed - Opened by thedataking 4 months ago

#1066 - Build fails with LLVM 18 and tip-of-tree

Issue - State: closed - Opened by ZeaMays14142 4 months ago - 1 comment

#1065 - why do you not support windows

Issue - State: closed - Opened by sayak111 4 months ago - 1 comment

#1064 - In the while loop body using a volatile variable, the generated code will lack a semicolon.

Issue - State: open - Opened by ahaoboy 4 months ago
Labels: bug

#1063 - cargo install c2rust failed: Error 2

Issue - State: closed - Opened by IanE-Official 4 months ago - 2 comments

#1062 - build(deps): bump shlex from 1.1.0 to 1.3.0

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#1061 - Ubuntu 22.04 installation requirements added

Pull Request - State: open - Opened by Yeaseen 5 months ago - 1 comment

#1060 - Build not matching clang version (Fedora 39, Clang 17.0.6)

Issue - State: closed - Opened by pantsman0 6 months ago - 3 comments

#1059 - cargo install c2rust failed: Could not find a configuration file for package "LLVM" that exactly matches requested version "16.0.6".

Issue - State: open - Opened by tjyang 6 months ago - 2 comments

#1058 - rust-toolchain.toml is too old for 1.75 rust

Issue - State: closed - Opened by tjyang 6 months ago - 4 comments

#1057 - analyze: CLI options

Pull Request - State: closed - Opened by spernsteiner 6 months ago

#1057 - analyze: CLI options

Pull Request - State: open - Opened by spernsteiner 6 months ago

#1057 - analyze: CLI options

Pull Request - State: open - Opened by spernsteiner 6 months ago

#1057 - analyze: CLI options

Pull Request - State: open - Opened by spernsteiner 6 months ago

#1057 - analyze: CLI options

Pull Request - State: open - Opened by spernsteiner 6 months ago

#1056 - analyze: borrowck: cache results of polonius runs on disk

Pull Request - State: closed - Opened by spernsteiner 6 months ago

#1056 - analyze: borrowck: cache results of polonius runs on disk

Pull Request - State: open - Opened by spernsteiner 6 months ago