Patching Locking Bugs Statically with Crayons. - Juan Cruz-Carlon; Mahsa Varshosaz; Claire Le Goues; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2023)