Dynamic And Static Analysis For Weakly Consistent Systems