Like CSeq [2,3] and MU-CSeq [7] it uses the pycparser (v2.10, github.com/eliben/pycparser) to parse a C program into an abstract syntax tree (AST).
確定！ 回上一頁
