訂正を提案 · symbolic-binary-analysis