Comments (5)
Not saying you shouldn't use this plugin (we use it in production and it works well), but have you looked at clangml? https://gitlab.inria.fr/tmartine/clangml
from facebook-clang-plugins.
The AST Exporter is only used by Infer, and so this entire repo has been merged into the infer repo: https://github.com/facebook/infer/ and development continues there. We are planning on archiving this repo in the near future.
Because the AST Exporter is only used for infer, I don't think it would have high chances of getting into the clang repositories, but I could be wrong about that. Do you have another use for this plugin?
from facebook-clang-plugins.
Yes I would love to leverage the clang AST from OCaml in semgrep: https://semgrep.dev/
See also https://github.com/returntocorp/semgrep
from facebook-clang-plugins.
More generally any OCaml programmer who would like to to stuff on c++ would benefit from an easy-to-install OPAM library that can leverage clang C++ ASTs. Just like what CIL did for C 20 years ago
https://github.com/cil-project/cil
from facebook-clang-plugins.
Oh no I didn't know about clangml! Thx! I'll have a look.
from facebook-clang-plugins.
Related Issues (15)
- fatal error: 'clang/Analysis/AnalysisContext.h' HOT 4
- ast_exporter generates warning for "stdarg.h" include
- clang-ocaml make: Error: Unbound value Clang_ast_j.read_decl HOT 1
- "clang_ast.atd" does not work with adtj for Java generation HOT 2
- Package in findlib / OPAM? HOT 3
- Unbound record field sl_file HOT 1
- Potentially already fixed: `"!!DUMMY!!"` appearing in the dumped AST HOT 1
- Compilation errors. HOT 23
- Should `facebook-clang-plugins` allow for CMake `CMAKE_BUILD_TYPE` to be configurable? HOT 4
- `llvm_clang_compiler-rt_libcxx_libcxxabi_openmp-9.0.0` is not compatible with `glibc 2.31`
- Basic documentation on how to get an OCaml AST dumper of a c++ program HOT 2
- Does not compile with glibc 2.26 HOT 1
- Building the plugin HOT 3
- Compatibility with Xcode toolchain HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from facebook-clang-plugins.