結果 : static program analysis anders møller