Nim generates C and compiles it using GCC. It does not inject a runtime that runs its own threads or any other magic. All the usual static analysis tools, debu

Nim generates C and compiles it using GCC. It does not inject a runtime that runs its own threads or any other magic. All the usual static analysis tools, debuggers and even formal methods can be used on the generated C code.