c2rust Import null pointer information from PDG into static analysis

Import null pointer information from PDG into static analysis

Open ahomescu opened this issue 10 months ago • 3 comments

Apr 25 '24 05:04 ahomescu

I still need to test this on some actual code (maybe lighttpd?)

Apr 25 '24 05:04 ahomescu

Is this waiting on anything, other than needing a cargo fmt to fix the CI?

Jun 03 '24 16:06 spernsteiner

@ahomescu Don't forget to fix the CI. Currently it's failing on the cargo fmt style check.

Jun 17 '24 21:06 spernsteiner