https://orbitbrain.com/blog/galois-open-sources-tools-for-finding-vulnerabilities-in-c-c-code/