Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization