Andrei Homescu

Use a lock-free queue to store the event list because the event callbacks might be called from inside a signal handler. Most system calls are not safe in that context,...

analyze: Lifetimes are incorrectly added to public extern C functions

2

Running the analyzer on amalgamated CFS adds lifetimes to pointer arguments of publicly exported C functions part of the public API (not called from inside CFS), e.g. ``` #[no_mangle] pub...

Use log crate for debugging output in c2rust-analyze

2

Replace all `eprintln!` macros with uses of the `log` crate for more efficient and fine-grained debugging output.

PDG: Keep track of lifetimes of stack values

1

The dynamic analyzer keeps track of lifetimes of heap allocations by emitting `Free` events for objects being deallocated. We need something similar for stack values, to prevent issues where two...

For the following example ```rust fn main() { let x = 42; let mut p1 = &x as *const i32; let p2 = p1; p1 = 0 as *const i32;...