lockbud VS mir

There's tracing-mutex that builds a dag of your locks when you acquire them and panics (at runtime) if it could deadlock: https://github.com/bertptrs/tracing-mutex

parking_lot has a deadlock detection feature for when you deadlock that iirc tells you what deadlocked (so you're not trying to figure it out with a debugger and a lot of time) https://amanieu.github.io/parking_lot/parking_lot/deadlock/i...

I also just found out about https://github.com/BurtonQin/lockbud which seems to detect deadlocks and a few other issues statically? (seems to require compiling your crate with the same version of rust as lockbud uses, which from the docs is an old 1.63 nightly build?)

Hi, I'm looking for tools that can statically detect possible deadlocks in async fns. I'm aware of lockbud and cargo-check-deadlock, neither of which can analyse async code. Is there any tools that support this?

Try this: https://github.com/BurtonQin/lockbud.

You could try MIR its an Open Source Repository Software Developed by German universities and librarys. You can create Aritcles or Journals and link them together and attach PDF or other files to them. You can also import metadata with a DOI.