自动化分析

选择最窄的接口匹配集成需求。所有接口使用相同的 Pass 实现和缓存结果。

接口

接口	适用场景	协议
CLI	批处理、CI、文件导出	命令行标志与 stdout
JSON-RPC	脚本编程访问	TCP 上的 JSON-RPC 2.0
MCP	LLM 与 IDE 集成	Model Context Protocol
WebSocket	实时仪表板、流式推送	WebSocket 上的 FlatBuffers

快速开始

# CLI 批量分析
./tenet trace.bin --pattern --algorithm-summary --export-cfg func.dot

# 启动 JSON-RPC 服务
./tenet trace.bin --rpc-port 4321

# 启动 MCP 服务（LLM 集成）
./tenet trace.bin --mcp-port 13337

# 启动 WebSocket 流式推送
./tenet trace.bin --ws-port 9090

所有接口共享同一会话锁：同一 Trace 同时只能被一个进程拥有。结果被缓存并跨接口共享。