immunant / c2rust

Migrate C code to Rust
https://c2rust.com/
Other
3.95k stars 234 forks source link

(`c2rust-analyze`) Add almost all `libc` `KnownFn`s used in `lighttpd_rust_amalgamated` #998

Closed kkysen closed 1 year ago

kkysen commented 1 year ago

This adds known_fns! annotations for all libc fns used in lighttpd_rust_amalgamated with a few exceptions:

I've left TODOs for these, as well as for some other ptr perms I wasn't certain about and would like to have reviewed.

I've also outlined in https://github.com/immunant/c2rust/issues/865#issuecomment-1638820466 how we might support some of these exceptions.