Currently no documents about JSAnalyzer, causing infeasible task of understanding how it works. I will write some documents, e.g., generating JavaDoc.