uups-checker 1.0.0

package/lib/openzeppelin-contracts/scripts/upgradeable/upgradeable.patch

@@ -0,0 +1,360 @@
+diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
+deleted file mode 100644
+index 2797a0889..000000000
+--- a/.github/ISSUE_TEMPLATE/bug_report.md
++++ /dev/null
+@@ -1,21 +0,0 @@
+----
+-name: Bug report
+-about: Report a bug in OpenZeppelin Contracts
+-
+----
+-
+-<!-- Briefly describe the issue you're experiencing. Tell us what you were trying to do and what happened instead. -->
+-
+-<!-- Remember, this is not a place to ask for help debugging code. For that, we welcome you in the OpenZeppelin Community Forum: https://forum.openzeppelin.com/. -->
+-
+-**💻 Environment**
+-
+-<!-- Tell us what version of OpenZeppelin Contracts you're using, and how you're using it: Truffle, Remix, etc. -->
+-
+-**📝 Details**
+-
+-<!-- Describe the problem you have been experiencing in more detail. Include as much information as you think is relevant. Keep in mind that transactions can fail for many reasons; context is key here. -->
+-
+-**🔢 Code to reproduce bug**
+-
+-<!-- We will be able to better help if you provide a minimal example that triggers the bug. -->
+diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml
+index 4018cef29..d343a53d8 100644
+--- a/.github/ISSUE_TEMPLATE/config.yml
++++ b/.github/ISSUE_TEMPLATE/config.yml
+@@ -1,4 +1,8 @@
++blank_issues_enabled: false
+ contact_links:
++  - name: Bug Reports & Feature Requests
++    url: https://github.com/OpenZeppelin/openzeppelin-contracts/issues/new/choose
++    about: Visit the OpenZeppelin Contracts repository
+   - name: Questions & Support Requests
+     url: https://forum.openzeppelin.com/c/support/contracts/18
+     about: Ask in the OpenZeppelin Forum
+diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md
+deleted file mode 100644
+index ff596b0c3..000000000
+--- a/.github/ISSUE_TEMPLATE/feature_request.md
++++ /dev/null
+@@ -1,14 +0,0 @@
+----
+-name: Feature request
+-about: Suggest an idea for OpenZeppelin Contracts
+-
+----
+-
+-**🧐 Motivation**
+-<!-- Is your feature request related to a specific problem? Is it just a crazy idea? Tell us about it! -->
+-
+-**📝 Details**
+-<!-- Please describe your feature request in detail. -->
+-
+-<!-- Make sure that you have reviewed the OpenZeppelin Contracts Contributor Guidelines. -->
+-<!-- https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/CONTRIBUTING.md -->
+diff --git a/README.md b/README.md
+index 549891e3f..a6b24078e 100644
+--- a/README.md
++++ b/README.md
+@@ -23,6 +23,9 @@
+ > [!IMPORTANT]
+ > OpenZeppelin Contracts uses semantic versioning to communicate backwards compatibility of its API and storage layout. For upgradeable contracts, the storage layout of different major versions should be assumed incompatible, for example, it is unsafe to upgrade from 4.9.3 to 5.0.0. Learn more at [Backwards Compatibility](https://docs.openzeppelin.com/contracts/backwards-compatibility).
+ 
+++> [!NOTE]
+++> You are looking at the upgradeable variant of OpenZeppelin Contracts. Be sure to review the documentation on [Using OpenZeppelin Contracts with Upgrades](https://docs.openzeppelin.com/contracts/upgradeable).
+++
+ ## Overview
+ 
+ ### Installation
+@@ -30,7 +33,7 @@
+ #### Hardhat, Truffle (npm)
+ 
+ ```
+-$ npm install @openzeppelin/contracts
++$ npm install @openzeppelin/contracts-upgradeable
+ ```
+ 
+ #### Foundry (git)
+@@ -42,10 +45,10 @@ $ npm install @openzeppelin/contracts
+ > Foundry installs the latest version initially, but subsequent `forge update` commands will use the `master` branch.
+ 
+ ```
+-$ forge install OpenZeppelin/openzeppelin-contracts
++$ forge install OpenZeppelin/openzeppelin-contracts-upgradeable
+ ```
+ 
+-Add `@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/` in `remappings.txt.` 
++Add `@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/` in `remappings.txt.` 
+ 
+ ### Usage
+ 
+@@ -54,10 +57,11 @@ Once installed, you can use the contracts in the library by importing them:
+ ```solidity
+ pragma solidity ^0.8.20;
+ 
+-import {ERC721} from "@openzeppelin/contracts/token/ERC721/ERC721.sol";
++import {ERC721Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC721/ERC721Upgradeable.sol";
+ 
+-contract MyCollectible is ERC721 {
+-    constructor() ERC721("MyCollectible", "MCO") {
++contract MyCollectible is ERC721Upgradeable {
++    function initialize() initializer public {
++        __ERC721_init("MyCollectible", "MCO");
+     }
+ }
+ ```
+diff --git a/contracts/package.json b/contracts/package.json
+index 9017953ca..f51c1d38b 100644
+--- a/contracts/package.json
++++ b/contracts/package.json
+@@ -1,5 +1,5 @@
+ {
+-  "name": "@openzeppelin/contracts",
++  "name": "@openzeppelin/contracts-upgradeable",
+   "description": "Secure Smart Contract library for Solidity",
+   "version": "4.9.2",
+   "files": [
+@@ -13,7 +13,7 @@
+   },
+   "repository": {
+     "type": "git",
+-    "url": "https://github.com/OpenZeppelin/openzeppelin-contracts.git"
++    "url": "https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable.git"
+   },
+   "keywords": [
+     "solidity",
+@@ -28,5 +28,8 @@
+   "bugs": {
+     "url": "https://github.com/OpenZeppelin/openzeppelin-contracts/issues"
+   },
+-  "homepage": "https://openzeppelin.com/contracts/"
++  "homepage": "https://openzeppelin.com/contracts/",
++  "peerDependencies": {
++    "@openzeppelin/contracts": "<package-version>"
++  }
+ }
+diff --git a/contracts/utils/cryptography/EIP712.sol b/contracts/utils/cryptography/EIP712.sol
+index 644f6f531..ab8ba05ff 100644
+--- a/contracts/utils/cryptography/EIP712.sol
++++ b/contracts/utils/cryptography/EIP712.sol
+@@ -4,7 +4,6 @@
+ pragma solidity ^0.8.20;
+ 
+ import {MessageHashUtils} from "./MessageHashUtils.sol";
+-import {ShortStrings, ShortString} from "../ShortStrings.sol";
+ import {IERC5267} from "../../interfaces/IERC5267.sol";
+ 
+ /**
+@@ -28,28 +27,18 @@ import {IERC5267} from "../../interfaces/IERC5267.sol";
+  * NOTE: In the upgradeable version of this contract, the cached values will correspond to the address, and the domain
+  * separator of the implementation contract. This will cause the {_domainSeparatorV4} function to always rebuild the
+  * separator from the immutable values, which is cheaper than accessing a cached version in cold storage.
+- *
+- * @custom:oz-upgrades-unsafe-allow state-variable-immutable
+  */
+ abstract contract EIP712 is IERC5267 {
+-    using ShortStrings for *;
+-
+     bytes32 private constant TYPE_HASH =
+         keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");
+ 
+-    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
+-    // invalidate the cached domain separator if the chain id changes.
+-    bytes32 private immutable _cachedDomainSeparator;
+-    uint256 private immutable _cachedChainId;
+-    address private immutable _cachedThis;
+-
++    /// @custom:oz-renamed-from _HASHED_NAME
+     bytes32 private immutable _hashedName;
++    /// @custom:oz-renamed-from _HASHED_VERSION
+     bytes32 private immutable _hashedVersion;
+ 
+-    ShortString private immutable _name;
+-    ShortString private immutable _version;
+-    string private _nameFallback;
+-    string private _versionFallback;
++    string private _name;
++    string private _version;
+ 
+     /**
+      * @dev Initializes the domain separator and parameter caches.
+@@ -64,29 +53,23 @@ abstract contract EIP712 is IERC5267 {
+      * contract upgrade].
+      */
+     constructor(string memory name, string memory version) {
+-        _name = name.toShortStringWithFallback(_nameFallback);
+-        _version = version.toShortStringWithFallback(_versionFallback);
+-        _hashedName = keccak256(bytes(name));
+-        _hashedVersion = keccak256(bytes(version));
+-
+-        _cachedChainId = block.chainid;
+-        _cachedDomainSeparator = _buildDomainSeparator();
+-        _cachedThis = address(this);
++        _name = name;
++        _version = version;
++
++        // Reset prior values in storage if upgrading
++        _hashedName = 0;
++        _hashedVersion = 0;
+     }
+ 
+     /**
+      * @dev Returns the domain separator for the current chain.
+      */
+     function _domainSeparatorV4() internal view returns (bytes32) {
+-        if (address(this) == _cachedThis && block.chainid == _cachedChainId) {
+-            return _cachedDomainSeparator;
+-        } else {
+-            return _buildDomainSeparator();
+-        }
++        return _buildDomainSeparator();
+     }
+ 
+     function _buildDomainSeparator() private view returns (bytes32) {
+-        return keccak256(abi.encode(TYPE_HASH, _hashedName, _hashedVersion, block.chainid, address(this)));
++        return keccak256(abi.encode(TYPE_HASH, _EIP712NameHash(), _EIP712VersionHash(), block.chainid, address(this)));
+     }
+ 
+     /**
+@@ -125,6 +108,10 @@ abstract contract EIP712 is IERC5267 {
+             uint256[] memory extensions
+         )
+     {
++        // If the hashed name and version in storage are non-zero, the contract hasn't been properly initialized
++        // and the EIP712 domain is not reliable, as it will be missing name and version.
++        require(_hashedName == 0 && _hashedVersion == 0, "EIP712: Uninitialized");
++
+         return (
+             hex"0f", // 01111
+             _EIP712Name(),
+@@ -139,22 +126,62 @@ abstract contract EIP712 is IERC5267 {
+     /**
+      * @dev The name parameter for the EIP712 domain.
+      *
+-     * NOTE: By default this function reads _name which is an immutable value.
+-     * It only reads from storage if necessary (in case the value is too large to fit in a ShortString).
++     * NOTE: This function reads from storage by default, but can be redefined to return a constant value if gas costs
++     * are a concern.
+      */
+-    // solhint-disable-next-line func-name-mixedcase
+-    function _EIP712Name() internal view returns (string memory) {
+-        return _name.toStringWithFallback(_nameFallback);
++    function _EIP712Name() internal view virtual returns (string memory) {
++        return _name;
+     }
+ 
+     /**
+      * @dev The version parameter for the EIP712 domain.
+      *
+-     * NOTE: By default this function reads _version which is an immutable value.
+-     * It only reads from storage if necessary (in case the value is too large to fit in a ShortString).
++     * NOTE: This function reads from storage by default, but can be redefined to return a constant value if gas costs
++     * are a concern.
+      */
+-    // solhint-disable-next-line func-name-mixedcase
+-    function _EIP712Version() internal view returns (string memory) {
+-        return _version.toStringWithFallback(_versionFallback);
++    function _EIP712Version() internal view virtual returns (string memory) {
++        return _version;
++    }
++
++    /**
++     * @dev The hash of the name parameter for the EIP712 domain.
++     *
++     * NOTE: In previous versions this function was virtual. In this version you should override `_EIP712Name` instead.
++     */
++    function _EIP712NameHash() internal view returns (bytes32) {
++        string memory name = _EIP712Name();
++        if (bytes(name).length > 0) {
++            return keccak256(bytes(name));
++        } else {
++            // If the name is empty, the contract may have been upgraded without initializing the new storage.
++            // We return the name hash in storage if non-zero, otherwise we assume the name is empty by design.
++            bytes32 hashedName = _hashedName;
++            if (hashedName != 0) {
++                return hashedName;
++            } else {
++                return keccak256("");
++            }
++        }
++    }
++
++    /**
++     * @dev The hash of the version parameter for the EIP712 domain.
++     *
++     * NOTE: In previous versions this function was virtual. In this version you should override `_EIP712Version` instead.
++     */
++    function _EIP712VersionHash() internal view returns (bytes32) {
++        string memory version = _EIP712Version();
++        if (bytes(version).length > 0) {
++            return keccak256(bytes(version));
++        } else {
++            // If the version is empty, the contract may have been upgraded without initializing the new storage.
++            // We return the version hash in storage if non-zero, otherwise we assume the version is empty by design.
++            bytes32 hashedVersion = _hashedVersion;
++            if (hashedVersion != 0) {
++                return hashedVersion;
++            } else {
++                return keccak256("");
++            }
++        }
+     }
+ }
+diff --git a/package.json b/package.json
+index 3a1617c09..97e59c2d9 100644
+--- a/package.json
++++ b/package.json
+@@ -32,7 +32,7 @@
+   },
+   "repository": {
+     "type": "git",
+-    "url": "https://github.com/OpenZeppelin/openzeppelin-contracts.git"
++    "url": "https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable.git"
+   },
+   "keywords": [
+     "solidity",
+diff --git a/remappings.txt b/remappings.txt
+index 304d1386a..a1cd63bee 100644
+--- a/remappings.txt
++++ b/remappings.txt
+@@ -1 +1,2 @@
+-@openzeppelin/contracts/=contracts/
++@openzeppelin/contracts-upgradeable/=contracts/
++@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/
+diff --git a/test/utils/cryptography/EIP712.test.js b/test/utils/cryptography/EIP712.test.js
+index faf01f1a3..b25171a56 100644
+--- a/test/utils/cryptography/EIP712.test.js
++++ b/test/utils/cryptography/EIP712.test.js
+@@ -47,26 +47,6 @@ contract('EIP712', function (accounts) {
+           const rebuildDomain = await getDomain(this.eip712);
+           expect(mapValues(rebuildDomain, String)).to.be.deep.equal(mapValues(this.domain, String));
+         });
+-
+-        if (shortOrLong === 'short') {
+-          // Long strings are in storage, and the proxy will not be properly initialized unless
+-          // the upgradeable contract variant is used and the initializer is invoked.
+-
+-          it('adjusts when behind proxy', async function () {
+-            const factory = await Clones.new();
+-            const cloneReceipt = await factory.$clone(this.eip712.address);
+-            const cloneAddress = cloneReceipt.logs.find(({ event }) => event === 'return$clone').args.instance;
+-            const clone = new EIP712Verifier(cloneAddress);
+-
+-            const cloneDomain = { ...this.domain, verifyingContract: clone.address };
+-
+-            const reportedDomain = await getDomain(clone);
+-            expect(mapValues(reportedDomain, String)).to.be.deep.equal(mapValues(cloneDomain, String));
+-
+-            const expectedSeparator = await domainSeparator(cloneDomain);
+-            expect(await clone.$_domainSeparatorV4()).to.equal(expectedSeparator);
+-          });
+-        }
+       });
+ 
+       it('hash digest', async function () {

package/lib/openzeppelin-contracts/slither.config.json

@@ -0,0 +1,5 @@
+{
+    "detectors_to_run": "arbitrary-send-erc20,array-by-reference,incorrect-shift,name-reused,rtlo,suicidal,uninitialized-state,uninitialized-storage,arbitrary-send-erc20-permit,controlled-array-length,controlled-delegatecall,delegatecall-loop,msg-value-loop,reentrancy-eth,unchecked-transfer,weak-prng,domain-separator-collision,erc20-interface,erc721-interface,locked-ether,mapping-deletion,shadowing-abstract,tautology,write-after-write,boolean-cst,reentrancy-no-eth,reused-constructor,tx-origin,unchecked-lowlevel,unchecked-send,variable-scope,void-cst,events-access,events-maths,incorrect-unary,boolean-equal,cyclomatic-complexity,deprecated-standards,erc20-indexed,function-init-state,pragma,unused-state,reentrancy-unlimited-gas,constable-states,immutable-states,var-read-using-this",
+    "filter_paths": "contracts/mocks,contracts-exposed",
+    "compile_force_framework": "hardhat"
+}

package/lib/openzeppelin-contracts/solhint.config.js

@@ -0,0 +1,20 @@
+const customRules = require('./scripts/solhint-custom');
+
+const rules = [
+  'no-unused-vars',
+  'const-name-snakecase',
+  'contract-name-camelcase',
+  'event-name-camelcase',
+  'func-name-mixedcase',
+  'func-param-name-mixedcase',
+  'modifier-name-mixedcase',
+  'var-name-mixedcase',
+  'imports-on-top',
+  'no-global-import',
+  ...customRules.map(r => `openzeppelin/${r.ruleId}`),
+];
+
+module.exports = {
+  plugins: ['openzeppelin'],
+  rules: Object.fromEntries(rules.map(r => [r, 'error'])),
+};

package/mythril-lft-output.txt

@@ -0,0 +1 @@
+mythril.interfaces.cli [ERROR]: Invalid RPC argument, use 'ganache', 'infura-[network]', or 'HOST:PORT'

package/mythril-lft-symbolic.txt

@@ -0,0 +1,18 @@
+mythril.interfaces.cli [ERROR]: Traceback (most recent call last):
+  File "/Users/rlawrence/.mythril-env/lib/python3.13/site-packages/mythril/interfaces/cli.py", line 975, in parse_args_and_execute
+    address = load_code(disassembler, args)
+  File "/Users/rlawrence/.mythril-env/lib/python3.13/site-packages/mythril/interfaces/cli.py", line 726, in load_code
+    address, _ = disassembler.load_from_solidity(
+                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
+        args.solidity_files
+        ^^^^^^^^^^^^^^^^^^^
+    )  # list of files
+    ^
+  File "/Users/rlawrence/.mythril-env/lib/python3.13/site-packages/mythril/mythril/mythril_disassembler.py", line 277, in load_from_solidity
+    solc_binary, self.solc_version = util.extract_binary(file)
+                                     ~~~~~~~~~~~~~~~~~~~^^^^^^
+  File "/Users/rlawrence/.mythril-env/lib/python3.13/site-packages/mythril/ethereum/util.py", line 222, in extract_binary
+    with open(file) as f:
+         ~~~~^^^^^^
+OSError: [Errno 63] File name too long: '0x608060405234801561001057600080fd5b50600436106102275760003560e01c80635feca93311610130578063a18959b9116100b8578063c50611161161007c578063c50611161461056a578063cb626ae214610572578063dd5fbc9a1461057a578063dd62ed3e14610582578063fca3b5aa146105b057610227565b8063a18959b914610502578063a228bced1461050a578063a457c2d714610512578063a9059cbb1461053e578063b87b5616146104ea57610227565b80637ecc2b56116100ff5780637ecc2b56146104da5780637efad8e0146104e257806383914540146104ea5780638da5cb5b146104f257806395d89b41146104fa57610227565b80635feca9331461047e57806364ef6dd4146104a45780636afeb796146104ac57806370a08231146104b457610227565b8063277dbafb116101b357806340c10f191161018257806340c10f19146103f757806342966c6814610423578063485cc955146104405780634dbac7331461046e57806354fd4d501461047657610227565b8063277dbafb1461039d5780632c4e722e146103a5578063313ce567146103ad57806339509351146103cb57610227565b80631814a5b1116101fa5780631814a5b11461033557806318160ddd1461034f5780631a6865021461035757806321609bbf1461035f57806323b872dd1461036757610227565b806306fdde031461022c57806307546172146102a9578063095ea7b3146102cd57806313af40351461030d575b600080fd5b6102346105d6565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561026e578181015183820152602001610256565b50505050905090810190601f16801561029b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b161066c565b604080516001600160a01b039092168252519081900360200190f35b6102f9600480360360408110156102e357600080fd5b506001600160a01b03813516906020013561067b565b604080519115158252519081900360200190f35b6103336004803603602081101561032357600080fd5b50356001600160a01b0316610692565b005b61033d61072f565b60408051918252519081900360200190f35b61033d610735565b6102f961073b565b61033d61074b565b6102f96004803603606081101561037d57600080fd5b506001600160a01b03813581169160208101359091169060400135610757565b61033d6107c0565b61033d6107f8565b6103b56107fe565b6040805160ff9092168252519081900360200190f35b6102f9600480360360408110156103e157600080fd5b506001600160a01b038135169060200135610807565b6102f96004803603604081101561040d57600080fd5b506001600160a01b03813516906020013561083d565b6102f96004803603602081101561043957600080fd5b50356109f5565b6103336004803603604081101561045657600080fd5b506001600160a01b0381358116916020013516610a91565b61033d610bfd565b61033d610c09565b6103336004803603602081101561049457600080fd5b50356001600160a01b0316610c0f565b61033d610d9a565b6102b1610da0565b61033d600480360360208110156104ca57600080fd5b50356001600160a01b0316610daf565b61033d610e89565b61033d610eb8565b61033d610ec4565b6102b1610ecc565b610234610edb565b6102b1610f3c565b61033d610f4b565b6102f96004803603604081101561052857600080fd5b506001600160a01b038135169060200135610f74565b6102f96004803603604081101561055457600080fd5b506001600160a01b038135169060200135610fe1565b610333610fee565b6103336111f5565b61033d611250565b61033d6004803603604081101561059857600080fd5b506001600160a01b0381358116916020013516611256565b610333600480360360208110156105c657600080fd5b50356001600160a01b0316611281565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106625780601f1061063757610100808354040283529160200191610662565b820191906000526020600020905b81548152906001019060200180831161064557829003601f168201915b5050505050905090565b600e546001600160a01b031681565b600061068833848461136a565b5060015b92915050565b600d546001600160a01b031633146106db5760405162461bcd60e51b8152600401808060200182810382526027815260200180611ae16027913960400191505060405180910390fd5b600d80546001600160a01b0383166001600160a01b0319909116811790915560408051918252517f167d3e9c1016ab80e58802ca9da10ce5c6a0f4debc46a2e7a2cd9e56899a4fb59181900360200190a150565b60075481565b60035490565b600f54600160a01b900460ff1681565b671080e992061ab30081565b6000610764848484611482565b6107b684336107b185604051806060016040528060218152602001611a49602191396001600160a01b038a166000908152600260209081526040808320338452909152902054919061169e565b61136a565b5060019392505050565b6007546000906107d4906301e13380611735565b42106107e2576107e2611796565b6007546107f3906301e13380611735565b905090565b600a5481565b60065460ff1690565b3360008181526002602090815260408083206001600160a01b038716845290915281205490916106889185906107b19086611735565b600e546000906001600160a01b03163314610889576040805162461bcd60e51b815260206004820152600760248201526610b6b4b73a32b960c91b604482015290519081900360640190fd5b6001600160a01b0383166108e4576040805162461bcd60e51b815260206004820152601860248201527f6d696e7420746f20746865207a65726f20616464726573730000000000000000604482015290519081900360640190fd5b600f54600160a01b900460ff166108fd5750600061068c565b60075461090e906301e13380611735565b421061091c5761091c611796565b6003546109299083611735565b600355610934610e89565b600354111561098a576040805162461bcd60e51b815260206004820152601d60248201527f6578636565647320616c6c6f7761626c65206d696e7420616d6f756e74000000604482015290519081900360640190fd5b6001600160a01b0383166000908152600160205260409020546109ad9083611735565b6001600160a01b0384166000818152600160209081526040808320949094558351868152935192939192600080516020611a8b8339815191529281900390910190a392915050565b604080518082018252601b81527f6275726e20616d6f756e7420657863656564732062616c616e63650000000000602080830191909152336000908152600190915291822054610a4691849061169e565b33600090815260016020526040902055600354610a639083611859565b6003556040805183815290516000913391600080516020611a8b8339815191529181900360200190a3919050565b600054610100900460ff1680610aaa5750610aaa6118b6565b80610ab8575060005460ff16155b610af35760405162461bcd60e51b815260040180806020018281038252602e815260200180611a1b602e913960400191505060405180910390fd5b600054610100900460ff16158015610b1e576000805460ff1961ff0019909116610100171660011790555b604080518082019091526013808252722632b732233630b932902220a7902a37b5b2b760691b6020909201918252610b5891600491611987565b506040805180820190915260038082526213119560ea1b6020909201918252610b8391600591611987565b506006805460ff191660121790556001600b55600d80546001600160a01b038086166001600160a01b031992831617909255600c805492851692909116919091179055610bd4426301e13380611859565b60075560006009819055600a8190556008558015610bf8576000805461ff00191690555b505050565b6778ef89edad16a61581565b600b5481565b600d546001600160a01b03163314610c585760405162461bcd60e51b8152600401808060200182810382526027815260200180611ae16027913960400191505060405180910390fd5b6001600160a01b038116610c99576040805162461bcd60e51b815260206004820152600360248201526210afbb60e91b604482015290519081900360640190fd5b600f546001600160a01b031615610cef576040805162461bcd60e51b815260206004820152601560248201527410b634b8bab4b234ba3caa3930b739b337b936b2b960591b604482015290519081900360640190fd5b600f80546001600160a01b0319166001600160a01b0383811691909117918290551660009081526001602052604090206b02effb7ced1d7b3e4f54000090819055600354610d3d9082611735565b600355600854610d4d9082611735565b600855600c546040805183815290516001600160a01b03909216916000917fe3d20dc906feba4b84ca7dec80925a885d4ffead3cfa939d1f8d51101c0c4c2a919081900360200190a35050565b60095481565b600c546001600160a01b031681565b6000732caa8387030af8fd61c59eee88341dc590883496739c84f58bb51fabd18698efe95f5bab4f33e96e8f737a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b038516831415610e6657336001600160a01b0384161480610e205750336001600160a01b038316145b80610e335750336001600160a01b038216145b15610e5a57505050506001600160a01b038116600090815260016020526040902054610e84565b60009350505050610e84565b505050506001600160a01b0381166000908152600160205260409020545b919050565b60006107f3610eaf600a54610ea96007544261185990919063ffffffff16565b906118c7565b60085490611735565b670de0b6b3a764000081565b6301e1338081565b600d546001600160a01b031681565b60058054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106625780601f1061063757610100808354040283529160200191610662565b600f546001600160a01b031681565b600754600090610f5f906301e13380611735565b4210610f6d57610f6d611796565b5060075490565b604080518082018252601e81527f64656372656173656420616c6c6f77616e63652062656c6f77207a65726f0000602080830191909152336000818152600283528481206001600160a01b038816825290925292812054909261068892909186916107b19190879061169e565b6000610688338484611482565b600f546001600160a01b031633146110375760405162461bcd60e51b8152600401808060200182810382526036815260200180611aab6036913960400191505060405180910390fd5b600f54600160a01b900460ff1615611083576040805162461bcd60e51b815260206004820152600a602482015269216c697175696469747960b01b604482015290519081900360640190fd5b6a4b32bfa4d24e4af14800006a1910ea8c461a18fb1800006a7d5494cb3f39308edc00006a6443aa3ef91f1793c4000060006110cb826110c585818989611735565b90611735565b600c546001600160a01b031660009081526001602052604090208190556003549091506110f89082611735565b6003556008546111089082611735565b600855600f805460ff60a01b1916600160a01b179055600c546040805187815290516001600160a01b0390921691600091600080516020611a8b833981519152919081900360200190a3600c546040805186815290516001600160a01b0390921691600091600080516020611a8b833981519152919081900360200190a3600c546040805185815290516001600160a01b0390921691600091600080516020611a8b833981519152919081900360200190a3600c546040805184815290516001600160a01b0390921691600091600080516020611a8b833981519152919081900360200190a35050505050565b600754611206906301e13380611735565b421015611246576040805162461bcd60e51b8152602060048201526009602482015268746f6f20736f6f6e2160b81b604482015290519081900360640190fd5b61124e611796565b565b60085481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b600d546001600160a01b031633146112ca5760405162461bcd60e51b8152600401808060200182810382526027815260200180611ae16027913960400191505060405180910390fd5b6001600160a01b038116611310576040805162461bcd60e51b815260206004820152600860248201526710afb6b4b73a32b960c11b604482015290519081900360640190fd5b600e80546001600160a01b0383166001600160a01b0319909116811790915560408051918252517fcec52196e972044edde8689a1b608e459c5946b7f3e5c8cd3d6d8e126d422e1c9181900360200190a150565b3b151590565b6001600160a01b0383166113c5576040805162461bcd60e51b815260206004820152601d60248201527f617070726f76652066726f6d20746865207a65726f2061646472657373000000604482015290519081900360640190fd5b6001600160a01b038216611420576040805162461bcd60e51b815260206004820152601b60248201527f617070726f766520746f20746865207a65726f20616464726573730000000000604482015290519081900360640190fd5b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166114dd576040805162461bcd60e51b815260206004820152601e60248201527f7472616e736665722066726f6d20746865207a65726f20616464726573730000604482015290519081900360640190fd5b6001600160a01b038216611538576040805162461bcd60e51b815260206004820152601c60248201527f7472616e7366657220746f20746865207a65726f206164647265737300000000604482015290519081900360640190fd5b739c84f58bb51fabd18698efe95f5bab4f33e96e8f732caa8387030af8fd61c59eee88341dc5908834966001600160a01b0384168214156115c857326001600160a01b038216146115c8576040805162461bcd60e51b8152602060048201526015602482015274496e73756666696369656e7420676173206665657360581b604482015290519081900360640190fd5b604080518082018252601f81527f7472616e7366657220616d6f756e7420657863656564732062616c616e6365006020808301919091526001600160a01b03881660009081526001909152919091205461162391859061169e565b6001600160a01b0380871660009081526001602052604080822093909355908616815220546116529084611735565b6001600160a01b038086166000818152600160209081526040918290209490945580518781529051919392891692600080516020611a8b83398151915292918290030190a35050505050565b6000818484111561172d5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156116f25781810151838201526020016116da565b50505050905090810190601f16801561171f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b60008282018381101561178f576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6007546117a7906301e13380611735565b600755600980546001019055600a546117cb576778ef89edad16a615600a55611810565b600a546117e090610eaf906301e133806118c7565b600855600a5461180c90671080e992061ab3009061180690670de0b6b3a76400006118c7565b90611920565b600a555b600a5460085460408051428152602081019390935282810191909152517f27e46362a1e6129b6dd539c984ce739291a97128dfcaeca1255e8ac83abd94419181900360600190a1565b6000828211156118b0576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006118c130611364565b15905090565b6000826118d65750600061068c565b828202828482816118e357fe5b041461178f5760405162461bcd60e51b8152600401808060200182810382526021815260200180611a6a6021913960400191505060405180910390fd5b6000808211611976576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b81838161197f57fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106119c857805160ff19168380011785556119f5565b828001600101855582156119f5579182015b828111156119f55782518255916020019190600101906119da565b50611a01929150611a05565b5090565b5b80821115611a015760008155600101611a0656fe496e697469616c697a61626c653a20636f6e747261637420697320616c726561647920696e697469616c697a65647472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef4c656e64466c617265546f6b656e3a2063616c6c6572206973206e6f7420746865206c69717569646974795472616e73666f726d65724c656e64466c617265546f6b656e3a2063616c6c6572206973206e6f7420746865206f776e6572a264697066735822122079f2cc2e6ea77fdd194aad8db44c685fc26552a81c4a657de733a5edcda1d95a64736f6c634300060c0033'
+

package/mythril-lft.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+# Mythril analysis of LendFlare Token
+# Address: 0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82
+
+echo "=== MYTHRIL ANALYSIS: LENDFLARE TOKEN ==="
+echo "Address: 0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82"
+echo ""
+
+# Try to analyze from address (requires RPC)
+echo "Attempting to analyze from mainnet..."
+myth analyze -a 0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82 \
+  --rpc https://mainnet.infura.io/v3/db4d2c885bc946b691dbb3d5ef26d9e2 \
+  --execution-timeout 300 \
+  --max-depth 12 \
+  --solver-timeout 10000 \
+  2>&1 | tee mythril-lft-output.txt
+
+echo ""
+echo "=== ANALYSIS COMPLETE ==="

package/mythril-symbolic-output.txt

@@ -0,0 +1 @@
+mythril.interfaces.cli [ERROR]: Invalid network mainnet:db4d2c885bc946b691dbb3d5ef26d9e2, use 'mainnet', 'rinkeby', 'kovan', 'ropsten', 'goerli', 'avalanche', 'arbitrum', 'optimism', or 'polygon'

package/mythril-symbolic.sh

@@ -0,0 +1,42 @@
+#!/bin/bash
+
+echo "=== MYTHRIL SYMBOLIC EXECUTION: LENDFLARE TOKEN ==="
+echo "Address: 0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82"
+echo ""
+
+# Method 1: Analyze bytecode directly from Etherscan
+echo "Method 1: Fetching bytecode from Etherscan..."
+curl -s "https://api.etherscan.io/api?module=proxy&action=eth_getCode&address=0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82&apikey=YourApiKeyToken" > lft-bytecode.json
+
+# Extract bytecode
+BYTECODE=$(cat lft-bytecode.json | grep -o '"result":"0x[^"]*"' | cut -d'"' -f4)
+
+if [ ! -z "$BYTECODE" ] && [ "$BYTECODE" != "0x" ]; then
+    echo "Bytecode fetched: ${#BYTECODE} bytes"
+    echo "$BYTECODE" > lft-bytecode.txt
+    
+    # Method 2: Analyze bytecode with Mythril
+    echo ""
+    echo "Method 2: Running Mythril on bytecode..."
+    myth analyze --bin-runtime "$BYTECODE" \
+        --execution-timeout 300 \
+        --max-depth 22 \
+        --solver-timeout 100000 \
+        --strategy bfs \
+        --verbose-report \
+        2>&1 | tee mythril-symbolic-output.txt
+else
+    echo "Failed to fetch bytecode"
+fi
+
+echo ""
+echo "Method 3: Trying with infura RPC..."
+myth analyze -a 0xB620Be8a1949AA9532e6a3510132864EF9Bc3F82 \
+    --rpc infura-mainnet:db4d2c885bc946b691dbb3d5ef26d9e2 \
+    --execution-timeout 300 \
+    --max-depth 22 \
+    --solver-timeout 100000 \
+    2>&1 | tee -a mythril-symbolic-output.txt
+
+echo ""
+echo "=== SYMBOLIC EXECUTION COMPLETE ==="

package/out/build-info/0026b78428192979.json

@@ -0,0 +1 @@
+{"id":"0026b78428192979","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/XFISimpleExploit.t.sol"},"language":"Solidity"}

package/out/build-info/03c4fc3b88486eba.json

@@ -0,0 +1 @@
+{"id":"03c4fc3b88486eba","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/YOOSHI_MathProof.t.sol"},"language":"Solidity"}

package/out/build-info/0540afa9b9a5c5a6.json

@@ -0,0 +1 @@
+{"id":"0540afa9b9a5c5a6","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/ARIAFuzz.t.sol"},"language":"Solidity"}

package/out/build-info/081932f505bc08b9.json

@@ -0,0 +1 @@
+{"id":"081932f505bc08b9","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/BSW_SilentMint_POC.t.sol"},"language":"Solidity"}

package/out/build-info/0da104ba0d6642d5.json

@@ -0,0 +1 @@
+{"id":"0da104ba0d6642d5","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/YOOSHI_CheckHistoricalState.t.sol"},"language":"Solidity"}

