Change license to AGPL-3.0

0xPhaze · 0xPhaze · commit 730148663212 · 2023-03-27T09:18:31.000+01:00
diff --git a/program-analysis/echidna/example/MockERC20Permit.sol b/program-analysis/echidna/example/MockERC20Permit.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.8.0;
 
 import "./ERC20Permit.sol";
diff --git a/program-analysis/echidna/example/TestDepositWithPermit.sol b/program-analysis/echidna/example/TestDepositWithPermit.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.8.0;
 
 import "./MockERC20Permit.sol";
@@ -23,11 +23,10 @@ contract TestDepositWithPermit {
     }
 
     //helper method to get signature, signs with private key 2
-    function getSignature(
-        address owner,
-        address spender,
-        uint256 assetAmount
-    ) internal returns (uint8 v, bytes32 r, bytes32 s) {
+    function getSignature(address owner, address spender, uint256 assetAmount)
+        internal
+        returns (uint8 v, bytes32 r, bytes32 s)
+    {
         bytes32 digest = keccak256(
             abi.encodePacked(
                 "\x19\x01",
@@ -56,10 +55,12 @@ contract TestDepositWithPermit {
 
         emit LogBalance(previousOwnerBalance, previousCallerBalance);
         (uint8 v, bytes32 r, bytes32 s) = getSignature(OWNER, address(this), amount);
-        try asset.permit(OWNER, address(this), amount, block.timestamp, v, r, s) {} catch {
+        try asset.permit(OWNER, address(this), amount, block.timestamp, v, r, s) {}
+        catch {
             emit AssertionFailed("signature is invalid");
         }
-        try asset.transferFrom(OWNER, address(this), amount) {} catch {
+        try asset.transferFrom(OWNER, address(this), amount) {}
+        catch {
             emit AssertionFailed("transferFrom reverted");
         }
         uint256 currentOwnerBalance = asset.balanceOf(OWNER);
diff --git a/program-analysis/echidna/example/assert.sol b/program-analysis/echidna/example/assert.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Incrementor {
diff --git a/program-analysis/echidna/example/gas.sol b/program-analysis/echidna/example/gas.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract C {
diff --git a/program-analysis/echidna/example/magic.sol b/program-analysis/echidna/example/magic.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract C {
diff --git a/program-analysis/echidna/example/multi.sol b/program-analysis/echidna/example/multi.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract C {
diff --git a/program-analysis/echidna/example/multiabi.sol b/program-analysis/echidna/example/multiabi.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.8.0;
 
 contract Flag {
diff --git a/program-analysis/echidna/example/opt.sol b/program-analysis/echidna/example/opt.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.8.0;
 
 contract TestDutchAuctionOptimization {
diff --git a/program-analysis/echidna/example/pushpop.sol b/program-analysis/echidna/example/pushpop.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract C {
diff --git a/program-analysis/echidna/example/testtoken.sol b/program-analysis/echidna/example/testtoken.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/example/token.sol b/program-analysis/echidna/example/token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Token {
diff --git a/program-analysis/echidna/exercises/exercise2/solution.sol b/program-analysis/echidna/exercises/exercise2/solution.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/exercises/exercise2/template.sol b/program-analysis/echidna/exercises/exercise2/template.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/exercises/exercise2/token.sol b/program-analysis/echidna/exercises/exercise2/token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Ownable {
diff --git a/program-analysis/echidna/exercises/exercise3/mintable.sol b/program-analysis/echidna/exercises/exercise3/mintable.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/exercises/exercise3/solution.sol b/program-analysis/echidna/exercises/exercise3/solution.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./mintable.sol";
diff --git a/program-analysis/echidna/exercises/exercise3/template.sol b/program-analysis/echidna/exercises/exercise3/template.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./mintable.sol";
diff --git a/program-analysis/echidna/exercises/exercise3/token.sol b/program-analysis/echidna/exercises/exercise3/token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 /// @notice The issues from exercise 1 and 2 are fixed.
diff --git a/program-analysis/echidna/exercises/exercise4/solution.sol b/program-analysis/echidna/exercises/exercise4/solution.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/exercises/exercise4/template.sol b/program-analysis/echidna/exercises/exercise4/template.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 import "./token.sol";
diff --git a/program-analysis/echidna/exercises/exercise4/token.sol b/program-analysis/echidna/exercises/exercise4/token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Ownable {
diff --git a/program-analysis/echidna/exercises/exercise7/solution.sol b/program-analysis/echidna/exercises/exercise7/solution.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.8.4;
 
 import "./side-entrance/SideEntranceLenderPool.sol";
diff --git a/program-analysis/manticore/examples/example.sol b/program-analysis/manticore/examples/example.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Simple {
diff --git a/program-analysis/manticore/examples/suicidal.sol b/program-analysis/manticore/examples/suicidal.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Suicidal {
diff --git a/program-analysis/manticore/exercises/example/my_token.sol b/program-analysis/manticore/exercises/example/my_token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Token {
diff --git a/program-analysis/manticore/exercises/exercise1/token.sol b/program-analysis/manticore/exercises/exercise1/token.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract CryticCoin {
diff --git a/program-analysis/manticore/exercises/exercise2/overflow.sol b/program-analysis/manticore/exercises/exercise2/overflow.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Overflow {
diff --git a/program-analysis/slither/examples/coin.sol b/program-analysis/slither/examples/coin.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Coin {
diff --git a/program-analysis/slither/exercises/exercise1/coin.sol b/program-analysis/slither/exercises/exercise1/coin.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Coin {
diff --git a/program-analysis/slither/exercises/exercise2/coin.sol b/program-analysis/slither/exercises/exercise2/coin.sol
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: GPL-3.0
+// SPDX-License-Identifier: AGPL-3.0
 pragma solidity ^0.5.0;
 
 contract Owned {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// SPDX-License-Identifier: GPL-3.0`
	`1`	`+// SPDX-License-Identifier: AGPL-3.0`
`2`	`2`	`pragma solidity ^0.8.0;`
`3`	`3`
`4`	`4`	`import "./ERC20Permit.sol";`