| commit | 8b58e19d33fcb3f7a1b81e81b4e170ff02948e0f | [log] [tgz] |
|---|---|---|
| author | Wei Yi Tee <wyt@google.com> | Tue Aug 02 10:15:40 2022 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Aug 02 10:16:07 2022 -0700 |
| tree | 5fcece66b985ac289b7345b9d90be768ca122774 | |
| parent | 06f06960b08beefb15af3c1f06750496cc845a73 [diff] |
Separate analysis and diagnosis components for pointer nullability verification. - `pointer_nullability_analysis.h/cc`: accummulate nullability information of pointers. - `pointer_nullability_diagnosis.h/cc`: checks null safety (e.g. if a dereference is safe). - `pointer_nullability.h/cc`: common functions for updating a PointerValue's nullability. PiperOrigin-RevId: 464823057
Extremely experimental interop tooling for C++ and Rust.
Please don‘t use, this is an experiment and we don’t yet know where will it take us. There will be breaking changes without warning. Unfortunately, we can't take contributions at this point.
$ apt install clang lld bazel $ git clone git@github.com:google/crubit.git $ cd crubit $ bazel build --linkopt=-fuse-ld=/usr/bin/ld.lld //rs_bindings_from_cc:rs_bindings_from_cc_impl
$ git clone https://github.com/llvm/llvm-project $ cd llvm-project $ CC=clang CXX=clang++ cmake -S llvm -B build -DLLVM_ENABLE_PROJECTS='clang' -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=install $ cmake --build build -j $ # wait... $ cmake --install build $ cd ../crubit $ LLVM_INSTALL_PATH=../llvm-project/install bazel build //rs_bindings_from_cc:rs_bindings_from_cc_impl