标签： testing
是否可以用symbolic executor来实现Abstract Syntax Tree (AST)而不实现Control Flow Graph (CFG)？
symbolic executor
Abstract Syntax Tree (AST)
Control Flow Graph (CFG)