热搜词： Binary code analysis GCC Z3