开发工具与开源✦编辑整理
btcd
使用 Go 实现的比特币全节点。
☆ 6,711 +0 / 7d查看条目
用途介绍
lisa-analyzer/evm-lisa 是公开 GitHub 仓库，主要语言为 Solidity。最近记录为 38 个星标及 4 个分支。 主题：abstract interpretation, cfg, control flow graph, ethereum, evm bytecode, 智能合约。 使用前请阅读文档、许可及当前问题记录。
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
GitHub 仓库
- 星标
- 38
- 新增星标 · 7 天
- +0
- 分支副本
- 4
- 主要编程语言
- Solidity
- 仓库许可证
- MIT
- 最近代码推送
- 2026年6月18日
热度基于 GitHub 星标。7 天增长需积累完整一周的本地快照。这是本站收录集合，不是 GitHub 官方趋势榜。
来源与更新
GitHub ↗来源已刷新 · 2026年10月15日
导入条目附有来源链接。收录用于发现服务，不代表推荐。