You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
236 lines
8.1 KiB
236 lines
8.1 KiB
const parse = {};
|
|
const instrumenter = require('./instrumenter');
|
|
|
|
// All the functions in this file do is walk the AST and call the instrumenter
|
|
// functions where appropriate, which determine where to inject events.
|
|
|
|
// Assign a dummy function to everything we might see in the AST
|
|
['AssemblyAssignment',
|
|
'AssemblyItem',
|
|
'AssemblyLocalBinding',
|
|
'AssignmentExpression',
|
|
'BinaryExpression',
|
|
'BlockStatement',
|
|
'BreakStatement',
|
|
'CallExpression',
|
|
'ConditionalExpression',
|
|
'ContinueStatement',
|
|
'ContractStatement',
|
|
'DebuggerStatement',
|
|
'DeclarativeExpression',
|
|
'DeclarativeExpressionList',
|
|
'DenominationLiteral',
|
|
'DoWhileStatement',
|
|
'EmptyStatement',
|
|
'EnumDeclaration',
|
|
'EventDeclaration',
|
|
'ExpressionStatement',
|
|
'ForInStatement',
|
|
'ForStatement',
|
|
'FunctionalAssemblyExpression',
|
|
'FunctionDeclaration',
|
|
'FunctionName',
|
|
'Identifier',
|
|
'IfStatement',
|
|
'ImportStatement',
|
|
'InformalParameter',
|
|
'InlineAssemblyBlock',
|
|
'InlineAssemblyStatement',
|
|
'IsStatement',
|
|
'LibraryStatement',
|
|
'Literal',
|
|
'MappingExpression',
|
|
'MemberExpression',
|
|
'ModifierArgument',
|
|
'ModifierDeclaration',
|
|
'ModifierName',
|
|
'Modifiers',
|
|
'NewExpression',
|
|
'PlaceholderStatement',
|
|
'PragmaStatement',
|
|
'Program',
|
|
'ReturnStatement',
|
|
'SequenceExpression',
|
|
'StateVariableDeclaration',
|
|
'StructDeclaration',
|
|
'ThisExpression',
|
|
'ThrowStatement',
|
|
'Type',
|
|
'UnaryExpression',
|
|
'UpdateExpression',
|
|
'UsingStatement',
|
|
'VariableDeclaration',
|
|
'VariableDeclarationTuple',
|
|
'VariableDeclarator',
|
|
'WhileStatement'].forEach(key => {
|
|
parse[key] = function dummyFunction() {};
|
|
});
|
|
|
|
// Override the dummy functions where we know we can do better.
|
|
|
|
parse.AssignmentExpression = function parseAssignmentExpression(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
instrumenter.instrumentAssignmentExpression(contract, expression);
|
|
// parse[expression.left.type](contract, expression.left);
|
|
// parse[expression.right.type](contract, expression.right);
|
|
};
|
|
|
|
parse.ConditionalExpression = function parseConditionalExpression(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
instrumenter.instrumentConditionalExpression(contract, expression);
|
|
// parse[expression.test.left.type](contract, expression.test.left);
|
|
// parse[expression.test.right.type](contract, expression.test.right);
|
|
// parse[expression.consequent.type](contract, expression.consequent);
|
|
// parse[expression.alternate.type](contract, expression.alternate);
|
|
};
|
|
|
|
parse.Modifiers = function parseModifier(contract, modifiers) {
|
|
if (modifiers) {
|
|
modifiers.forEach(modifier => {
|
|
parse[modifier.type](contract, modifier);
|
|
});
|
|
}
|
|
};
|
|
|
|
parse.ReturnStatement = function parseReturnStatement(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
// if (expression.argument){
|
|
// parse[expression.argument.type](contract, expression.argument);
|
|
// }
|
|
};
|
|
|
|
parse.NewExpression = function parseNewExpression(contract, expression) {
|
|
parse[expression.callee.type](contract, expression.callee);
|
|
// expression.arguments.forEach(construct => {
|
|
// parse[construct.type](construct);
|
|
// });
|
|
};
|
|
|
|
parse.MemberExpression = function parseMemberExpression(contract, expression) {
|
|
parse[expression.object.type](contract, expression.object);
|
|
// parse[expression.property.type](contract, expression.property);
|
|
};
|
|
|
|
parse.CallExpression = function parseCallExpression(contract, expression) {
|
|
// It looks like in any given chain of call expressions, only the head callee is an Identifier
|
|
// node ... and we only want to instrument the statement once.
|
|
if (expression.callee.type === 'Identifier') {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
parse[expression.callee.type](contract, expression.callee);
|
|
} else {
|
|
parse[expression.callee.type](contract, expression.callee);
|
|
}
|
|
};
|
|
|
|
parse.UnaryExpression = function parseUnaryExpression(contract, expression) {
|
|
parse[expression.argument.type](contract, expression.argument);
|
|
};
|
|
|
|
parse.ThrowStatement = function parseThrowStatement(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
};
|
|
|
|
parse.IfStatement = function parseIfStatement(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
instrumenter.instrumentIfStatement(contract, expression);
|
|
// We can't instrument
|
|
// if (x==1)
|
|
//
|
|
// So don't count x==1 as a statement - just the if as a whole.
|
|
// parse[expression.test.type](contract, expression.test)
|
|
parse[expression.consequent.type](contract, expression.consequent);
|
|
if (expression.alternate) {
|
|
parse[expression.alternate.type](contract, expression.alternate);
|
|
}
|
|
};
|
|
|
|
parse.ExpressionStatement = function parseExpressionStatement(contract, content) {
|
|
// if (instrument){instrumentStatement(content.expression)}
|
|
parse[content.expression.type](contract, content.expression);
|
|
};
|
|
|
|
parse.VariableDeclarationTuple = function parseVariableDeclarationTuple(contract, expression) {
|
|
parse[expression.init.type](contract, expression.init);
|
|
};
|
|
|
|
parse.BlockStatement = function parseBlockStatement(contract, expression) {
|
|
for (let x = 0; x < expression.body.length; x++) {
|
|
instrumenter.instrumentLine(contract, expression.body[x]);
|
|
parse[expression.body[x].type](contract, expression.body[x]);
|
|
}
|
|
};
|
|
|
|
parse.VariableDeclaration = function parseVariableDeclaration(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
if (expression.declarations.length > 1) {
|
|
console.log('more than one declaration');
|
|
}
|
|
parse[expression.declarations[0].id.type](contract, expression.declarations[0].id);
|
|
// parse[expression.declarations[0].init.type](contract, expression.declarations[0].init);
|
|
};
|
|
|
|
parse.UsingStatement = function parseUsingStatement(contract, expression) {
|
|
parse[expression.for.type](contract, expression.for);
|
|
};
|
|
|
|
parse.FunctionDeclaration = function parseFunctionDeclaration(contract, expression) {
|
|
parse.Modifiers(contract, expression.modifiers);
|
|
if (expression.body) {
|
|
instrumenter.instrumentFunctionDeclaration(contract, expression);
|
|
parse[expression.body.type](contract, expression.body);
|
|
}
|
|
};
|
|
|
|
parse.ContractOrLibraryStatement = function parseContractOrLibraryStatement(contract, expression) {
|
|
// Inject our coverage event if we're covering
|
|
// This is harder because of where .start and .end represent, and how documented comments are validated
|
|
// by solc upon compilation. From the start of this contract statement, find the first '{', and inject
|
|
// there.
|
|
const injectionPoint = expression.start + contract.instrumented.slice(expression.start).indexOf('{') + 2;
|
|
if (contract.injectionPoints[injectionPoint]) {
|
|
contract.injectionPoints[expression.start + contract.instrumented.slice(expression.start).indexOf('{') + 2].push({
|
|
type: 'eventDefinition',
|
|
});
|
|
} else {
|
|
contract.injectionPoints[expression.start + contract.instrumented.slice(expression.start).indexOf('{') + 2] = [{
|
|
type: 'eventDefinition',
|
|
}];
|
|
}
|
|
|
|
if (expression.body) {
|
|
expression.body.forEach(construct => {
|
|
parse[construct.type](contract, construct);
|
|
});
|
|
}
|
|
};
|
|
|
|
parse.ContractStatement = function ParseContractStatement(contract, expression) {
|
|
parse.ContractOrLibraryStatement(contract, expression);
|
|
};
|
|
|
|
parse.LibraryStatement = function parseLibraryStatement(contract, expression) {
|
|
parse.ContractOrLibraryStatement(contract, expression);
|
|
};
|
|
|
|
parse.ModifierDeclaration = function parseModifierDeclaration(contract, expression) {
|
|
instrumenter.instrumentFunctionDeclaration(contract, expression);
|
|
parse[expression.body.type](contract, expression.body);
|
|
};
|
|
|
|
parse.Program = function parseProgram(contract, expression) {
|
|
expression.body.forEach(construct => {
|
|
parse[construct.type](contract, construct);
|
|
});
|
|
};
|
|
|
|
parse.WhileStatement = function parseWhileStatement(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
parse[expression.body.type](contract, expression.body);
|
|
};
|
|
|
|
parse.ForStatement = function parseForStatement(contract, expression) {
|
|
instrumenter.instrumentStatement(contract, expression);
|
|
parse[expression.body.type](contract, expression.body);
|
|
};
|
|
|
|
module.exports = parse;
|
|
|