Flow graph transformation for linking array variables using weak updating. All assignments of a non-array value to an array is made into a weak update. All assignments between array variables cause variable aliasing. Aliased variables are joined. Arrays are classified as XML arrays and non-XML arrays. Concat statements whose argument is an XML array have their string source replaced by the empty language automaton.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.