(Question) Do you plan to detect all deadlock cases?

[hardBSDk]

No description provided.

[hlisdero]

Hi @hardBSDk,

Thank you for your question.

Since I finished my master thesis, this is more of a hobby project. I may add support in the future for structs and other Rust language features that would allow the tool to detect a broader range of deadlocks. Currently, the project is a proof of concept and it is far from production-ready, but the general idea works. I have not found yet a "blocker" that would make the implementation infeasible.

Hope that helps! Feel free to contact me if you have any further questions.