This will allow us to run a static analysis tool, catching the most obvious issues (use-after-free, potential NULL dereference...) and (hopefully) increasing this software's overall robustness.