Study on Fast Automatic Program Flow Analysis Method

An automatic program flow analysis method is presented,which uses static single assignment to simplify data dependence relation in program slicing,and uses a simple and fast program slicing algorithm to delete statements and control predicate which has no effect on loop control,and uses abstract interpretation to get precise program flow information automatically.Experimental results show this method is more fast than the normal method up to 25%,while keeping precision.Moreover,there is no any assume on program form,so the flow analysis method is suitable for any program form.