用途:分析项目运行时行为、进程边界与 IPC 机制,识别运行时边界和通信契约,检测协议漂移与进程生命周期问题。
主要能力:识别入口点(如 Rust 的 fn main()、#[tokio::main],Python 的 if name == "main":,Node 的 require.main === module 与 package.json 的 bin,Go 的 func main());追踪生成链(如 Command::new、subprocess.Popen、child_process.spawn/fork);窃听通信通道与协议(Pipe、NamedPipe、unix_stream、zmq、TcpListener、UdpSocket、websocket、http::server,以及 Handshake、Version、MagicBytes、schema、protobuf、serde_json、JSON.parse、enum Message);评估契约状态为 Strong、Weak 或 None;标记生命周期风险(僵尸进程、静默故障、单点故障、竞态条件)与 Windows Named Pipe 权限漏洞。
使用方式:执行分析前必须调用 sequential thinking 工具,视情况进行 3—5 步推理,例如入口点数量、进程间通信方式、更新一端通信模块是否影响另一端及是否存在版本握手。输出清单包括 Process Roots、Spawning Chains、IPC Surfaces、Contract Status 与 Lifecycle Risks,Windows Named Pipe 还需检查 ACL 设置。
适用场景:多进程、多入口点、存在 IPC 或子进程管理的项目,尤其适合排查协议漂移与进程生命周期风险。
限制:资料未提供具体安装命令、平台支持范围、收费方式或效果保证;实际检测能力取决于项目代码与工具环境。