Varieties of Static Analyzers: A Comparison with ASTREE | IEEE Conference Publication | IEEE Xplore