kudu-dynamics/blaze-platform

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

语言：Haskell · GitHub 星标：58 · Fork：6

话题：binary-analysis · program-analysis · type-checking

在 GitHub 上查看原仓库