|
|
@ -5,8 +5,6 @@ var utils = require('../../src/app/utils') |
|
|
|
|
|
|
|
|
|
|
|
// #################### helpers Test
|
|
|
|
// #################### helpers Test
|
|
|
|
|
|
|
|
|
|
|
|
// #################### helpers Test
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
test('staticAnalysisCommon.helpers.buildFunctionSignature', function (t) { |
|
|
|
test('staticAnalysisCommon.helpers.buildFunctionSignature', function (t) { |
|
|
|
t.plan(7) |
|
|
|
t.plan(7) |
|
|
|
|
|
|
|
|
|
|
@ -1068,7 +1066,6 @@ test('staticAnalysisCommon.isInlineAssembly', function (t) { |
|
|
|
|
|
|
|
|
|
|
|
// #################### Complex Node Identification
|
|
|
|
// #################### Complex Node Identification
|
|
|
|
|
|
|
|
|
|
|
|
<<<<<<< c916b65ad0663d676ef59882cc7f19bff322aea9 |
|
|
|
|
|
|
|
test('staticAnalysisCommon.isBuiltinFunctionCall', function (t) { |
|
|
|
test('staticAnalysisCommon.isBuiltinFunctionCall', function (t) { |
|
|
|
t.plan(2) |
|
|
|
t.plan(2) |
|
|
|
var selfdestruct = { |
|
|
|
var selfdestruct = { |
|
|
@ -1122,8 +1119,6 @@ test('staticAnalysisCommon.isBuiltinFunctionCall', function (t) { |
|
|
|
t.notOk(common.isBuiltinFunctionCall(localCall), 'local call is not builtin') |
|
|
|
t.notOk(common.isBuiltinFunctionCall(localCall), 'local call is not builtin') |
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
======= |
|
|
|
|
|
|
|
>>>>>>> Static Analysis: more unit tests |
|
|
|
|
|
|
|
test('staticAnalysisCommon.isStorageVariableDeclaration', function (t) { |
|
|
|
test('staticAnalysisCommon.isStorageVariableDeclaration', function (t) { |
|
|
|
t.plan(3) |
|
|
|
t.plan(3) |
|
|
|
var node1 = { |
|
|
|
var node1 = { |
|
|
@ -1580,34 +1575,17 @@ test('staticAnalysisCommon.isCallToNonConstLocalFunction', function (t) { |
|
|
|
'type': 'function (struct Ballot.Voter storage pointer)', |
|
|
|
'type': 'function (struct Ballot.Voter storage pointer)', |
|
|
|
'value': 'bli' |
|
|
|
'value': 'bli' |
|
|
|
}, |
|
|
|
}, |
|
|
|
<<<<<<< c916b65ad0663d676ef59882cc7f19bff322aea9 |
|
|
|
|
|
|
|
'name': 'Identifier' |
|
|
|
'name': 'Identifier' |
|
|
|
======= |
|
|
|
|
|
|
|
'id': 37, |
|
|
|
|
|
|
|
'name': 'Identifier', |
|
|
|
|
|
|
|
'src': '540:3:0' |
|
|
|
|
|
|
|
>>>>>>> Static Analysis: more unit tests |
|
|
|
|
|
|
|
}, |
|
|
|
}, |
|
|
|
{ |
|
|
|
{ |
|
|
|
'attributes': { |
|
|
|
'attributes': { |
|
|
|
'type': 'struct Ballot.Voter storage pointer', |
|
|
|
'type': 'struct Ballot.Voter storage pointer', |
|
|
|
'value': 'x' |
|
|
|
'value': 'x' |
|
|
|
}, |
|
|
|
}, |
|
|
|
<<<<<<< c916b65ad0663d676ef59882cc7f19bff322aea9 |
|
|
|
|
|
|
|
'name': 'Identifier' |
|
|
|
'name': 'Identifier' |
|
|
|
} |
|
|
|
} |
|
|
|
], |
|
|
|
], |
|
|
|
'name': 'FunctionCall' |
|
|
|
'name': 'FunctionCall' |
|
|
|
======= |
|
|
|
|
|
|
|
'id': 38, |
|
|
|
|
|
|
|
'name': 'Identifier', |
|
|
|
|
|
|
|
'src': '544:1:0' |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
], |
|
|
|
|
|
|
|
'id': 39, |
|
|
|
|
|
|
|
'name': 'FunctionCall', |
|
|
|
|
|
|
|
'src': '540:6:0' |
|
|
|
|
|
|
|
>>>>>>> Static Analysis: more unit tests |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
t.ok(common.isCallToNonConstLocalFunction(node1), 'should be call to non const Local func') |
|
|
|
t.ok(common.isCallToNonConstLocalFunction(node1), 'should be call to non const Local func') |
|
|
@ -1662,7 +1640,6 @@ test('staticAnalysisCommon.isBlockTimestampAccess', function (t) { |
|
|
|
t.notOk(common.isNowAccess(node), 'is now used should not work') |
|
|
|
t.notOk(common.isNowAccess(node), 'is now used should not work') |
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
<<<<<<< c916b65ad0663d676ef59882cc7f19bff322aea9 |
|
|
|
|
|
|
|
test('staticAnalysisCommon.isBlockBlockhashAccess', function (t) { |
|
|
|
test('staticAnalysisCommon.isBlockBlockhashAccess', function (t) { |
|
|
|
t.plan(4) |
|
|
|
t.plan(4) |
|
|
|
var node = { |
|
|
|
var node = { |
|
|
@ -1688,8 +1665,6 @@ test('staticAnalysisCommon.isBlockBlockhashAccess', function (t) { |
|
|
|
t.notOk(common.isNowAccess(node), 'is now used should not work') |
|
|
|
t.notOk(common.isNowAccess(node), 'is now used should not work') |
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
======= |
|
|
|
|
|
|
|
>>>>>>> Static Analysis: more unit tests |
|
|
|
|
|
|
|
test('staticAnalysisCommon.isThisLocalCall', function (t) { |
|
|
|
test('staticAnalysisCommon.isThisLocalCall', function (t) { |
|
|
|
t.plan(3) |
|
|
|
t.plan(3) |
|
|
|
var node = { name: 'MemberAccess', children: [{attributes: { value: 'this', type: 'contract test' }}], attributes: { value: 'b', type: 'function (bytes32,address) returns (bool)' } } |
|
|
|
var node = { name: 'MemberAccess', children: [{attributes: { value: 'this', type: 'contract test' }}], attributes: { value: 'b', type: 'function (bytes32,address) returns (bool)' } } |
|
|
|