你即將離開本站

並前往https://frama-c.com/download/frama-clang-manual-0.0.9.pdf

FRAMA-CLANG User Manual

The plug-in extends clang to parse. ACSL++, translating source files containing C++ and ACSL++ into Frama-C's interme- diate language for C and ACSL.

確定！ 回上一頁

查詢 「clang parser」的人也找了：

  1. Libclang
    2.
  2. Libclang example
    3.
  3. Clang Code Model
    4.
  4. C++ AST
    5.
  5. Clang AST
    6.