Source: https://homes.cs.washington.edu/~mernst/pubs/format-string-issta2014.pdf