Code coverage for Solidity smart-contracts
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.
solidity-coverage/instrumentSolidity.js

466 lines
19 KiB

8 years ago
// var SolidityParser = require("solidity-parser");
var solparse = require("solparse");
var fs = require('fs');
8 years ago
var path = require("path");
module.exports = function(pathToFile, instrumentingActive){
8 years ago
8 years ago
// var result = SolidityParser.parseFile("./" + pathToFile);
var contract = fs.readFileSync("./" + pathToFile).toString();
var result = solparse.parse(contract);
8 years ago
var instrumented = "";
const __INDENTATION__ = " ";
var parse = {};
8 years ago
var runnableLines=[];
var fnMap = {};
var fnId = 0;
8 years ago
var branchMap = {};
var branchId = 0;
var statementMap = {};
var statementId = 0;
8 years ago
var linecount = 1;
8 years ago
var fileName = path.basename(pathToFile);
var injectionPoints = {};
8 years ago
function instrumentAssignmentExpression(expression){
//The only time we instrument an assignment expression is if there's a conditional expression on
//the right
if (expression.right.type==='ConditionalExpression'){
if (expression.left.type==='DeclarativeExpression'){
//Then we need to go from bytes32 varname = (conditional expression)
//to bytes32 varname; (,varname) = (conditional expression)
if (injectionPoints[expression.left.end]){
injectionPoints[expression.left.end].push({type:"literal", string:"; (," + expression.left.name});
}else{
injectionPoints[expression.left.end] = [{type:"literal", string:"; (," + expression.left.name + ")"}];
}
}else {
console.log(expression.left)
process.exit();
}
}
}
function instrumentConditionalExpression(expression){
branchId +=1;
startline = (contract.slice(0,expression.start).match(/\n/g)||[]).length + 1;
var startcol = expression.start - contract.slice(0,expression.start).lastIndexOf('\n') -1;
consequentStartCol = startcol + expression.consequent.start - expression.start;
consequentEndCol = consequentStartCol + expression.consequent.end - expression.consequent.start;
alternateStartCol = startcol + expression.alternate.start - expression.start;
alternateEndCol = alternateStartCol + expression.alternate.end - expression.alternate.start;
//NB locations for conditional branches in istanbul are length 1 and associated with the : and ?.
branchMap[branchId] = {line:startline, type:'cond-expr', locations:[{start:{line:startline, column:consequentStartCol},end:{line:startline,column:consequentEndCol}},{start:{line:startline, column:alternateStartCol},end:{line:startline,column:alternateEndCol}}]}
//Right, this could be being used just by itself or as an assignment. In the case of the latter, because
//the comma operator doesn't exist, we're going to have to get funky.
//if we're on a line by ourselves, this is easier
//
//Now if we've got to wrap the expression it's being set equal to, do that...
//Wrap the consequent
if (injectionPoints[expression.consequent.start]){
injectionPoints[expression.consequent.start].push({type:"openParen"});
}else{
injectionPoints[expression.consequent.start] = [{type:"openParen"}];
}
injectionPoints[expression.consequent.start].push({type:"callBranchEvent",comma:true, branchId: branchId, locationIdx: 0});
if (injectionPoints[expression.consequent.end]){
injectionPoints[expression.consequent.end].push({type:"closeParen"});
}else{
injectionPoints[expression.consequent.end] = [{type:"closeParen"}];
}
//Wrap the alternate
if (injectionPoints[expression.alternate.start]){
injectionPoints[expression.alternate.start].push({type:"openParen"});
}else{
injectionPoints[expression.alternate.start] = [{type:"openParen"}];
}
injectionPoints[expression.alternate.start].push({type:"callBranchEvent",comma:true, branchId: branchId, locationIdx: 1});
if (injectionPoints[expression.alternate.end]){
injectionPoints[expression.alternate.end].push({type:"closeParen"});
}else{
injectionPoints[expression.alternate.end] = [{type:"closeParen"}];
}
}
function instrumentStatement(expression){
canCover = false;
//Can only instrument here if this is a self-contained statement
//So if this is the start of the line, we're good
if ( contract.slice(contract.slice(0,expression.start).lastIndexOf('\n'), expression.start).trim().length===0 ){
canCover=true;
}
//If it's preceeded by a '{', we're good
if ( contract.slice(contract.slice(0,expression.start).lastIndexOf('{')+1, expression.start).trim().length===0 ){
canCover=true;
}
//If it's preceeded by a ';', we're good
if ( contract.slice(contract.slice(0,expression.start).lastIndexOf(';')+1, expression.start).trim().length===0 ){
canCover=true;
}
if (!canCover){return;}
//We need to work out the lines and columns the expression starts and ends
statementId +=1;
linecount = (contract.slice(0,expression.start).match(/\n/g)||[]).length + 1;
var startline = linecount;
var startcol = expression.start - contract.slice(0,expression.start).lastIndexOf('\n') -1;
var expressionContent = contract.slice(expression.start, expression.end);
var endline = startline + (expressionContent.match('/\n/g') || []).length ;
var endcol;
if (expressionContent.lastIndexOf('\n')>=0){
endcol = contract.slice(expressionContent.lastIndexOf('\n'), expression.end).length -1;
}else{
endcol = startcol + expressionContent.length -1;
}
statementMap[statementId] = {start:{line: startline, column:startcol},end:{line:endline, column:endcol}}
if (injectionPoints[expression.start]){
injectionPoints[expression.start].push({type:"statement", statementId: statementId});
}else{
injectionPoints[expression.start] = [{type:"statement", statementId: statementId}];
}
}
function instrumentLine(expression){
//what's the position of the most recent newline?
var startchar = expression.start
var endchar = expression.end
lastNewLine = contract.slice(0, startchar).lastIndexOf('\n');
nextNewLine = startchar + contract.slice(startchar).indexOf('\n');
var contractSnipped = contract.slice(lastNewLine, nextNewLine);
//Remove comments
while (contractSnipped.trim().slice(0,2)==='//'){
contractSnipped.replace(/\/\/.*?/g,"");
}
// Is everything before us and after us on this line whitespace?
if (contract.slice(lastNewLine, startchar).trim().length===0 && contract.slice(endchar,nextNewLine).replace(';','').trim().length===0){
if (injectionPoints[lastNewLine+1]){
injectionPoints[lastNewLine+1].push({type:"callEvent"});
}else{
injectionPoints[lastNewLine+1] = [{type:"callEvent"}];
}
}
}
8 years ago
function instrumentFunctionDeclaration(expression){
fnId+=1;
linecount = (contract.slice(0,expression.start).match(/\n/g)||[]).length + 1;
//We need to work out the lines and columns the function declaration starts and ends
var startline = linecount;
var startcol = expression.start - contract.slice(0,expression.start).lastIndexOf('\n') -1;
var endlineDelta = contract.slice(expression.start).indexOf('{')+1;
var functionDefinition = contract.slice(expression.start, expression.start + endlineDelta);
var endline = startline + (functionDefinition.match(/\n/g)||[]).length;
var endcol = functionDefinition.length - functionDefinition.lastIndexOf('\n')
fnMap[fnId] = {name: expression.name, line: linecount, loc:{start:{line: startline, column:startcol},end:{line:endline, column:endcol}}}
if (injectionPoints[expression.start + endlineDelta +1]){
injectionPoints[expression.start + endlineDelta +1].push({type: "callFunctionEvent", fnId: fnId});
}else{
injectionPoints[expression.start + endlineDelta +1] = [{type: "callFunctionEvent", fnId: fnId}];
}
}
function instrumentIfStatement(expression){
branchId +=1;
startline = (contract.slice(0,expression.start).match(/\n/g)||[]).length + 1;
var startcol = expression.start - contract.slice(0,expression.start).lastIndexOf('\n') -1;
//NB locations for if branches in istanbul are zero length and associated with the start of the if.
branchMap[branchId] = {line:linecount, type:'if', locations:[{start:{line:startline, column:startcol},end:{line:startline,column:startcol}},{start:{line:startline, column:startcol},end:{line:startline,column:startcol}}]}
if (injectionPoints[expression.consequent.start+1]){
injectionPoints[expression.consequent.start+1].push({type: "callBranchEvent", branchId: branchId, locationIdx: 0})
}else{
injectionPoints[expression.consequent.start+1] = [{type: "callBranchEvent", branchId: branchId, locationIdx: 0}];
}
if (expression.alternate && expression.alternate.type==='IfStatement'){
if (injectionPoints[expression.alternate.start]){
injectionPoints[expression.alternate.start].push({type: "callBranchEvent", branchId: branchId, locationIdx:1, openBracket: true});
}else{
injectionPoints[expression.alternate.start] = [{type: "callBranchEvent", branchId: branchId, locationIdx:1, openBracket: true}];
}
if (injectionPoints[expression.alternate.end]){
injectionPoints[expression.alternate.end].push({type: "closeBracket"});
}else{
injectionPoints[expression.alternate.end] = [{type: "closeBracket"}];
}
8 years ago
//It should get instrumented when we parse it
} else if (expression.alternate){
if (injectionPoints[expression.alternate.start+1]){
injectionPoints[expression.alternate.start+1].push({type: "callBranchEvent", branchId: branchId, locationIdx: 1});
}else{
injectionPoints[expression.alternate.start+1] = [{type: "callBranchEvent", branchId: branchId, locationIdx: 1}];
}
} else {
if (injectionPoints[expression.consequent.end]){
injectionPoints[expression.consequent.end].push({type: "callEmptyBranchEvent", branchId: branchId, locationIdx: 1});
8 years ago
}else{
injectionPoints[expression.consequent.end] = [{type: "callEmptyBranchEvent", branchId: branchId, locationIdx: 1}];
8 years ago
}
}
}
8 years ago
parse["AssignmentExpression"] = function (expression, instrument){
if (instrument){instrumentStatement(expression)}
if (instrument){instrumentAssignmentExpression(expression)}
parse[expression.left.type](expression.left, instrument);
parse[expression.right.type](expression.right, instrument);
8 years ago
}
parse["ConditionalExpression"] = function(expression, instrument){
if (instrument){ instrumentConditionalExpression(expression); }
parse[expression.test.left.type](expression.test.left, instrument);
parse[expression.test.right.type](expression.test.right,instrument);
parse[expression.consequent.type](expression.consequent, instrument)
parse[expression.alternate.type](expression.alternate,instrument);
8 years ago
}
parse["Identifier"] = function(expression, instrument){
8 years ago
}
parse["InformalParameter"] = function(expression, instrument){
8 years ago
}
parse["Literal"] = function(expression, instrument){
8 years ago
}
8 years ago
parse["ModifierName"] = function(expression, instrument){
8 years ago
};
parse["Modifiers"] = function(modifiers, instrument){
8 years ago
for (x in modifiers){
parse[modifiers[x].type](modifiers[x], instrument);
8 years ago
}
}
parse["ThisExpression"] = function(expression, instrument){
8 years ago
}
parse["ReturnStatement"] = function(expression, instrument){
if (instrument){instrumentStatement(expression)}
parse[expression.argument.type](expression.argument, instrument);
8 years ago
}
parse["NewExpression"] = function(expression, instrument){
parse[expression.callee.type](expression.callee, instrument);
8 years ago
for (x in expression.arguments){
parse[expression.arguments[x].type](expression.arguments[x], instrument)
8 years ago
}
8 years ago
}
parse["MemberExpression"] = function (expression, instrument){
parse[expression.object.type](expression.object, instrument);
parse[expression.property.type](expression.property, instrument);
8 years ago
}
parse["CallExpression"] = function (expression,instrument){
if (instrument){instrumentStatement(expression)}
parse[expression.callee.type](expression.callee, instrument);
8 years ago
for (x in expression.arguments){
parse[expression.arguments[x].type](expression.arguments[x], instrument)
8 years ago
}
}
parse["UnaryExpression"] = function(expression, instrument){
parse[expression.argument.type](expression.argument, instrument);
8 years ago
}
parse["ThrowStatement"] = function(expression, instrument){
if (instrument){instrumentStatement(expression)}
8 years ago
}
parse["BinaryExpression"] = function(expression, instrument){
parse[expression.left.type](expression.left, instrument)
parse[expression.right.type](expression.right, instrument)
8 years ago
}
8 years ago
parse["IfStatement"] = function(expression, instrument){
if (instrument){instrumentStatement(expression)}
8 years ago
if (instrument) {instrumentIfStatement(expression)}
parse[expression.test.type](expression.test, instrument)
parse[expression.consequent.type](expression.consequent, instrument)
8 years ago
if (expression.alternate){
parse[expression.alternate.type](expression.alternate, instrument)
8 years ago
}
}
parse["SequenceExpression"] = function(expression, instrument){
parse[expression.expressions[x].type](expression.expressions[x], instrument) + ', ';
8 years ago
}
parse["ImportStatement"] = function(expression, instrument){
8 years ago
}
parse["DeclarativeExpression"] = function(expression, instrument){
8 years ago
}
parse["ExpressionStatement"] = function(content, instrument){
// if (instrument){instrumentStatement(content.expression)}
parse[content.expression.type](content.expression, instrument);
8 years ago
}
parse["EnumDeclaration"] = function(expression, instrument){
8 years ago
}
parse["EventDeclaration"]=function(expression, instrument){
8 years ago
}
parse["VariableDeclarationTuple"] = function(expression, instrument){
parse[expression.init.type](expression.init, instrument)
8 years ago
}
parse["BlockStatement"] = function(expression, instrument){
for (var x=0; x < expression.body.length; x++){
if (instrument){ instrumentLine(expression.body[x]); }
parse[expression.body[x].type](expression.body[x], instrument);
8 years ago
}
}
parse["VariableDeclaration"] = function(expression, instrument){
if (instrument){instrumentStatement(expression)}
8 years ago
if (expression.declarations.length>1){
console.log('more than one declaration')
}
parse[expression.declarations[0].id.type](expression.declarations[0].id, instrument);
parse[expression.declarations[0].init.type](expression.declarations[0].init, instrument);
8 years ago
}
parse["Type"] = function(expression, instrument){
8 years ago
}
parse["UsingStatement"] = function(expression, instrument){
parse[expression.for.type](expression.for, instrument)
8 years ago
}
parse["FunctionDeclaration"] = function(expression, instrument){
parse["Modifiers"](expression.modifiers, instrument);
8 years ago
if (expression.body){
8 years ago
instrumentFunctionDeclaration(expression);
parse[expression.body.type](expression.body, instrumentingActive);
8 years ago
}
8 years ago
}
parse["ContractStatement"] = function(expression, instrument){
//Inject our coverage event if we're covering
if (instrumentingActive){
//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.
8 years ago
var injectionPoint = expression.start + contract.slice(expression.start).indexOf('{')+2;
if (injectionPoints[injectionPoint]){
injectionPoints[expression.start + contract.slice(expression.start).indexOf('{')+2].push({type:"eventDefinition"});
}else{
injectionPoints[expression.start + contract.slice(expression.start).indexOf('{')+2] = [{type:"eventDefinition"}];
8 years ago
}
}
for (x in expression.body){
parse[expression.body[x].type](expression.body[x], instrument);
}
}
parse["LibraryStatement"] = function(expression, instrument){
//Inject our coverage event;
if(instrumentingActive){
//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.
8 years ago
var injectionPoint = expression.start + contract.slice(expression.start).indexOf('{')+2;
if (injectionPoints[injectionPoint]){
injectionPoints[expression.start + contract.slice(expression.start).indexOf('{')+2].push({type:"eventDefinition"});
}else{
injectionPoints[expression.start + contract.slice(expression.start).indexOf('{')+2] = [{type:"eventDefinition"}];
8 years ago
}
}
for (x in expression.body){
parse[expression.body[x].type](expression.body[x], instrument);
}
}
parse["ModifierDeclaration"] = function(expression, instrument){
8 years ago
instrumentFunctionDeclaration(expression);
parse[expression.body.type](expression.body, instrumentingActive);
}
parse["Program"] = function(expression, instrument){
for (x in expression.body){
parse[expression.body[x].type](expression.body[x], instrument);
}
8 years ago
}
var instrumented = parse[result.type](result);
//We have to iterate through these injection points in descending order to not mess up
//the injection process.
var sortedPoints = Object.keys(injectionPoints).sort(function(a,b){return a-b});
for (x = sortedPoints.length-1; x>=0; x--){
injectionPoint = sortedPoints[x];
//Line instrumentation has to happen first
injectionPoints[injectionPoint].sort(function(a,b){
var eventTypes = ["openParen", "closeBracket","callBranchEvent","callEvent"];
return eventTypes.indexOf(b.type) - eventTypes.indexOf(a.type);
});
8 years ago
for (y in injectionPoints[injectionPoint]){
injection = injectionPoints[injectionPoint][y];
if (injection.type==='callEvent'){
linecount = (contract.slice(0, injectionPoint).match(/\n/g)||[]).length+1;
8 years ago
runnableLines.push(linecount);
contract = contract.slice(0, injectionPoint) + "Coverage('" + fileName + "'," + linecount + ");\n" + contract.slice(injectionPoint);
}else if (injection.type==='callFunctionEvent'){
contract = contract.slice(0, injectionPoint) + "FunctionCoverage('" + fileName + "'," + injection.fnId + ");\n" + contract.slice(injectionPoint);
}else if (injection.type==='callBranchEvent'){
contract = contract.slice(0, injectionPoint) + (injection.openBracket? '{' : '') + "BranchCoverage('" + fileName + "'," + injection.branchId + "," + injection.locationIdx + ")" + (injection.comma ? ',' : ";") + "\n" + contract.slice(injectionPoint);
8 years ago
}else if (injection.type==='callEmptyBranchEvent'){
contract = contract.slice(0, injectionPoint) + "else { BranchCoverage('" + fileName + "'," + injection.branchId + "," + injection.locationIdx + ");}\n" + contract.slice(injectionPoint);
}else if (injection.type==='openParen'){
contract = contract.slice(0, injectionPoint) + "(" + contract.slice(injectionPoint);
}else if (injection.type==='closeParen'){
contract = contract.slice(0, injectionPoint) + ")" + contract.slice(injectionPoint);
}else if (injection.type==='closeBracket'){
contract = contract.slice(0, injectionPoint) + "}" + contract.slice(injectionPoint);
}else if (injection.type==='literal'){
contract = contract.slice(0, injectionPoint) + injection.string + contract.slice(injectionPoint);
}else if (injection.type==='statement'){
contract = contract.slice(0, injectionPoint) + " StatementCoverage('" + fileName + "'," + injection.statementId + ");\n" + contract.slice(injectionPoint);
8 years ago
}else{
console.log(injection.type);
contract = contract.slice(0, injectionPoint) + "event Coverage(string fileName, uint256 lineNumber);\nevent FunctionCoverage(string fileName, uint256 fnId);\nevent StatementCoverage(string fileName, uint256 statementId);\nevent BranchCoverage(string fileName, uint256 branchId, uint256 locationIdx);\n" + contract.slice(injectionPoint);
8 years ago
}
8 years ago
}
}
return {contract: contract, runnableLines: runnableLines, fnMap: fnMap, branchMap: branchMap, statementMap: statementMap};
}
8 years ago