https://github.com/harmim/eurocast2022-deadlock-infer

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
https://github.com/harmim/eurocast2022-deadlock-infer

concurrency deadlock deadlock-detection eurocast facebook-infer l2d2 paper static-analysis

Last synced: 23 days ago
JSON representation

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code

• Host: GitHub
• URL: https://github.com/harmim/eurocast2022-deadlock-infer
• Owner: harmim
• Created: 2021-11-09T18:21:11.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2022-07-25T18:00:01.000Z (over 2 years ago)
• Last Synced: 2024-04-24T03:21:12.180Z (9 months ago)
• Topics: concurrency, deadlock, deadlock-detection, eurocast, facebook-infer, l2d2, paper, static-analysis
• Language: HTML
• Homepage: https://eurocast2022.fulp.ulpgc.es
• Size: 8.77 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project