Dynamic Analysis and Synthesis System for Relaxed Memory Models