search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Add widening for pointers #86

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

wc.c computation never finishes because offsets in pointers are incremented by 1 in each iteration.

karelklic commented 11 years ago

Done.