[go-nuts] Re: Symbolic/Concolic execution of Go compiled Binaries

2023-11-02 Thread 'Thomas DuBuisson' via golang-nuts
There was an effort to add golang as a supported language to crucible [1], but I think it fizzled as a one-engineer attempt. I know golang compiles via an SSA but is there even a spec for the SSA? Static analysis attempts tend to be mostly academic and thus favor something solid such as llvm (or

Re: [go-nuts] Re: Recommended way to distribute pre-compiled C-dependencies for modules using CGO ?

2023-11-02 Thread Jason E. Aten
What I would do for that case would be to deliver the users a either a VM image (heavy), or a docker container (lighter) with batteries included inside. There is often little need to write a docker file unless you really want. Just get everything working inside docker and "docker commit" it to

[go-nuts] When net package is imported building binary with CGO generate error

2023-11-02 Thread sbezverk
Hello, I came across a situation when “net” package is imported regardless directly or indirectly via another package, go build generates these errors: /sw/packages/go/1.19.4/src/net/cgo_linux.go:20:59: could not determine kind of name for C.AI_ALL /sw/packages/go/1.19.4/src/net/cg