Comment by segfaultbuserr

correction: s/static analysis/data-flow analysis/