Top 4.8% dependent repos on proxy.golang.org
Top 4.5% forks on proxy.golang.org
proxy.golang.org : github.com/nickng/dingo-hunter
Command dingo-hunter is a tool for analysing Go code to extract the communication patterns for deadlock analysis. The deadlock analysis approach is based on multiparty session types and global graph synthesis POPL'15 (Lange, Tuosto, Yoshida) and CC'16 (Ng, Yoshida).
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/nickng/dingo-hunter
Keywords:
concurrency
, deadlock-detection
, golang
, research
, static-analysis
License: Apache-2.0
Latest release: over 6 years ago
First release: over 6 years ago
Namespace: github.com/nickng
Dependent repositories: 1
Stars: 320 on GitHub
Forks: 27 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 17 days ago