A library for building abstract interpretation-based analyses
Primary LanguageC++Apache License 2.0Apache-2.0