diff --git a/remix-analyzer/test/analysis/staticAnalysisIntegration-test.js b/remix-analyzer/test/analysis/staticAnalysisIntegration-test.js index a229770b88..1ffaefecb7 100644 --- a/remix-analyzer/test/analysis/staticAnalysisIntegration-test.js +++ b/remix-analyzer/test/analysis/staticAnalysisIntegration-test.js @@ -474,7 +474,7 @@ test('Integration test selfdestruct.js', function (t) { 'selfdestruct.sol': 3, 'deleteDynamicArray.sol': 0, 'blockLevelCompare.sol': 0, - 'intDivisionTruncate.sol': 2 + 'intDivisionTruncate.sol': 5 } runModuleOnFiles(module, t, (file, report) => { diff --git a/remix-analyzer/test/analysis/test-contracts/intDivisionTruncate.sol b/remix-analyzer/test/analysis/test-contracts/intDivisionTruncate.sol index 95e6dc1d0a..e5ed123b85 100644 --- a/remix-analyzer/test/analysis/test-contracts/intDivisionTruncate.sol +++ b/remix-analyzer/test/analysis/test-contracts/intDivisionTruncate.sol @@ -26,4 +26,13 @@ contract CharityCampaign { selfdestruct(beneficiary); return true; } + + // FALSE POSITIVE FOR SELFDESTRUCT TERMINAL + function endAmbiguous() public { + if(msg.sender == 0x0) { + selfdestruct(beneficiary); + } else { + selfdestruct(processor); + } + } } \ No newline at end of file