[whytevuhuni]

What are some of the tools you'd recommend?

In my case I'm working with Nginx and I'd like to make a few custom modules safer.

[nanolith]

For C, I recommend CBMC.