package/out/build-info/197281971dbb5f23.json

@@ -0,0 +1 @@
+{"id":"197281971dbb5f23","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/BabyPoolV2_FlashLoan_Exploit.t.sol"},"language":"Solidity"}

package/out/build-info/197e7e332832a232.json

@@ -0,0 +1 @@
+{"id":"197e7e332832a232","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/NetX_Final_Analysis.t.sol"},"language":"Solidity"}

package/out/build-info/1a1cab9136eb5f94.json

@@ -0,0 +1 @@
+{"id":"1a1cab9136eb5f94","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/CheckUserNFT.t.sol"},"language":"Solidity"}

package/out/build-info/1b320204eb162aa2.json

@@ -0,0 +1 @@
+{"id":"1b320204eb162aa2","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/NetX_Migration_Exploit.t.sol"},"language":"Solidity"}

package/out/build-info/1e03f94398052674.json

@@ -0,0 +1 @@
+{"id":"1e03f94398052674","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/CheckNFTWeight.t.sol"},"language":"Solidity"}

package/out/build-info/22ac085949602937.json

@@ -0,0 +1 @@
+{"id":"22ac085949602937","source_id_to_path":{"0":"KEL_CEL_Siphoner.sol","1":"lib/forge-std/src/Base.sol","2":"lib/forge-std/src/StdAssertions.sol","3":"lib/forge-std/src/StdChains.sol","4":"lib/forge-std/src/StdCheats.sol","5":"lib/forge-std/src/StdConstants.sol","6":"lib/forge-std/src/StdError.sol","7":"lib/forge-std/src/StdInvariant.sol","8":"lib/forge-std/src/StdJson.sol","9":"lib/forge-std/src/StdMath.sol","10":"lib/forge-std/src/StdStorage.sol","11":"lib/forge-std/src/StdStyle.sol","12":"lib/forge-std/src/StdToml.sol","13":"lib/forge-std/src/StdUtils.sol","14":"lib/forge-std/src/Test.sol","15":"lib/forge-std/src/Vm.sol","16":"lib/forge-std/src/console.sol","17":"lib/forge-std/src/console2.sol","18":"lib/forge-std/src/interfaces/IMulticall3.sol","19":"lib/forge-std/src/safeconsole.sol","20":"test/KEL_CEL_SiphonerTest.t.sol"},"language":"Solidity"}

