@mflatt @samth Thanks for your help. I finally got Racket HEAD (normal + CS) analyzed by coverity (or at least in the queue). I will start taking some time to analyze and submit bugs/PRs on this soon: https://scan.coverity.com/projects/linkitools-racket

Awesome. If it makes sense to merge something, let me know

Not for now I think. For merging I need to simplify the process which is quite manual for now as I have to merge master and commit to my coverity_scan branch.

Problem is that the coverity server was broken for so long that there are something like 537 builds before us. That’s bothering me so I am trying to setup my own server to statically analyze racket instead.