Doomhowl-Interactive/llvm-project
0
0
Fork 0
Code Issues Pull Requests Actions 5 Packages Projects Releases Wiki Activity

[bazel] Add libraries, binaries, and tests for ScalableStaticAnalysisFramework. (#186905)

Browse Source
This commit is contained in:
James Y Knight
2026-03-16 19:00:38 -04:00
committed by GitHub
parent c7c7afd5fe
commit 53cae83824
2 changed files with 86 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

59
utils/bazel/llvm-project-overlay/clang/BUILD.bazel
View File

@@ -2084,6 +2084,8 @@ cc_library(
":frontend",
":frontend_rewrite",
":options",
":scalable_static_analysis_core",
":scalable_static_analysis_frontend",
":static_analyzer_frontend",
"//llvm:Option",
"//llvm:Support",
@@ -2586,3 +2588,60 @@ cc_library(
"//llvm:TargetParser",
],
)
cc_library(
name = "scalable_static_analysis_core",
srcs = glob([
"lib/ScalableStaticAnalysisFramework/Core/**/*.cpp",
"lib/ScalableStaticAnalysisFramework/Core/**/*.h",
]),
hdrs = glob(["include/clang/ScalableStaticAnalysisFramework/Core/**/*.h"] + [
"include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h",
"include/clang/ScalableStaticAnalysisFramework/SSAFForceLinker.h",
]),
textual_hdrs = glob(["include/clang/ScalableStaticAnalysisFramework/Core/**/*.def"]),
deps = [
":ast",
":support",
":unified_symbol_resolution",
"//llvm:Support",
],
)
cc_library(
name = "scalable_static_analysis_frontend",
srcs = glob([
"lib/ScalableStaticAnalysisFramework/Frontend/**/*.cpp",
]),
hdrs = glob(["include/clang/ScalableStaticAnalysisFramework/Frontend/**/*.h"]),
deps = [
":ast",
":basic",
":frontend",
":scalable_static_analysis_core",
":sema",
"//llvm:Support",
],
)
cc_binary(
name = "clang-ssaf-format",
srcs = ["tools/clang-ssaf-format/SSAFFormat.cpp"],
deps = [
":basic",
":scalable_static_analysis_core",
"//llvm:Option",
"//llvm:Support",
],
)
cc_binary(
name = "clang-ssaf-linker",
srcs = ["tools/clang-ssaf-linker/SSAFLinker.cpp"],
deps = [
":basic",
":scalable_static_analysis_core",
"//llvm:Option",
"//llvm:Support",
],
)

27
utils/bazel/llvm-project-overlay/clang/unittests/BUILD.bazel
View File

@@ -779,3 +779,30 @@ cc_test(
"//third-party/unittest:gtest_main",
],
)
cc_test(
name = "scalable_static_analysis_tests",
size = "small",
srcs = glob([
"ScalableStaticAnalysisFramework/**/*.cpp",
"ScalableStaticAnalysisFramework/**/*.h",
]),
features = ["-layering_check"], # #include "../../lib/ScalableStaticAnalysisFramework/Core/ModelStringConversions.h"
includes = ["ScalableStaticAnalysisFramework"],
deps = [
"//clang:ast",
"//clang:ast_matchers",
"//clang:basic",
"//clang:frontend",
"//clang:lex",
"//clang:scalable_static_analysis_core",
"//clang:scalable_static_analysis_frontend",
"//clang:support",
"//clang:tooling",
"//llvm:Support",
"//llvm:TestingSupport",
"//third-party/unittest:gmock",
"//third-party/unittest:gtest",
"//third-party/unittest:gtest_main",
],
)