trailmark

Trailmark 将源代码解析为可查询的函数、类、调用和语义注解图，用于安全分析。 Trailmark 使用 tree-sitter 进行语言无关的 AST 解析，并使用 rustworkx 进行高性能图遍历。其长远愿景是将此图与变异测试和覆盖率引导的模糊测试相结合，以识别从用户输入可达的假设与测试覆盖率之间的差距。 工作原理 Trailmark 分三个阶段运行：解析 、索引 和查询 。mermaid flowchart TD A"Source Files" -- B"tree-sitter Parser" B -- C"CodeGraph nodes + edges" C --...