L2D2: A Low Level Deadlock Detector, Version 1.0

Jedná se o první verzi detektoru uváznutí v paralelních programech napsaných v jazycích C, C++ či Java a používajících nízko-úrovňovou synchronizaci pomocí explicitního zamykání a odemykání synchronizačních zámků ("mutexů"). Nástroj je statickým analyzátorem založeným na abstraktní interpretaci s využitím souhrnů funkcí počítaných dle stromu volání funkcí, a to počínaje jeho listy tak, aby bylo dosaženo vysoké škálovatelnosti. Detektor je implementován v jazyce Ocaml jako zásuvný modul ("plugin") pro prostředí Facebook Infer.

https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131

Volně šiřitelný software poskytovaný pod MIT licencí (přesné znění licence je dostupné na stránce https://opensource.org/licenses/MIT).