Lib.rs

› 关键字 #clang #libclang #tree-node #static-analysis #syntax-tree #ast #ctree

Lib.rs

Lib.rs

完成C AST。允许分析和生成由C派生的代码。使用LLVM 4/Clang构建，使用一些脆弱的C++ API来处理libclang中缺失的数据和歧义。

v0.11.2 #ast #clang #libclang #syntax-tree #ctree #tree-node #static-analysis
c3_clang_extensions

通过C3获取libclang隐藏/损坏的信息的丑陋技巧。请参阅C3以获取可用的接口。

v0.3.9 #clang #c3 #interface #llvm #cmake #curl #libclang
rust_c3

Rust版的C3

v0.1.5 #c3 #stone #heer
c3-lang-linearization

C3线性化

v0.0.4 #linearization #c3 #c3-lang-linearization

尝试使用DuckDuckGo进行搜索。