dingo-hunter
dingo-hunter copied to clipboard
nickng
Static analyser for finding Deadlocks in Go
Hello, I get some errors when running dingo-hunter on the programs from the examples folder. I have contacted Nick about this, but he was busy and could not help me...
Similar to the migration of Go modules, the new go/packages supports non-mod and mod's way of loading packages as a coherence set of packages. We should retire our use of...
With the arrival of go1.16 modules is on by default We're not mod ready and should migrate
Fixes an edge case when a constant is a typed pointer but not initialised. Addresses #28
Hello, I am having some problems running some the example programs provided, namely the deadlocking-philosophers. When I try to generate a .migo file, it panics: ``` panic: runtime error: invalid...
Hello! I have been trying to use this tool using the CFSM approach, but I have not been able to. I followed the instructions and I can't seem to run...
I ran dingo-hunter in CFSMs mode following README. The command `./runsmc.py inputs/deadlock_cfsms 2` was done but there is no `SMC check` in the terminal. Does README need to be updated？
In the program below, because of the line where the channel is closed the following happen: i) GMC synthesis fails. ii) The global graph constructed ends up being simpler than...
Dingo-Hunter is not able to detect a deadlock for the program below: (you can also find the code in this pastebin link https://pastebin.com/C4Md3yLB). The extracted CFSMs are correct, however the...