https://123dok.net/document/y8gx7wrz-automatic-discovery-and-patching-of-buffer-and-integer-overflow-errors.html