AwesomeREA.org

工具

Logic-Lens：实验性 JavaScript 源码理解工具

实验性 JavaScript 源码分析工具：本地训练后将 AST token 序列归入预设公式类别，并生成启发式结构、调用图和意图报告。它可用于代码理解实验，但预测结果不证明任意程序的不变量或语义等价。

使用条件与局限

  • README 要求 Node.js 18 或更新版本。package 版本 1.1.0 声明依赖 TensorFlow.js、其原生 Node 绑定与 Acorn；初始化先尝试原生 TensorFlow 绑定，再回退到纯 JavaScript CPU 后端。
  • 公式预测需要在本地生成合成数据并训练。预测器所需的模型权重与元数据未包含在所审阅的仓库树中；本次审阅未确认可用的预训练模型或成功的本地运行环境。
  • 预测从预设公式目录中选择类别。README 的准确率和置信度示例来自作者报告，不能证明任意未见函数上的正确性；启发式意图与质量报告也不是行为等价证明。
  • 独立的语义测试定义覆盖结构、启发式模式和报告格式。CONTRIBUTING 提到 npm test，但 package.json 没有 test 脚本。本次来源审阅未执行测试、训练或推理。
  • README 与 package 元数据声明 MIT，但所审阅提交没有 LICENSE 文件；评估复用条件时需保留这一区别。

关于此条目

类型
工具
类别
JavaScript 与 Electron 工具
关联
基础工具
目标
应用

来源复核于

说明已依据一手来源复核；这不代表已运行验证、经过安全审计或确认兼容。

一手来源

  1. README.md GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  2. package.json GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  3. src/predictor.js GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  4. src/model.js GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  5. src/tf-setup.js GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  6. src/semantic/semantic-analyzer.js GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  7. tests/semantic.test.js GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab
  8. CONTRIBUTING.md GitHub · Abdoulrazack1/Logic-Lens · 修订 bb15aab