package/out/build-info/234ef37453a9fa64.json

@@ -0,0 +1 @@
+{"id":"234ef37453a9fa64","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/YOOSHI_CheckState.t.sol"},"language":"Solidity"}

package/out/build-info/2447db7b1878fa8e.json

@@ -0,0 +1 @@
+{"id":"2447db7b1878fa8e","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/HotCrossSwapFuzz.t.sol"},"language":"Solidity"}

package/out/build-info/25568daeb484f5ff.json

@@ -0,0 +1 @@
+{"id":"25568daeb484f5ff","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/XFIUnderflowTest.t.sol"},"language":"Solidity"}

package/out/build-info/27465853244c49ce.json

@@ -0,0 +1 @@
+{"id":"27465853244c49ce","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/CheckNFT2725.t.sol"},"language":"Solidity"}

package/out/build-info/2c57a9e0f087453b.json

@@ -0,0 +1 @@
+{"id":"2c57a9e0f087453b","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/YOOSHI_Exploit.t.sol"},"language":"Solidity"}

package/out/build-info/3c62ae7de8da68c4.json

@@ -0,0 +1 @@
+{"id":"3c62ae7de8da68c4","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/YOOSHI_FindStakeMethod.t.sol"},"language":"Solidity"}

package/out/build-info/3e771ae109e97bb3.json

