Apache License 2.0
技术解读
以下内容由 GitRead 中文社区 编辑团队基于项目 README 与官方资料整理， 结合中文开发者的常见使用场景补充技术选型建议。具体以项目官方文档为准。
相关仓库
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
MirageOS is a library operating system that constructs unikernels
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
评论