A persistent data flow analysis framework and some related tools