add coref_library_reference.md

Author: ValKmjolnir

doc/1_abstract.md

@@ -5,9 +5,11 @@ nav_order: 2
 ---
 
 随着大规模软件开发的普及，对可扩展且易于适应的静态代码分析技术的需求正在加大。传统的静态分析工具，如 Clang Static Analyzer (CSA) 或 PMD，在检查编程规则或样式问题方面已经展现出了良好的效果。然而，这些工具通常是为了满足特定的目标而设计的，往往无法满足现代软件开发环境中多变和多元化的需求。这些需求可以涉及服务质量 (QoS)、各种编程语言、不同的算法需求，以及各种性能需求。例如，安全团队可能需要复杂的算法，如上下文敏感的污点分析，来审查较小的代码库，而项目经理可能需要一种相对较轻的算法，例如计算圈复杂度的算法，以在较大的代码库上测量开发人员的生产力。
+
 这些多元化的需求，加上大型组织中常见的计算资源限制，构成了一项重大的挑战。由于传统工具采用的是问题特定的计算方式，往往无法在这种环境中实现扩展。因此，我们推出了 CodeQuery，这是一个专为大规模静态分析设计的集中式数据平台。
 在 CodeQuery 的实现中，我们把源代码和分析结果看作数据，把执行过程看作大数据处理，这与传统的以工具为中心的方法有着显著的不同。我们利用大型组织中的常见系统，如数据仓库、MaxCompute 和 Hive 等数据计算设施、OSS 对象存储和 Kubernetes 等灵活计算资源，让 CodeQuery 能够无缝地融入这些系统中。这种方法使 CodeQuery 高度可维护和可扩展，能够支持多元化的需求，并有效应对不断变化的需求。此外，CodeQuery 的开放架构鼓励各种内部系统之间的互操作性，实现了无缝的交互和数据交换。这种集成和交互能力不仅提高了组织内部的自动化程度，也提高了效率，降低了手动错误的可能性。通过打破信息孤岛，推动更互联、更自动化的环境，CodeQuery 显著提高了软件开发过程的整体生产力和效率。
 此外，CodeQuery 的以数据为中心的方法在处理静态源代码分析的领域特定挑战时具有独特的优势。例如，源代码通常是一个高度结构化和互联的数据集，与其他代码和配置文件有强烈的信息和连接。将代码视为数据，CodeQuery 可以巧妙地处理这些问题，这使得它特别适合在大型组织中使用，其中代码库持续但逐步地进行演变，大部分代码在每天进行微小的改动同时保持稳定。 CodeQuery 还支持如基于代码数据的商业智能 (BI) 这类用例，能生成报告和仪表板，协助监控和决策过程。此外，CodeQuery 在分析大型语言模型 (LLM) 的训练数据方面发挥了重要作用，提供了增强这些模型整体效果的深入见解。
+
 在当前的静态分析领域，CodeQuery 带来了一种新的范式。它不仅满足了大规模、复杂的代码库分析需求，还能适应不断变化和多元化的静态分析场景。CodeQuery 的以数据为中心的方法，使得其在处理大数据环境中的代码分析问题时具有独特优势。CodeQuery 的设计，旨在解决大规模软件开发环境中的静态分析问题。它能够将源代码和分析结果视作数据，使得其可以灵活地融入大型组织的各种系统中。这种方法不仅可以有效地处理大规模的代码库，还可以应对各种复杂的分析需求，从而使得静态分析工作变得更加高效和准确。
 
 CodeQuery 的特点和优势可以概括为以下几点：

doc/5_toolchain.md

@@ -85,5 +85,7 @@ code --install-extension [扩展vsix文件路径]
 -  `godelScript.libraryDirectoryPath` 
    -  用于指定 GödelScript 的库文件夹路径，默认为空。需要时请替换为 GödelScript 库文件夹绝对路径。 
    -  如果已经下载 Sparrow CLI ，则库文件夹路径为 `[sparrow cli root]/lib-1.0`。 
-#  智能助手
+
+# 智能助手
+
 待开放，尽情期待！

doc/coref_library_reference.md

@@ -0,0 +1,38 @@
+---
+title: "COREF Library Reference"
+layout: default
+nav_order: 7
+has_children: true
+---
+
+# COREF Library Reference
+
+## coref::go
+
+- coref::go [database](./godel-api/go/database.md)
+- coref::go [function](./godel-api/go/function.md)
+- coref::go [schema](./godel-api/go/schema.md)
+
+## coref::java
+
+- coref::java [database](./godel-api/java/database.md)
+- coref::java [function](./godel-api/java/function.md)
+- coref::java [schema](./godel-api/java/schema.md)
+
+## coref::javascript
+
+- coref::javascript [database](./godel-api/javascript/database.md)
+- coref::javascript [function](./godel-api/javascript/function.md)
+- coref::javascript [schema](./godel-api/javascript/schema.md)
+
+## coref::python
+
+- coref::python [database](./godel-api/python/database.md)
+- coref::python [function](./godel-api/python/function.md)
+- coref::python [schema](./godel-api/python/schema.md)
+
+## coref::xml
+
+- coref::xml [database](./godel-api/xml/database.md)
+- coref::xml [function](./godel-api/xml/function.md)
+- coref::xml [schema](./godel-api/xml/schema.md)

doc/index.md

@@ -9,3 +9,4 @@ nav_order: 1
 - [安装、配置、运行](3_install_and_run.html)
 - [GödelScript 查询语言介绍](4_godelscript_language.html)
 - [VSCode开发插件](5_toolchain.html)
+- [COREF Library Reference](coref_library_reference.html)