/codepunk

[WIP] Interval Analysis on LLVM IR

Primary LanguageC++GNU General Public License v3.0GPL-3.0

logo

GitHub Project Status: WIP – Initial development is in progress, but there has not yet been a stable, usable release suitable for the public. Github Actions

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