Comment Comment by saagarjha Does this happen to use SPARTA (https://github.com/facebookincubator/SPARTA) for its abstract interpretation? parent saagarjha 7 years ago
