项目作者： PragmaTwice
项目描述 ：
[WIP] Interval Analysis on LLVM IR
高级语言： C++
项目地址: git://github.com/PragmaTwice/codepunk.git
a little interval analysis tool on LLVM IR
Dependencies
Algorithm
- interval analysis via abstract interpretation
- dataflow iterating in regard for path conditions
Worklist
- more arthmetic/terminator instruction support
- interprocedural analysis via context sensitive
- more pattern support for interval solving
- modeling for array/heap memory
- unsigned integer support
- floating point support
