search

BurtonQin / lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
448 stars 27 forks source link

Update the callgraph generation with an ICSE'20 paper #4

Closed BurtonQin closed 2 years ago

BurtonQin commented 4 years ago

Paper: Is Rust Used Safely by Software Developers? https://arxiv.org/ftp/arxiv/papers/2007/2007.00752.pdf Code: https://github.com/ananevans/icse2020/

BurtonQin commented 2 years ago

The current callgraph implementation is enough for detection. Maybe add FnPtr resolving in the future.