Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here.
PiperOrigin-RevId: 528495113
diff --git a/nullability/BUILD b/nullability/BUILD
new file mode 100644
index 0000000..7272c47
--- /dev/null
+++ b/nullability/BUILD
@@ -0,0 +1,88 @@
+# Verification and Inference for null safety
+
+package(default_applicable_licenses = ["//:license"])
+
+cc_library(
+ name = "pointer_nullability_lattice",
+ hdrs = ["pointer_nullability_lattice.h"],
+ deps = [
+ "@absl//absl/container:flat_hash_map",
+ "@absl//absl/log:check",
+ "@llvm-project//clang:analysis",
+ ],
+)
+
+cc_library(
+ name = "pointer_nullability_matchers",
+ srcs = ["pointer_nullability_matchers.cc"],
+ hdrs = ["pointer_nullability_matchers.h"],
+ deps = [
+ "@llvm-project//clang:ast",
+ "@llvm-project//clang:ast_matchers",
+ ],
+)
+
+cc_library(
+ name = "pointer_nullability_analysis",
+ srcs = ["pointer_nullability_analysis.cc"],
+ hdrs = ["pointer_nullability_analysis.h"],
+ visibility = ["//nullability/test:__pkg__"],
+ deps = [
+ ":pointer_nullability",
+ ":pointer_nullability_lattice",
+ ":pointer_nullability_matchers",
+ "@absl//absl/log:check",
+ "@absl//absl/strings",
+ "@llvm-project//clang:analysis",
+ "@llvm-project//clang:ast",
+ "@llvm-project//clang:ast_matchers",
+ "@llvm-project//clang:basic",
+ ],
+)
+
+cc_library(
+ name = "pointer_nullability_diagnosis",
+ srcs = ["pointer_nullability_diagnosis.cc"],
+ hdrs = ["pointer_nullability_diagnosis.h"],
+ visibility = ["//nullability/test:__pkg__"],
+ deps = [
+ ":pointer_nullability",
+ ":pointer_nullability_lattice",
+ ":pointer_nullability_matchers",
+ "@llvm-project//clang:analysis",
+ "@llvm-project//clang:ast",
+ "@llvm-project//clang:ast_matchers",
+ "@llvm-project//clang:basic",
+ "@llvm-project//llvm:Support",
+ ],
+)
+
+cc_library(
+ name = "pointer_nullability",
+ srcs = [
+ "pointer_nullability.cc",
+ "type_nullability.cc",
+ ],
+ hdrs = ["pointer_nullability.h"],
+ deps = [
+ ":pointer_nullability_lattice",
+ "@absl//absl/log:check",
+ "@llvm-project//clang:analysis",
+ "@llvm-project//clang:ast",
+ "@llvm-project//clang:basic",
+ "@llvm-project//llvm:Support",
+ ],
+)
+
+cc_test(
+ name = "pointer_nullability_test",
+ srcs = ["pointer_nullability_test.cc"],
+ deps = [
+ ":pointer_nullability",
+ "@llvm-project//clang:testing",
+ "@llvm-project//llvm:Support",
+ "@llvm-project//third-party/unittest:gmock",
+ "@llvm-project//third-party/unittest:gtest",
+ "@llvm-project//third-party/unittest:gtest_main",
+ ],
+)
