issues
search
karelklic
/
canal
Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32
stars
2
forks
source link
Environment abstract domains
#85
Closed
karelklic
closed
11 years ago