Symbolic/Concolic execution of Go compiled Binaries

[Karolina GORNA]

Hi Gophers,

Hope that your are alright!

Does any of you know symbolic or concolic execution tools that are compatible with Go binaries please ? 
From what I currently understand, it seams possible to adapt Angr for instance so that it understands Go binaries, but I am not 100% sure.
Also, I am curious if someone worked on that before.

Thank you for your time,
Karolina

---

Les informations contenues dans ce message électronique ainsi que celles contenues dans les documents attachés sont strictement confidentielles et sont destinées à l'usage exclusif du (des) destinataire(s) nommé(s).

Toute divulgation, distribution ou reproduction, même partielle, en est strictement interdite sauf autorisation écrite et expresse de l’émetteur.

Si vous recevez ce message par erreur, veuillez le notifier immédiatement à son émetteur par retour, et le détruire ainsi que tous les documents qui y sont attachés.

The information contained in this email and in any document enclosed is strictly confidential and is intended solely for the use of the individual or entity to which it is addressed.

Partial or total disclosure, distribution or reproduction of its contents is strictly prohibited unless expressly approved in writing by the sender.

If you have received this communication in error, please notify us immediately by responding to this email, and then delete the message and its attached files from your system.

---

[Thomas DuBuisson]

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 more recently, rust mir). This might explain the sparse landscape.

[1] https://github.com/GaloisInc/crucible/tree/master/crucible-go