Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques