MoonTrustFlow

MoonTrustFlow 是一个面向 MoonBit 生态的软件分析基础库。项目通过小型 .mtf 规则语言描述敏感源、危险汇点、净化器、数据流边和允许路径，并在 MoonBit 中实现污染传播分析，输出可解释的 source-to-sink 风险路径。