search

immunant / c2rust

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

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

Closed ahomescu closed 4 weeks ago

ahomescu commented 1 month ago

I wrote my questions on the PDG builder algorithm in the form of comments. It might be useful to answer (some of) these and leave them in as comments, for future reference.