It is the JSCrush code. I don't fully understand it, but it's a brute force approach to find the longest substrings.