Hi. I have implemented a fixed point analysis algorithm based on Clang which incorporates the APRON library abstract analysis API (Join and Meet operations, interval abstract domain). For installation see my post: http://wp.me/p4LSIE-G