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: 3 months 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 (over 3 years ago)
• Default Branch: master
• Last Pushed: 2022-07-25T18:00:01.000Z (almost 3 years ago)
• Last Synced: 2025-02-06T12:48:09.380Z (5 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
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Eurocast 2022 - 18th International Conference on Computer Aided Systems Theory

## Static Deadlock Detection in Low-Level C Code