private void parseCatch() {
String symbol;
JavaScriptToken token;
ScriptOrFnScope currentScope;
JavaScriptIdentifier identifier;
token = getToken(-1);
assert token.getType() == Token.CATCH;
token = consumeToken();
assert token.getType() == Token.LP;
token = consumeToken();
assert token.getType() == Token.NAME;
symbol = token.getValue();
currentScope = getCurrentScope();
if (mode == BUILDING_SYMBOL_TREE) {
// We must declare the exception identifier in the containing
// function
// scope to avoid errors related to the obfuscation process. No need
// to
// display a warning if the symbol was already declared here...
currentScope.declareIdentifier(symbol, false);
} else {
identifier = getIdentifier(symbol, currentScope);
identifier.incrementRefcount();
}
token = consumeToken();
assert token.getType() == Token.RP;
}
/*
* Returns the identifier for the specified symbol defined in the specified
* scope or in any scope above it. Returns null if this symbol does not have
* a corresponding identifier.
*/
private JavaScriptIdentifier getIdentifier(String symbol, ScriptOrFnScope scope) {
JavaScriptIdentifier identifier;
while (scope != null) {
identifier = scope.getIdentifier(symbol);
if (identifier != null) {
return identifier;
}
scope = scope.getParentScope(); // ??此代码不知何意
}
return null;
}
/*
* If either 'eval' or 'with' is used in a local scope, we must make sure
* that all containing local scopes don't get munged. Otherwise, the
* obfuscation would potentially introduce bugs.
*/
private void protectScopeFromObfuscation(ScriptOrFnScope scope) {
assert scope != null;
if (scope == globalScope) {
// The global scope does not get obfuscated,
// so we don't need to worry about it...
return;
}
// Find the highest local scope containing the specified scope.
while (scope.getParentScope() != globalScope) {
scope = scope.getParentScope();
}
assert scope.getParentScope() == globalScope;
scope.preventMunging();
}
private void manMung() { // 手动混淆，即由用户输入混淆变量
JTable table = AnalyseWarnPanel.table;
Set<ScriptOrFnScope> scopes = scopeSymbolMaping.keySet();
Iterator<ScriptOrFnScope> scopesSetIt = scopes.iterator();
int i = 0;
while (scopesSetIt.hasNext()) {
ScriptOrFnScope tmpScope = scopesSetIt.next();
List<String> symbolList = scopeSymbolMaping.get(tmpScope);
Iterator<String> symbolListIt = symbolList.iterator();
while (symbolListIt.hasNext()) {
String symbol = symbolListIt.next();
JavaScriptIdentifier identifier = tmpScope.getIdentifier(symbol);
String mungedValue = table.getValueAt(i, 1).toString().trim();
if (identifier.isMarkedForMunging() && !mungedValue.equals("null")) {
identifier.setMungedValue(mungedValue);
}
i++;
}
}
}
// 建立语法树
public void buildSymbolTree() {
offset = 0;
braceNesting = 0; // 花括号嵌套
scopes.clear(); // 清空栈
indexedScopes.clear(); // 清空哈希表
indexedScopes.put(new Integer(0), globalScope); // gloabalScope为ScriptOrFnScope对象，构造函数参数为-1,null
mode = BUILDING_SYMBOL_TREE; // （BUILDING_SYMBOL_TREE值为1）
parseScope(globalScope);
globalScope.warning();
}
public void mungeSymboltree(boolean analyzed) {
if (!munge) {
return;
}
// One problem with obfuscation resides in the use of undeclared
// and un-namespaced global symbols that are 3 characters or less
// in length. Here is an example:
//
// var declaredGlobalVar;
//
// function declaredGlobalFn() {
// var localvar;
// localvar = abc; // abc is an undeclared global symbol
// }
//
// In the example above, there is a slim chance that localvar may be
// munged to 'abc', conflicting with the undeclared global symbol
// abc, creating a potential bug. The following code detects such
// global symbols. This must be done AFTER the entire file has been
// parsed, and BEFORE munging the symbol tree. Note that declaring
// extra symbols in the global scope won't hurt.
//
// Note: Since we go through all the tokens to do this, we also use
// the opportunity to count how many times each identifier is used.
offset = 0;
braceNesting = 0;
scopes.clear();
mode = CHECKING_SYMBOL_TREE;
parseScope(globalScope);
if (analyzed) { // 进行了分析，说明用户想主动输入混淆变量，优先使用用户输入的混淆变量
manMung();
}
globalScope.munge();
}
private void parseScope(ScriptOrFnScope scope) {
String symbol;
JavaScriptToken token;
JavaScriptIdentifier identifier;
int length = tokens.size();
enterScope(scope); // 进入范围(将scope压入栈scopes中)
while (offset < length) { // 在此函数调用前已设置为0
token = consumeToken(); // 消费tokens,offset自增
switch (token.getType()) {
case Token.VAR: // 注意后面没有break;
if (mode == BUILDING_SYMBOL_TREE) {
scope.incrementVarCount(); // 当前范围内的var数量加1
}
/* FALLSTHROUGH(falls through) 失败 */
case Token.CONST:
// The var keyword is followed by at least one symbol name.
// If several symbols follow, they are comma(逗号) separated.
for (; ; ) {
token = consumeToken();
assert token.getType() == Token.NAME;
// 判断关键字var、const后的变量是否已经定义，未定义则定义，已定义则输出警告
if (mode == BUILDING_SYMBOL_TREE) {
symbol = token.getValue();
if (scope.getIdentifier(symbol) == null) {
scope.declareIdentifier(symbol, true); // 声明标识符
} else {
warn("变量" + symbol + "已经在相同的作用域中声明", true);
}
}
token = getToken(0); // offset不自增,token.getValue()的值一般为'='或';'
assert token.getType() == Token.SEMI
|| token.getType() == Token.ASSIGN
|| token.getType() == Token.COMMA
|| token.getType() == Token.IN;
if (token.getType() == Token.IN) {
break;
} else {
parseExpression(); // 解释表达式（例如解释var a = 'u';或var a;）
token = getToken(-1); // 得到的是';'
if (token.getType() == Token.SEMI) { // 变量声明完成
break;
}
}
}
break;
case Token.FUNCTION:
parseFunctionDeclaration();
break;
case Token.LC:
braceNesting++;
break;
case Token.RC:
braceNesting--;
assert braceNesting >= scope.getBraceNesting();
if (braceNesting == scope.getBraceNesting()) { // 说明要离开当前作用域了
leaveCurrentScope(); // 离开当前作用域
return;
}
break;
case Token.WITH:
if (mode == BUILDING_SYMBOL_TREE) {
// Inside a 'with' block, it is impossible to figure out
// statically whether a symbol is a local variable or an
// object member. As a consequence, the only thing we can
// do is turn the obfuscation off for the highest scope
// containing the 'with' block.
protectScopeFromObfuscation(scope);
warn("不推荐使用with关键字。" + (munge ? " 使用with会降低压缩水平" : ""), true);
}
break;
case Token.CATCH:
parseCatch();
break;
case Token.CONDCOMMENT:
if (mode == BUILDING_SYMBOL_TREE) {
protectScopeFromObfuscation(scope);
warn("不推荐使用JScript条件注释。" + (munge ? "使用JScript条件解释会降低压缩水平。" : ""), true);
}
break;
case Token.NAME:
symbol = token.getValue();
if (mode == BUILDING_SYMBOL_TREE) {
if (symbol.equals("eval")) {
protectScopeFromObfuscation(scope);
warn("不推荐使用'eval'关键字。" + (munge ? "使用'eval'会降低压缩水平！" : ""), true);
}
} else if (mode == CHECKING_SYMBOL_TREE) {
if ((offset < 2 || getToken(-2).getType() != Token.DOT)
&& getToken(0).getType() != Token.OBJECTLIT) {
identifier = getIdentifier(symbol, scope);
if (identifier == null) {
if (symbol.length() <= 3 && !builtin.contains(symbol)) {
// Here, we found an undeclared and
// un-namespaced symbol that is
// 3 characters or less in length. Declare it in
// the global scope.
// We don't need to declare longer symbols since
// they won't cause
// any conflict with other munged symbols.
globalScope.declareIdentifier(symbol, false);
// warn("Found an undeclared symbol: " + symbol,
// true);
}
} else {
identifier.incrementRefcount();
}
}
}
break;
}
}
}
private void parseExpression() {
// Parse the expression until we encounter a comma or a semi-colon
// in the same brace nesting, bracket nesting（方括号嵌套） and paren nesting.
// Parse functions if any...
String symbol;
JavaScriptToken token;
ScriptOrFnScope currentScope;
JavaScriptIdentifier identifier;
int expressionBraceNesting = braceNesting; // 花括号嵌套
int bracketNesting = 0; // 方括号嵌套
int parensNesting = 0; //
int length = tokens.size();
while (offset < length) {
token = consumeToken();
currentScope = getCurrentScope(); // return scopes.peek();
switch (token.getType()) {
case Token.SEMI:
case Token.COMMA:
if (braceNesting == expressionBraceNesting && bracketNesting == 0 && parensNesting == 0) {
return;
}
break;
case Token.FUNCTION:
parseFunctionDeclaration();
break;
case Token.LC:
braceNesting++;
break;
case Token.RC:
braceNesting--;
assert braceNesting >= expressionBraceNesting;
break;
case Token.LB:
bracketNesting++;
break;
case Token.RB:
bracketNesting--;
break;
case Token.LP:
parensNesting++;
break;
case Token.RP:
parensNesting--;
break;
case Token.CONDCOMMENT:
if (mode == BUILDING_SYMBOL_TREE) {
protectScopeFromObfuscation(currentScope);
warn("不推荐使用JScript条件注释。" + (munge ? "使用JScript条件注释会降低压缩水平！" : ""), true);
}
break;
case Token.NAME:
symbol = token.getValue();
if (mode == BUILDING_SYMBOL_TREE) {
if (symbol.equals("eval")) {
protectScopeFromObfuscation(currentScope);
warn("不推荐使用'eval'关键字。" + (munge ? "使用'eval'会降低压缩水平！" : ""), true);
}
} else if (mode == CHECKING_SYMBOL_TREE) {
if ((offset < 2
|| (getToken(-2).getType() != Token.DOT
&& getToken(-2).getType() != Token.GET
&& getToken(-2).getType() != Token.SET))
&& getToken(0).getType() != Token.OBJECTLIT) {
identifier = getIdentifier(symbol, currentScope);
if (identifier == null) {
if (symbol.length() <= 3 && !builtin.contains(symbol)) {
// Here, we found an undeclared and
// un-namespaced symbol that is
// 3 characters or less in length. Declare it in
// the global scope.
// We don't need to declare longer symbols since
// they won't cause
// any conflict with other munged symbols.
globalScope.declareIdentifier(symbol, false);
// I removed the warning since was only being
// done when
// for identifiers 3 chars or less, and was just
// causing
// noise for people who happen to rely on an
// externally
// declared variable that happen to be that
// short. We either
// should always warn or never warn -- the fact
// that we
// declare the short symbols in the global space
// doesn't
// change anything.
// warn("Found an undeclared symbol: " + symbol,
// true);
}
} else {
identifier.incrementRefcount();
}
}
}
break;
}
}
}
private void parseFunctionDeclaration() {
String symbol;
JavaScriptToken token;
ScriptOrFnScope currentScope, fnScope;
JavaScriptIdentifier identifier;
currentScope = getCurrentScope(); // 得到此函数声明所在的域
token = consumeToken();
// 如果是函数名（说明这种函数的声明方式是：function funName(){}）
// 否则是：var varName = function(){}
if (token.getType() == Token.NAME) {
if (mode == BUILDING_SYMBOL_TREE) {
// Get the name of the function and declare it in the current
// scope.
symbol = token.getValue(); // 得到的是函数名
if (currentScope.getIdentifier(symbol) != null) {
warn("函数" + symbol + "已经在相同的作用域中声明。", true);
}
currentScope.declareIdentifier(symbol, false); // 在本作用域中声明标识符
}
token = consumeToken(); // 得到左圆括号
}
assert token.getType() == Token.LP;
if (mode == BUILDING_SYMBOL_TREE) {
fnScope = new ScriptOrFnScope(braceNesting, currentScope); // 新建一个作用域，并把当前域传递过去最为父作用域
indexedScopes.put(new Integer(offset), fnScope); // 圆括号的下一个索引映射到函数作用域
} else {
fnScope = indexedScopes.get(new Integer(offset));
}
// Parse function arguments.解释函数参数
int argpos = 0;
while ((token = consumeToken()).getType() != Token.RP) {
assert token.getType() == Token.NAME || token.getType() == Token.COMMA;
if (token.getType() == Token.NAME && mode == BUILDING_SYMBOL_TREE) {
symbol = token.getValue();
identifier = fnScope.declareIdentifier(symbol, false);
if (symbol.equals("$super") && argpos == 0) {
// Exception for Prototype 1.6...
identifier.preventMunging();
}
argpos++;
}
}
token = consumeToken(); // 得到函数的左花括号
assert token.getType() == Token.LC;
braceNesting++;
token = getToken(0);
if (token.getType() == Token.STRING && getToken(1).getType() == Token.SEMI) {
// This is a hint. Hints are empty statements that look like
// "localvar1:nomunge, localvar2:nomunge"; They allow developers
// to prevent specific symbols from getting obfuscated (some heretic
// implementations, such as Prototype 1.6, require specific variable
// names, such as $super for example, in order to work
// appropriately.
// Note: right now, only "nomunge" is supported in the right hand
// side
// of a hint. However, in the future, the right hand side(右边) may
// contain
// other values.
consumeToken();
String hints = token.getValue();
// Remove the leading and trailing quotes...
hints = hints.substring(1, hints.length() - 1).trim();
StringTokenizer st1 = new StringTokenizer(hints, ","); // Tokenizer分词器,以','为分词界限
while (st1.hasMoreTokens()) {
String hint = st1.nextToken();
int idx = hint.indexOf(':');
if (idx <= 0 || idx >= hint.length() - 1) {
if (mode == BUILDING_SYMBOL_TREE) {
// No need to report the error twice, hence the test...
warn("提示语句有语法错误：" + hint, true);
}
break;
}
String variableName = hint.substring(0, idx).trim();
String variableType = hint.substring(idx + 1).trim();
if (mode == BUILDING_SYMBOL_TREE) {
fnScope.addHint(variableName, variableType);
} else if (mode == CHECKING_SYMBOL_TREE) {
identifier = fnScope.getIdentifier(variableName);
if (identifier != null) {
if (variableType.equals("nomunge")) {
identifier.preventMunging();
} else {
warn("不支持的提示指令： " + hint, true);
}
} else {
warn("提示指令指向未知的标识符: " + hint, true);
}
}
}
}
parseScope(fnScope); // 解释函数域
}
public Vector<Vector<String>> getOriginalValue() {
Vector<Vector<String>> vt = new Vector<Vector<String>>();
globalScope.getOriginalValue(vt, scopeSymbolMaping);
return vt;
}
public String printMungeMapping() {
StringBuffer sb = new StringBuffer();
globalScope.getFullMapping(sb, "");
return sb.toString();
}
public StringBuffer printSymbolTree(int linebreakpos, boolean preserveAllSemiColons)
throws IOException {
offset = 0;
braceNesting = 0;
scopes.clear();
String symbol;
JavaScriptToken token;
// begin
if (tokens.size() == 0) {
StringBuffer result = new StringBuffer();
return result;
}
// end
JavaScriptToken lastToken = getToken(0);
ScriptOrFnScope currentScope;
JavaScriptIdentifier identifier;
int length = tokens.size(); // 文本的长度
StringBuffer result = new StringBuffer();
int linestartpos = 0;
enterScope(globalScope); // 将globalScope压入栈scopes中
while (offset < length) {
token = consumeToken();
symbol = token.getValue();
currentScope = getCurrentScope();
switch (token.getType()) {
case Token.GET:
case Token.SET:
lastToken = token; // 注意没有break;
case Token.NAME:
if (offset >= 2 && getToken(-2).getType() == Token.DOT
|| getToken(0).getType() == Token.OBJECTLIT) {
result.append(symbol);
} else {
identifier = getIdentifier(symbol, currentScope);
if (identifier != null) {
if (identifier.getMungedValue() != null) {
result.append(identifier.getMungedValue());
} else {
result.append(symbol);
}
if (currentScope != globalScope // 全局域中的变量可能被HTML文档使用，不需要发出警告
&& identifier.getRefcount() == 0) {
warn("标识符" + symbol + "已经声明但未使用 ", true);
}
} else {
result.append(symbol);
}
}
break;
case Token.REGEXP:
case Token.STRING:
result.append(symbol);
break;
case Token.NUMBER:
if (getToken(0).getType() == Token.DOT) {
// calling methods on int requires a leading dot so JS
// doesn't
// treat the method as the decimal component of a float
result.append('(');
result.append(symbol);
result.append(')');
} else {
result.append(symbol);
}
break;
case Token.ADD:
case Token.SUB:
result.append(literals.get(new Integer(token.getType())));
if (offset < length) {
token = getToken(0);
if (token.getType() == Token.INC
|| token.getType() == Token.DEC
|| token.getType() == Token.ADD
|| token.getType() == Token.DEC) {
// Handle the case x +/- ++/-- y
// We must keep a white space here. Otherwise, x +++ y
// would be
// interpreted as x ++ + y by the compiler, which is a
// bug (due
// to the implicit(隐式的) assignment being done on the
// wrong variable)
result.append(' ');
} else if (token.getType() == Token.POS && getToken(-1).getType() == Token.ADD
|| token.getType() == Token.NEG && getToken(-1).getType() == Token.SUB) {
// Handle the case x + + y and x - - y
result.append(' ');
}
}
break;
case Token.FUNCTION:
if (lastToken.getType() != Token.GET && lastToken.getType() != Token.SET) {
result.append("function");
}
lastToken = token;
token = consumeToken();
if (token.getType() == Token.NAME) {
result.append(' ');
symbol = token.getValue();
identifier = getIdentifier(symbol, currentScope);
assert identifier != null;
if (identifier.getMungedValue() != null) {
result.append(identifier.getMungedValue());
} else {
result.append(symbol);
}
if (currentScope != globalScope && identifier.getRefcount() == 0) {
warn("标识符" + symbol + "已经声明但未使用", true);
}
token = consumeToken();
}
assert token.getType() == Token.LP;
result.append('(');
currentScope = indexedScopes.get(new Integer(offset)); // 根据左圆括号的下一个索引映射得到函数作用域
enterScope(currentScope);
while ((token = consumeToken()).getType() != Token.RP) {
assert token.getType() == Token.NAME || token.getType() == Token.COMMA;
if (token.getType() == Token.NAME) {
symbol = token.getValue();
identifier = getIdentifier(symbol, currentScope);
assert identifier != null;
if (identifier.getMungedValue() != null) {
result.append(identifier.getMungedValue());
} else {
result.append(symbol);
}
} else if (token.getType() == Token.COMMA) {
result.append(',');
}
}
result.append(')');
token = consumeToken(); // 得到左花括号
assert token.getType() == Token.LC;
result.append("{"); // nomodify
braceNesting++;
token = getToken(0);
if (token.getType() == Token.STRING && getToken(1).getType() == Token.SEMI) {
// This is a hint. Skip it!
consumeToken();
consumeToken();
}
break;
case Token.RETURN:
case Token.TYPEOF:
result.append(literals.get(new Integer(token.getType())));
// No space needed after 'return' and 'typeof' when followed
// by '(', '[', '{', a string or a regexp.
if (offset < length) {
token = getToken(0);
if (token.getType() != Token.LP
&& token.getType() != Token.LB
&& token.getType() != Token.LC
&& token.getType() != Token.STRING
&& token.getType() != Token.REGEXP
&& token.getType() != Token.SEMI) {
result.append(' ');
}
}
break;
case Token.CASE:
case Token.THROW:
result.append(literals.get(new Integer(token.getType())));
// White-space needed after 'case' and 'throw' when not followed
// by a string.
if (offset < length && getToken(0).getType() != Token.STRING) {
result.append(' ');
}
break;
case Token.BREAK:
case Token.CONTINUE:
result.append(literals.get(new Integer(token.getType())));
if (offset < length && getToken(0).getType() != Token.SEMI) {
// If 'break' or 'continue' is not followed by a
// semi-colon（分号）, it must
// be followed by a label, hence(因此) the need for a white
// space.
result.append(' ');
}
break;
case Token.LC:
result.append("{"); // nomodify
braceNesting++;
break;
case Token.RC:
result.append('}');
braceNesting--;
assert braceNesting >= currentScope.getBraceNesting();
if (braceNesting == currentScope.getBraceNesting()) {
leaveCurrentScope();
}
break;
case Token.SEMI:
// No need to output a semi-colon if the next character is a
// right-curly...
if (preserveAllSemiColons || offset < length && getToken(0).getType() != Token.RC) {
result.append(';');
}
if (linebreakpos >= 0 && result.length() - linestartpos > linebreakpos) {
// Some source control tools don't like it when files
// containing lines longer
// than, say 8000 characters, are checked in. The linebreak
// option is used in
// that case to split long lines after a specific column.
result.append('\n');
linestartpos = result.length();
}
break;
case Token.COMMA:
// No need to output a comma if the next character is a
// right-curly or a right-square bracket
if (offset < length
&& getToken(0).getType() != Token.RC
&& getToken(0).getType() != Token.RB) {
result.append(',');
}
break;
case Token.CONDCOMMENT:
case Token.KEEPCOMMENT:
if (result.length() > 0 && result.charAt(result.length() - 1) != '\n') {
result.append("\n");
}
result.append("/*");
if (token.getType() == Token.KEEPCOMMENT) {
result.append("!");
}
result.append(symbol);
result.append("*/\n");
break;
// begin--这个分支用于实现压扁控制流
// 此分支将if(expression){...}else if(expression){...}else{...}转化为
// switch(expression){case true:原if块;break;case false:原else块;break;}
case Token.IF:
if (!EditOptionPanel.checkBoxFlatten.isSelected()) {
result.append(symbol);
break;
}
FlattenIF flattenIF = new FlattenIF(offset, length, tokens, currentScope);
String switchBlock = flattenIF.flattenIF();
result.append(switchBlock);
offset = flattenIF.offset;
break;
case Token.WHILE:
if (!EditOptionPanel.checkBoxOpacity.isSelected()) {
result.append(symbol);
break;
}
result.append(symbol);
OpacityPredicate opacityPredicateWhile =
new OpacityPredicate(offset, tokens, currentScope);
String whileBlock = opacityPredicateWhile.opacityPredicateWhile();
result.append(whileBlock);
offset = opacityPredicateWhile.offset;
break;
case Token.DO:
if (!EditOptionPanel.checkBoxOpacity.isSelected()) {
result.append(symbol);
break;
}
result.append(symbol);
OpacityPredicate opacityPredicateDoWhile =
new OpacityPredicate(offset, tokens, currentScope);
String doWhileBlock = opacityPredicateDoWhile.opacityPredicateDoWhile();
result.append(doWhileBlock);
offset = opacityPredicateDoWhile.offset;
break;
// end
default:
String literal = literals.get(new Integer(token.getType()));
if (literal != null) {
result.append(literal);
} else {
warn("此标志符不能被打印出来：" + symbol, true);
}
break;
}
}
// Append a semi-colon at the end, even if unnecessary semi-colons are
// supposed to be removed. This is especially useful when concatenating
// several minified files (the absence of an ending semi-colon at the
// end of one file may very likely cause a syntax error)
/*if (!preserveAllSemiColons && result.length() > 0
&& getToken(-1).getType() != Token.CONDCOMMENT
&& getToken(-1).getType() != Token.KEEPCOMMENT) {
if (result.charAt(result.length() - 1) == '\n') {
result.setCharAt(result.length() - 1, ';');
} else {
result.append(';');
}
}*/
// 暂时用不上，注释掉
return result;
}