Nicholas Ng
Nicholas Ng
Could you please post the full output of the tool? The package structure and your comment: > It says there is no method "unzipfunc" in my project They not sufficient...
The output looks correct, and generated files correctly for the 2nd part of the deadlock analysis. Ignoring the debug outputs, it looks like there are 2 goroutines (i.e. *2 roles*),...
Related to #8, where tool refuses to continue analysis when encountering unknown SSA value. It's possible to continue without the value.
Thanks! The way how it works right now is to try to dummy out the datastructure (lazily) and only analyse the communication bits, so this can be caused by accessing...
@xlab which main package did you try running the tool on?
Spawning goroutine in `main` on an _invoke_ mode function call gives a `nil` `ssa.Function`
MWE from Marko Gašparič: ``` package main import ( "os/exec" ) type Watchdog struct { isRunning bool done chan bool Command *exec.Cmd } func (w *Watchdog) Stop() { if !w.isRunning...
> Apparently the official BibTex spec says that months should be three-letter abbreviations like jan, feb etc, not in {}, and then when you run BibTex it localizes these in...
> Is there any reason why we use a channel instead of, i.e. a slice in the first place The yacc generated parser don't return the idiomatic (token, error), which...
I've updated the error reporting and handling -- if you wouldn't mind merging those changes here and see if that works with your change to return error :pray: