結果 : static analysis in software engineering