@@ -0,0 +1 @@
+{"id":"3e771ae109e97bb3","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/XFIWorkingExploit.t.sol"},"language":"Solidity"}

package/out/build-info/460499bc0a3465c4.json

@@ -0,0 +1 @@
+{"id":"460499bc0a3465c4","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/XFIFlashLoanExploit.t.sol"},"language":"Solidity"}

package/out/build-info/47ce37e50a4f115e.json

@@ -0,0 +1 @@
+{"id":"47ce37e50a4f115e","source_id_to_path":{"0":"lib/forge-std/src/Base.sol","1":"lib/forge-std/src/StdAssertions.sol","2":"lib/forge-std/src/StdChains.sol","3":"lib/forge-std/src/StdCheats.sol","4":"lib/forge-std/src/StdConstants.sol","5":"lib/forge-std/src/StdError.sol","6":"lib/forge-std/src/StdInvariant.sol","7":"lib/forge-std/src/StdJson.sol","8":"lib/forge-std/src/StdMath.sol","9":"lib/forge-std/src/StdStorage.sol","10":"lib/forge-std/src/StdStyle.sol","11":"lib/forge-std/src/StdToml.sol","12":"lib/forge-std/src/StdUtils.sol","13":"lib/forge-std/src/Test.sol","14":"lib/forge-std/src/Vm.sol","15":"lib/forge-std/src/console.sol","16":"lib/forge-std/src/console2.sol","17":"lib/forge-std/src/interfaces/IMulticall3.sol","18":"lib/forge-std/src/safeconsole.sol","19":"test/BabyPoolV2_Underflow_Attack.t.sol"},"language":"Solidity"}