StaticAnalysis: another testcase

6 years ago · d689ae61ac
parent c19b944666
commit d689ae61ac
2 changed files with 10 additions and 1 deletions
--- 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) => {
--- 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);
+        }
+    }
 }