sukrutrao/IntervalAI

An abstract interpreter for an integer interval domain supporting basic operations for simple C programs

Language: C++ - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0