语法指导符号执行的英文

syntax-directed symbolic execution

• 语法:    grammar; syntax
• 指导:    guide; direct; gui ...
• 符号:    character; sign; s ...
• 执行:    carry out; execute ...