https://github.com/pragmatwice/codepunk

[WIP] Interval Analysis on LLVM IR
https://github.com/pragmatwice/codepunk

abstract-interpretation interval-analysis llvm static-analysis

Last synced: 11 months ago
JSON representation

[WIP] Interval Analysis on LLVM IR

• Host: GitHub
• URL: https://github.com/pragmatwice/codepunk
• Owner: PragmaTwice
• License: gpl-3.0
• Created: 2020-06-30T13:22:29.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-07-06T09:33:20.000Z (over 5 years ago)
• Last Synced: 2025-03-28T15:11:32.372Z (12 months ago)
• Topics: abstract-interpretation, interval-analysis, llvm, static-analysis
• Language: C++
• Homepage:
• Size: 51.8 KB
• Stars: 12
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
![logo](assets/logo.png)

[![GitHub](https://img.shields.io/github/license/PragmaTwice/codepunk)](https://www.gnu.org/licenses/gpl-3.0.html)

[![Project Status: WIP – Initial development is in progress, but there has not yet been a stable, usable release suitable for the public.](https://www.repostatus.org/badges/latest/wip.svg)](https://www.repostatus.org/#wip)

[![Github Actions](https://github.com/PragmaTwice/codepunk/workflows/Build/badge.svg)](https://github.com/PragmaTwice/codepunk/actions)

*a little interval analysis tool on LLVM IR*

## Dependencies

- LLVM ([releases/10.x](https://github.com/llvm/llvm-project/tree/release/10.x))

- GoogleTest ([master](https://github.com/google/googletest/tree/master))

## 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