搜索结果：analysis（13 个）

开源可自部署的智能交易系统，支持 AI 研究、Python 策略、回测及多资产实盘风控。

基于 eBPF 的 Kubernetes 网络可观测工具，带 K8s 上下文索引 L4/L7 流量，免密钥解密 TLS，支持仪表盘及 AI Agent 查询。

开源 ELT 数据同步平台，可在 API、数据库与数仓及 AI 应用间无缝流转数据。

一款开源 BI 与数据分析工具，结合 dbt 进行数据可视化，带来如写代码般敏捷高效的分析体验。

开源 Kubernetes 安全平台，支持在 IDE、CI/CD 及集群中进行风险分析、合规检测与错误配置扫描。

用于网络图可视化与分析的图论 JavaScript 库。

专为容器镜像打造的安全漏洞静态分析工具。

针对容器镜像和文件系统的漏洞安全扫描工具。

基于 Python 的交互式网络数据包处理程序与开发库 Scapy。

基于 Python 的复杂网络与图结构分析库。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

基于 BPF 的 Linux 工具集，用于 I/O 分析、网络排查和系统性能监控等。

用 Haskell 编写的 Dockerfile linter，支持内联 Bash 校验。