Pull requests: immunant/c2rust
Pull requests list
Add a set of comments and question on PDG construction
#1092
opened May 10, 2024 by
ahomescu
Loading…
Import null pointer information from PDG into static analysis
#1086
opened Apr 25, 2024 by
ahomescu
Loading…
Switch to New feature or request
core::ffi::c_* for C types instead of libc::c_*
enhancement
#297
opened Sep 15, 2020 by
ahomescu
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.