Upload Solidity patches.karmamodel

Solidity patches.karmamodel

@@ -1,145 +1,1560 @@
 {
-  "badExamples" : 16,
+  "badExamples" : 958,
   "badTokens" : {
-    "%" : 1,
-    "*" : 2,
-    "100" : 1,
-    "1000" : 1,
-    "10000" : 1,
+    "!" : 10,
+    "%" : 7,
+    "&" : 1,
+    "*" : 35,
+    "+" : 46,
+    "-" : 19,
+    "0x00" : 2,
+    "0x100" : 1,
+    "0x1234567890123456789012345678901234567890" : 2,
+    "0x1f" : 1,
+    "0x20" : 10,
+    "0x40" : 17,
+    "100" : 11,
+    "1000" : 6,
+    "10000" : 3,
+    "100000" : 1,
+    "1000000" : 3,
+    "1000000000" : 1,
+    "100e8" : 1,
+    "1103515245" : 1,
+    "12345" : 1,
     "1500" : 1,
-    "2300" : 1,
+    "1e14" : 1,
+    "1e18" : 3,
+    "1e8" : 1,
+    "2300" : 2,
+    "256" : 1,
+    "3000" : 1,
+    "500" : 1,
     "997" : 1,
-    "<" : 1,
-    "=" : 7,
-    ">" : 1,
-    "abi" : 2,
-    "amount" : 2,
-    "assembly" : 1,
-    "balances" : 1,
+    "<" : 19,
+    "=" : 256,
+    ">" : 41,
+    "_admin" : 2,
+    "_pair" : 2,
+    "abi" : 13,
+    "accept" : 1,
+    "accrue" : 1,
+    "active" : 1,
+    "add" : 13,
+    "addblacklist" : 1,
+    "addfacet" : 2,
+    "address" : 181,
+    "admin" : 3,
+    "againstvotes" : 1,
+    "allowance" : 4,
+    "allowed" : 6,
+    "allowedselector" : 1,
+    "already" : 2,
+    "amount" : 116,
+    "amountin" : 14,
+    "amounts" : 6,
+    "amt" : 4,
+    "and" : 1,
+    "approve" : 2,
+    "approved" : 1,
+    "approvetoken" : 1,
+    "arr" : 1,
+    "asecond" : 1,
+    "ask" : 1,
+    "assembly" : 27,
+    "assert" : 1,
+    "authorized" : 3,
+    "bal" : 1,
+    "balance" : 18,
+    "balanceof" : 3,
+    "balances" : 8,
+    "base" : 2,
     "basis" : 1,
-    "block" : 2,
-    "bool" : 2,
-    "call" : 1,
-    "code" : 1,
-    "constant" : 1,
-    "delegatecall" : 1,
+    "before" : 1,
+    "bid" : 1,
+    "blacklisted" : 1,
+    "block" : 33,
+    "blocked" : 1,
+    "blockhash" : 4,
+    "bool" : 57,
+    "borrow" : 3,
+    "borrower" : 1,
+    "bps" : 2,
+    "bsecond" : 1,
+    "build" : 1,
+    "bump" : 1,
+    "burn" : 1,
+    "buy" : 3,
+    "buyer" : 1,
+    "bypass" : 1,
+    "bytes" : 32,
+    "bytes32" : 22,
+    "bytes4" : 3,
+    "call" : 27,
+    "callall" : 2,
+    "callcode" : 1,
+    "calldata" : 31,
+    "calldatacopy" : 2,
+    "calldataload" : 2,
+    "cancel" : 1,
+    "cashout" : 1,
+    "cfirst" : 1,
+    "changeadmin" : 1,
+    "changeimpl" : 1,
+    "claim" : 17,
+    "claimed" : 4,
+    "claimrefund" : 1,
+    "clone" : 1,
+    "close" : 1,
+    "code" : 3,
+    "collateral" : 9,
+    "collateralfactor" : 1,
+    "collect" : 2,
+    "commit" : 1,
+    "compute" : 3,
+    "constant" : 6,
+    "constructor" : 7,
+    "cost" : 1,
+    "count" : 2,
+    "counter" : 1,
+    "credit" : 2,
+    "data" : 44,
+    "datas" : 3,
+    "days" : 1,
+    "deadline" : 2,
+    "debt" : 2,
+    "decimals" : 1,
+    "decode" : 1,
+    "decreasemany" : 1,
+    "delegatecall" : 10,
+    "delta" : 1,
+    "deploy" : 3,
+    "deployedat" : 1,
+    "deposit" : 5,
+    "destroy" : 2,
+    "difficulty" : 3,
+    "digest" : 3,
+    "distribute" : 6,
+    "div" : 2,
+    "doit" : 1,
+    "domain_separator" : 1,
+    "domore" : 1,
+    "drain" : 1,
     "dst" : 1,
-    "encodepacked" : 1,
+    "duration" : 1,
+    "early" : 1,
+    "earned" : 1,
+    "ecrecover" : 3,
+    "empty" : 1,
+    "encode" : 1,
+    "encodepacked" : 9,
+    "encodewithselector" : 1,
     "encodewithsignature" : 1,
-    "external" : 2,
-    "fee" : 1,
-    "from" : 1,
-    "function" : 2,
-    "gas" : 1,
-    "impl" : 1,
-    "keccak256" : 1,
-    "less" : 1,
+    "endtime" : 2,
+    "epoch" : 1,
+    "escrows" : 1,
+    "eta" : 3,
+    "ether" : 3,
+    "etheramount" : 2,
+    "event" : 2,
+    "exec" : 2,
+    "execall" : 1,
+    "execute" : 9,
+    "exit" : 1,
+    "exp" : 2,
+    "expel" : 1,
+    "extcodesize" : 1,
+    "external" : 269,
+    "facet" : 3,
+    "factor" : 1,
+    "failed" : 1,
+    "false" : 1,
+    "fee" : 11,
+    "feed" : 8,
+    "fees" : 1,
+    "first" : 1,
+    "for" : 16,
+    "forvotes" : 1,
+    "forward" : 2,
+    "freeze" : 1,
+    "from" : 6,
+    "frozen" : 1,
+    "function" : 271,
+    "fund" : 2,
+    "gas" : 9,
+    "gasleft" : 1,
+    "gaslimit" : 1,
+    "get" : 1,
+    "getamountout" : 2,
+    "getnow" : 1,
+    "getreserves" : 2,
+    "grant" : 1,
+    "grantadmin" : 1,
+    "greater" : 2,
+    "guardian" : 2,
+    "harvest" : 1,
+    "hash" : 12,
+    "hasvoted" : 2,
+    "highest" : 1,
+    "highestbid" : 2,
+    "holders" : 2,
+    "hours" : 1,
+    "icallback" : 1,
+    "ids" : 2,
+    "ierc1155" : 1,
+    "ierc20" : 3,
+    "ierc721receiver" : 1,
+    "ifeed" : 3,
+    "impl" : 27,
+    "implementation" : 3,
+    "implementation_slot" : 1,
+    "index" : 3,
+    "indexed" : 1,
+    "initialize" : 2,
+    "initiator" : 1,
+    "inline" : 1,
+    "insufficient" : 6,
+    "int256" : 6,
+    "interface" : 2,
+    "internal" : 2,
+    "invalid" : 2,
+    "invariantbroken" : 1,
+    "ipair" : 5,
+    "isauthorized" : 1,
+    "isoperator" : 1,
+    "iszero" : 1,
+    "iuniswappair" : 1,
+    "keccak256" : 15,
+    "last" : 2,
+    "lastclaim" : 1,
+    "lastprice" : 1,
+    "latestanswer" : 8,
+    "latestprice" : 1,
+    "length" : 19,
+    "less" : 2,
+    "let" : 9,
+    "liquidate" : 2,
+    "liquidator" : 1,
+    "list" : 1,
+    "live" : 2,
+    "locked" : 5,
+    "lockeduntil" : 3,
+    "log1" : 2,
+    "login" : 1,
+    "long" : 2,
+    "loop" : 1,
+    "low" : 3,
+    "lowbyte" : 1,
+    "mapping" : 10,
+    "markprice" : 1,
+    "member" : 1,
+    "memory" : 19,
+    "message" : 1,
+    "mint" : 8,
+    "minter" : 1,
+    "minutes" : 1,
     "mistakenly" : 1,
-    "mload" : 1,
-    "msg" : 1,
-    "mstore" : 1,
-    "must" : 1,
-    "number" : 1,
-    "origin" : 1,
-    "owner" : 1,
+    "mload" : 13,
+    "mload8" : 1,
+    "modifier" : 1,
+    "msg" : 89,
+    "msghash" : 2,
+    "mstore" : 21,
+    "mstore8" : 1,
+    "mul" : 1,
+    "multicall" : 1,
+    "must" : 6,
+    "new" : 5,
+    "newimpl" : 1,
+    "newowner" : 9,
+    "newprice" : 1,
+    "newrate" : 1,
+    "newtotal" : 1,
+    "nominate" : 1,
+    "nominateadmin" : 1,
+    "nonce" : 4,
+    "not" : 6,
+    "notify" : 1,
+    "number" : 8,
+    "offset" : 5,
+    "onerc721received" : 1,
+    "onreward" : 1,
+    "operator" : 1,
+    "operatorapproval" : 2,
+    "operators" : 2,
+    "oracle" : 1,
+    "origin" : 4,
+    "out" : 27,
+    "owner" : 21,
+    "owner_" : 3,
+    "packed" : 1,
+    "paid" : 1,
+    "pair" : 13,
+    "pause" : 2,
+    "paused" : 3,
+    "pay" : 3,
+    "payable" : 63,
+    "payall" : 1,
+    "payload" : 3,
+    "payment" : 1,
+    "payout" : 5,
+    "payoutall" : 1,
+    "pending" : 2,
+    "per" : 2,
+    "percent" : 1,
+    "permit" : 4,
+    "permit_typehash" : 1,
     "pick" : 1,
+    "ping" : 2,
+    "pnl" : 1,
     "points" : 1,
-    "public" : 1,
-    "random" : 1,
-    "rate" : 2,
-    "require" : 3,
-    "return" : 3,
-    "sender" : 1,
-    "setvalue" : 2,
+    "positions" : 1,
+    "positive" : 1,
+    "power" : 1,
+    "price" : 9,
+    "pricepershare" : 1,
+    "principal" : 1,
+    "profit" : 1,
+    "proposalid" : 1,
+    "proposedowner" : 2,
+    "ptr" : 17,
+    "public" : 37,
+    "pure" : 21,
+    "push" : 1,
+    "queue" : 1,
+    "random" : 5,
+    "rate" : 6,
+    "read" : 1,
+    "ready" : 1,
+    "received" : 1,
+    "recipients" : 8,
+    "recover" : 2,
+    "redeem" : 2,
+    "register" : 1,
+    "relay" : 2,
+    "release" : 2,
+    "released" : 1,
+    "remove" : 1,
+    "renew" : 1,
+    "renounce" : 1,
+    "repaid" : 1,
+    "repay" : 1,
+    "reportprice" : 1,
+    "require" : 103,
+    "required" : 1,
+    "reserve0" : 2,
+    "reserve1" : 2,
+    "resetvalue" : 1,
+    "result" : 8,
+    "results" : 2,
+    "ret" : 2,
+    "return" : 83,
+    "returndatacopy" : 1,
+    "returndatasize" : 3,
+    "returns" : 46,
+    "reveal" : 1,
+    "revealed" : 4,
+    "revert" : 2,
+    "reward" : 3,
+    "rewardperblock" : 1,
+    "rewards" : 1,
+    "run" : 5,
+    "safebatchtransferfrom" : 1,
+    "saleprice" : 2,
+    "salt" : 1,
+    "seed" : 8,
+    "seen" : 2,
+    "sel" : 3,
+    "selector" : 2,
+    "selfdestruct" : 2,
+    "seller" : 2,
+    "send" : 3,
+    "sendall" : 1,
+    "sender" : 83,
+    "set" : 2,
+    "setadmin" : 2,
+    "setadmins" : 1,
+    "setbeacon" : 1,
+    "setdeadline" : 1,
+    "setdecimals" : 1,
+    "setdelegate" : 2,
+    "setdescription" : 1,
+    "setdues" : 1,
+    "setfacet" : 1,
+    "setfee" : 2,
+    "setimpl" : 1,
+    "setimplementation" : 1,
+    "setname" : 1,
+    "setoperator" : 1,
+    "setoracle" : 1,
+    "setowner" : 4,
+    "setparams" : 1,
+    "setpaused" : 1,
+    "setpauser" : 1,
+    "setprice" : 5,
+    "settle" : 1,
+    "settled" : 2,
+    "settotal" : 1,
+    "settreasury" : 1,
+    "setupgrader" : 1,
+    "seturi" : 1,
+    "setvalue" : 3,
+    "shareamount" : 1,
+    "shares" : 5,
+    "sigchain" : 1,
+    "signer" : 3,
+    "size" : 13,
+    "skim" : 1,
+    "slot" : 2,
+    "soon" : 1,
+    "spend" : 1,
+    "spender" : 9,
+    "sqrt" : 1,
     "src" : 1,
-    "sstore" : 1,
+    "sstore" : 2,
+    "stake" : 4,
+    "staked" : 2,
+    "stakedat" : 1,
+    "stakes" : 1,
+    "staticcall" : 5,
     "status" : 1,
-    "target" : 1,
-    "than" : 1,
-    "timestamp" : 1,
+    "step1" : 1,
+    "still" : 1,
+    "store" : 1,
+    "string" : 3,
+    "sum" : 1,
+    "support" : 1,
+    "swap" : 8,
+    "swapatob" : 1,
+    "sweep" : 1,
+    "sweepto" : 1,
+    "sweeptoken" : 1,
+    "takefees" : 1,
+    "target" : 29,
+    "targets" : 2,
+    "than" : 4,
+    "this" : 17,
+    "timestamp" : 24,
+    "tocents" : 1,
+    "toggle" : 1,
+    "token" : 18,
+    "token0" : 1,
+    "tokenid" : 4,
+    "tokens" : 1,
+    "too" : 5,
+    "total" : 5,
+    "totalassets" : 4,
+    "totaldeposits" : 1,
+    "totalearned" : 1,
+    "totalshares" : 4,
+    "totalstaked" : 1,
+    "totalsupply" : 1,
+    "transfer" : 58,
+    "transferfrom" : 4,
+    "transferownership" : 1,
+    "treasury" : 1,
+    "true" : 15,
+    "txhash" : 2,
     "uint" : 3,
-    "uint256" : 1,
-    "unchecked" : 2
+    "uint112" : 2,
+    "uint160" : 1,
+    "uint256" : 184,
+    "uint32" : 1,
+    "uint8" : 9,
+    "unauthorized" : 2,
+    "unchecked" : 17,
+    "unfreeze" : 1,
+    "unlock" : 1,
+    "update" : 2,
+    "updatescore" : 1,
+    "upgrade" : 2,
+    "upgradeandrun" : 1,
+    "upgraded" : 1,
+    "upgradeto" : 5,
+    "uri" : 1,
+    "used" : 4,
+    "usednonces" : 1,
+    "user" : 18,
+    "users" : 4,
+    "value" : 46,
+    "values" : 3,
+    "verify" : 2,
+    "vested" : 1,
+    "view" : 16,
+    "vote" : 1,
+    "voteandclaim" : 1,
+    "voted" : 5,
+    "votes" : 1,
+    "votingpower" : 1,
+    "wei" : 1,
+    "withauth" : 1,
+    "withdraw" : 11,
+    "withdrawall" : 2,
+    "withdrawanddeposit" : 1,
+    "withdrawpartial" : 1,
+    "withdrawpending" : 1,
+    "work" : 1,
+    "write" : 3,
+    "wrong" : 1,
+    "zero" : 3,
+    "|" : 2
   },
-  "goodExamples" : 34,
+  "goodExamples" : 3883,
   "goodTokens" : {
-    "*" : 2,
-    "+" : 1,
-    "-" : 2,
-    "100" : 1,
-    "1000" : 1,
-    "10000" : 1,
+    "!" : 248,
+    "%" : 7,
+    "&" : 26,
+    "*" : 68,
+    "+" : 114,
+    "-" : 59,
+    "05e18" : 1,
+    "0x20" : 2,
+    "0xff" : 1,
+    "100" : 15,
+    "1000" : 23,
+    "10000" : 35,
+    "100000" : 1,
+    "1000000e18" : 1,
     "1500" : 1,
-    "<" : 4,
-    "=" : 21,
-    ">" : 4,
-    "abi" : 2,
-    "address" : 4,
+    "1e15" : 1,
+    "1e18" : 13,
+    "1e6" : 2,
+    "1e8" : 5,
+    "200" : 3,
+    "2000" : 1,
+    "20000" : 1,
+    "200000" : 1,
+    "2048" : 2,
+    "2300" : 1,
+    "256" : 4,
+    "4096" : 6,
+    "500" : 6,
+    "5000" : 1,
+    "50000" : 3,
+    "65536" : 1,
+    "7500" : 1,
+    "8000" : 5,
+    "997" : 1,
+    "<" : 176,
+    "=" : 1666,
+    ">" : 362,
+    "__gap" : 4,
+    "__gap2" : 1,
+    "__gapv2" : 1,
+    "_abs" : 2,
+    "_cap" : 2,
+    "_feed" : 2,
+    "_impl" : 21,
+    "_in" : 2,
+    "_isowner" : 2,
+    "_lender" : 1,
+    "_oracle" : 4,
+    "_out" : 2,
+    "_owner" : 1,
+    "_owners" : 2,
+    "_pair" : 4,
+    "_reserve" : 1,
+    "_snapshot" : 6,
+    "_snapshotblock" : 2,
+    "_starttime" : 2,
+    "_status" : 20,
+    "_target" : 1,
+    "_threshold" : 1,
+    "_token" : 5,
+    "_total" : 3,
+    "_twap" : 2,
+    "abi" : 38,
+    "above" : 1,
+    "acc" : 6,
+    "accept" : 1,
+    "acceptadmin" : 2,
+    "acceptownership" : 3,
+    "account" : 2,
+    "accrue" : 2,
+    "active" : 4,
+    "add" : 4,
+    "addblacklist" : 1,
+    "added" : 6,
+    "addfacet" : 2,
+    "addrecipient" : 1,
+    "address" : 580,
+    "admin" : 22,
+    "admin_" : 1,
+    "adminexecute" : 1,
+    "adminroleset" : 2,
+    "admins" : 2,
+    "againstvotes" : 1,
+    "airdrop" : 2,
+    "allocation" : 1,
     "allow" : 1,
-    "allowance" : 1,
+    "allowance" : 31,
     "allowances" : 3,
-    "allowlist" : 3,
-    "amount" : 3,
+    "allowed" : 24,
+    "allowedselector" : 1,
+    "allowlist" : 9,
+    "alltokens" : 1,
+    "already" : 56,
+    "amount" : 275,
+    "amount0" : 2,
+    "amount1" : 2,
+    "amountin" : 16,
+    "amountout" : 3,
+    "amountoutmin" : 1,
+    "amounts" : 18,
+    "amt" : 7,
+    "answer" : 24,
+    "answered" : 6,
+    "answers" : 1,
+    "applied" : 6,
+    "approval" : 7,
+    "approvalcount" : 3,
+    "approve" : 6,
+    "approved" : 5,
+    "approvetoken" : 1,
+    "arr" : 2,
+    "array" : 1,
+    "arrays" : 2,
+    "ask" : 2,
+    "assembly" : 1,
+    "assets" : 1,
+    "assetsof" : 1,
+    "authenticated" : 2,
+    "author" : 1,
+    "authorized" : 4,
+    "available" : 1,
+    "bal" : 3,
+    "balance" : 64,
+    "balanceof" : 21,
+    "balances" : 23,
+    "base" : 2,
     "basis" : 1,
-    "block" : 1,
+    "batch" : 21,
+    "before" : 3,
+    "below" : 8,
+    "beneficiary" : 2,
+    "bid" : 2,
+    "blacklisted" : 4,
+    "blob" : 1,
+    "block" : 89,
+    "blocked" : 1,
+    "blockhash" : 2,
     "blocknumber" : 3,
-    "bool" : 3,
-    "bytes32" : 3,
-    "call" : 1,
-    "code" : 2,
+    "bonus" : 1,
+    "bool" : 215,
+    "borrow" : 6,
+    "borrowed" : 1,
+    "borrower" : 4,
+    "bounds" : 2,
+    "bps" : 3,
+    "bps_denominator" : 38,
+    "break" : 1,
+    "bridge" : 3,
+    "build" : 1,
+    "bump" : 1,
+    "burn" : 1,
+    "burned" : 1,
+    "buy" : 3,
+    "buyer" : 1,
+    "bytes" : 45,
+    "bytes32" : 60,
+    "bytes4" : 9,
+    "cache" : 1,
+    "cached" : 1,
+    "cachedat" : 3,
+    "cachedprice" : 1,
+    "call" : 120,
+    "call_gas_limit" : 2,
+    "callable" : 1,
+    "callall" : 2,
+    "callback" : 3,
+    "calldata" : 37,
+    "called" : 2,
+    "caller" : 2,
+    "callers" : 1,
+    "calls" : 2,
+    "cancel" : 1,
+    "cancelled" : 2,
+    "cannot" : 4,
+    "cap" : 9,
+    "cashout" : 1,
+    "catch" : 2,
+    "cf_bps" : 6,
+    "chainid" : 5,
+    "changeimpl" : 1,
+    "chunk" : 2,
+    "circulating" : 1,
+    "claim" : 34,
+    "claim_amount" : 3,
+    "claimed" : 19,
+    "claimeda" : 4,
+    "claimedb" : 3,
+    "claimownership" : 1,
+    "claimrefund" : 1,
+    "claims" : 1,
+    "clone" : 1,
+    "close" : 3,
+    "closed" : 1,
+    "code" : 42,
+    "collateral" : 17,
+    "collateralfactor" : 1,
+    "collateralperunit" : 2,
+    "collateralvalue" : 2,
+    "collect" : 2,
     "commit" : 1,
-    "committed" : 3,
-    "constructor" : 1,
+    "commitment" : 2,
+    "commitprice" : 1,
+    "committed" : 4,
+    "computation" : 1,
+    "compute" : 3,
+    "constant" : 151,
+    "constructor" : 146,
+    "consult" : 4,
+    "continue" : 6,
+    "contract" : 12,
+    "contracts" : 1,
+    "cooldown" : 2,
     "correct" : 1,
-    "done" : 1,
+    "cost" : 2,
+    "count" : 6,
+    "counter" : 2,
+    "credit" : 3,
+    "credited" : 2,
+    "creditof" : 1,
+    "credits" : 1,
+    "current" : 20,
+    "cursor" : 8,
+    "curveconstant" : 4,
+    "daily" : 1,
+    "dailyspend" : 4,
+    "data" : 75,
+    "datas" : 6,
+    "day" : 3,
+    "days" : 10,
+    "deadline" : 32,
+    "debt" : 18,
+    "decimals" : 4,
+    "decode" : 2,
+    "decrease" : 4,
+    "decreaseallowance" : 2,
+    "decreasemany" : 1,
+    "delay" : 15,
+    "delegate" : 1,
+    "delegatecall" : 13,
+    "delete" : 1,
+    "delta" : 1,
+    "denominator" : 2,
+    "deploy" : 3,
+    "deployed" : 8,
+    "deployedat" : 2,
+    "deposit" : 12,
+    "deposits" : 5,
+    "depth" : 2,
+    "dequeue" : 1,
+    "desc" : 1,
+    "description" : 2,
+    "destroy" : 1,
+    "destroyed" : 8,
+    "deviation" : 1,
+    "diff" : 4,
+    "difficulty" : 1,
+    "digest" : 15,
+    "disabled" : 1,
+    "dispatch" : 1,
+    "distribute" : 6,
+    "distributechunk" : 1,
+    "distribution" : 2,
+    "div" : 1,
+    "division" : 1,
+    "divisor" : 1,
+    "doit" : 2,
+    "domain_separator" : 10,
+    "domainseparator" : 5,
+    "domore" : 1,
+    "done" : 4,
+    "down" : 1,
+    "drain" : 2,
     "dst" : 1,
-    "encodepacked" : 1,
+    "duration" : 11,
+    "early_penalty_bps" : 2,
+    "earned" : 1,
+    "ecrecover" : 8,
+    "eip712domain" : 3,
+    "elapsed" : 18,
+    "elements" : 1,
+    "else" : 4,
+    "emit" : 24,
+    "empty" : 5,
+    "emptyarray" : 4,
+    "emptydata" : 2,
+    "emptyinput" : 2,
+    "enabled" : 2,
+    "encode" : 13,
+    "encodepacked" : 20,
+    "encodewithselector" : 2,
     "encodewithsignature" : 1,
-    "external" : 5,
-    "fee" : 1,
-    "from" : 2,
-    "function" : 5,
-    "gas" : 1,
-    "gasleft" : 1,
+    "encoding" : 1,
+    "end" : 18,
+    "ended" : 4,
+    "endtime" : 2,
+    "entries" : 1,
+    "entryprice" : 3,
+    "eoa" : 1,
+    "epoch" : 1,
+    "equal" : 1,
+    "error" : 15,
+    "escrow" : 1,
+    "escrows" : 3,
+    "eta" : 12,
+    "ether" : 7,
+    "event" : 23,
+    "exceeded" : 7,
+    "exceeds" : 5,
+    "exec" : 5,
+    "execall" : 1,
+    "execute" : 11,
+    "executed" : 3,
+    "execution" : 6,
+    "exit" : 2,
+    "exp" : 6,
+    "expected_codehash" : 1,
+    "expected_decimals" : 2,
+    "expectedlender" : 3,
+    "expel" : 1,
+    "expired" : 9,
+    "exponent" : 3,
+    "external" : 369,
+    "facet" : 8,
+    "facets" : 2,
+    "factor" : 2,
+    "failed" : 144,
+    "fallbackcalled" : 2,
+    "false" : 73,
+    "faucet" : 1,
+    "fee" : 17,
+    "fee_bps" : 11,
+    "feecollected" : 2,
+    "feed" : 20,
+    "feeda" : 3,
+    "feedb" : 3,
+    "fees" : 3,
+    "finality_delay" : 2,
+    "finalized" : 1,
+    "finalizedat" : 4,
+    "fired" : 4,
+    "first" : 4,
+    "flash" : 1,
+    "for" : 23,
+    "forvotes" : 2,
+    "forward" : 4,
+    "free" : 1,
+    "freeze" : 2,
+    "frequent" : 1,
+    "from" : 42,
+    "frozen" : 4,
+    "full" : 2,
+    "function" : 377,
+    "fund" : 2,
+    "funding" : 1,
+    "funding_interval" : 2,
+    "funds" : 5,
+    "gas" : 9,
+    "gas_reserve" : 4,
+    "gasleft" : 4,
+    "gastosend" : 3,
+    "get" : 1,
+    "getamountout" : 2,
+    "getnow" : 1,
+    "getpooledsupplybyshares" : 2,
+    "getprice" : 2,
+    "getreserves" : 1,
+    "getsharesbypooledsupply" : 2,
     "getvalue" : 2,
-    "hash" : 5,
-    "immutable" : 1,
-    "impl" : 1,
-    "increaseallowance" : 1,
-    "keccak256" : 1,
+    "grant" : 1,
+    "grantadmin" : 1,
+    "greater" : 1,
+    "guardian" : 2,
+    "halforder" : 2,
+    "harvest" : 3,
+    "has" : 24,
+    "hascode" : 1,
+    "hash" : 21,
+    "hasvoted" : 3,
+    "healthy" : 2,
+    "high" : 6,
+    "highest" : 2,
+    "highestbid" : 4,
+    "highestbidder" : 1,
+    "holders" : 2,
+    "hours" : 11,
+    "icallback" : 1,
+    "ids" : 6,
+    "ierc1155" : 1,
+    "ierc20" : 3,
+    "ierc721receiver" : 4,
+    "ifadmin" : 2,
+    "ifeed" : 4,
+    "ifeeda" : 3,
+    "ifeedb" : 3,
+    "imarkoracle" : 3,
+    "imessage" : 3,
+    "immutable" : 20,
+    "impl" : 54,
+    "implementation" : 55,
+    "implementation_slot" : 2,
+    "incorrect" : 1,
+    "increaseallowance" : 4,
+    "increasing" : 1,
+    "increment" : 4,
+    "index" : 7,
+    "indexed" : 22,
+    "indexoutofbounds" : 4,
+    "initial" : 1,
+    "initial_margin_bps" : 2,
+    "initialization" : 1,
+    "initialize" : 1,
+    "initialized" : 31,
+    "initiator" : 1,
+    "inline" : 1,
+    "input" : 6,
+    "inputs" : 4,
+    "insufficient" : 76,
+    "insufficientbalance" : 2,
+    "int256" : 29,
+    "interest_bps" : 2,
+    "interface" : 15,
+    "internal" : 7,
+    "invalid" : 49,
+    "invalidinput" : 2,
+    "invalidsignature" : 4,
+    "invoke" : 1,
+    "ipair" : 7,
+    "ipriceoracle" : 3,
+    "irandom" : 18,
+    "irebase" : 1,
+    "isapprovedorowner" : 2,
+    "ishealthy" : 1,
+    "isliquidatable" : 2,
+    "isoperator" : 2,
+    "isset" : 3,
+    "items" : 2,
+    "iterations" : 2,
+    "itimeweightedoracle" : 3,
+    "itwap" : 3,
+    "iuniswappair" : 1,
+    "iuptimefeed" : 2,
+    "k_min" : 3,
+    "keccak256" : 49,
+    "key" : 5,
+    "kratio" : 1,
+    "large" : 44,
+    "last" : 5,
+    "lastaccrual" : 3,
+    "lastaccrualblock" : 2,
+    "lastclaim" : 1,
+    "lastday" : 3,
+    "lastfunding" : 2,
+    "lastloanblock" : 3,
+    "lastprice" : 8,
+    "lastrewardblock" : 3,
+    "lastsender" : 2,
+    "lastupdate" : 15,
+    "lastupdated" : 2,
+    "latestanswer" : 14,
+    "latestprice" : 1,
+    "latestround" : 2,
+    "latestrounddata" : 2,
+    "latestroundid" : 2,
+    "latesttimestamp" : 3,
+    "leader" : 1,
     "least" : 1,
     "len" : 3,
-    "let" : 1,
-    "mapping" : 2,
-    "max" : 2,
-    "mload" : 1,
-    "msg" : 7,
+    "lender" : 1,
+    "length" : 144,
+    "let" : 2,
+    "lev" : 2,
+    "leverage" : 1,
+    "library" : 1,
+    "liq_bonus_bps" : 2,
+    "liquidatable" : 1,
+    "liquidate" : 3,
+    "liquidation" : 3,
+    "liquidity" : 2,
+    "list" : 2,
+    "live" : 1,
+    "loan" : 1,
+    "lock" : 4,
+    "lock_period" : 2,
+    "locked" : 260,
+    "lockedamount" : 5,
+    "lockeduntil" : 3,
+    "lockset" : 1,
+    "login" : 1,
+    "long" : 7,
+    "loop" : 1,
+    "lowbyte" : 1,
+    "lt_bps" : 2,
+    "majority_bps" : 2,
+    "maker" : 3,
+    "many" : 17,
+    "mapping" : 62,
+    "margin" : 4,
+    "mark" : 3,
+    "markprice" : 2,
+    "match" : 1,
+    "math" : 2,
+    "max" : 10,
+    "max_alloc_size" : 2,
+    "max_batch" : 16,
+    "max_bid_ratio_bps" : 2,
+    "max_blob" : 2,
+    "max_calls" : 2,
+    "max_data_size" : 2,
+    "max_depth" : 6,
+    "max_desc_length" : 2,
+    "max_deviation_bps" : 2,
+    "max_entries" : 4,
+    "max_factor" : 2,
+    "max_fill" : 4,
+    "max_funding_bps" : 1,
+    "max_ids" : 2,
+    "max_items" : 2,
+    "max_iterations" : 8,
+    "max_len" : 4,
+    "max_length" : 4,
+    "max_leverage" : 2,
+    "max_n" : 2,
+    "max_pay" : 4,
+    "max_per_tx" : 2,
+    "max_queries" : 2,
+    "max_recipients" : 6,
+    "max_retries" : 2,
+    "max_return" : 2,
+    "max_return_size" : 2,
+    "max_reward_rate" : 2,
+    "max_rounds" : 2,
+    "max_sends" : 4,
+    "max_size" : 4,
+    "max_spend" : 3,
+    "max_spread_bps" : 2,
+    "max_stale" : 2,
+    "max_steps" : 2,
+    "max_string_length" : 3,
+    "max_supply" : 5,
+    "max_targets" : 2,
+    "max_total" : 2,
+    "max_trade" : 4,
+    "maxage" : 2,
+    "maxborrow" : 2,
+    "maxstaleness" : 2,
+    "median" : 2,
+    "member" : 1,
+    "memory" : 18,
+    "message" : 3,
+    "messagelogged" : 2,
+    "messenger" : 3,
+    "met" : 2,
+    "meta" : 1,
+    "min" : 3,
+    "min_block_gap" : 2,
+    "min_increment" : 2,
+    "min_increment_bps" : 2,
+    "min_interval" : 2,
+    "min_quorum" : 2,
+    "min_seize_bps" : 2,
+    "min_update_delay" : 3,
+    "min_withdraw" : 2,
+    "minimum" : 4,
+    "minimum_initial_assets" : 2,
+    "minimum_liquidity" : 2,
+    "minincrement" : 2,
+    "minnext" : 2,
+    "minout" : 16,
+    "minseize" : 3,
+    "minshares" : 2,
+    "mint" : 8,
+    "minted" : 6,
+    "minter" : 2,
+    "minutes" : 2,
+    "mismatch" : 14,
+    "mload" : 2,
+    "modifier" : 187,
+    "move" : 2,
+    "msg" : 512,
+    "msghash" : 4,
     "mstore" : 1,
-    "must" : 1,
-    "number" : 1,
-    "owner" : 1,
+    "muldiv" : 2,
+    "muldivfull" : 2,
+    "multicall" : 1,
+    "must" : 20,
+    "mutabletoken" : 3,
+    "name" : 2,
+    "negative" : 3,
+    "new" : 7,
+    "newimpl" : 2,
+    "newowner" : 13,
+    "newprice" : 3,
+    "newrate" : 1,
+    "newslot" : 2,
+    "newtotal" : 1,
+    "newvalues" : 1,
+    "next" : 3,
+    "nominate" : 1,
+    "nominateadmin" : 2,
+    "nominatenewowner" : 1,
+    "nominateowner" : 1,
+    "non" : 5,
+    "nonce" : 22,
+    "nonces" : 4,
+    "nonexistent" : 2,
+    "nonreentrant" : 138,
+    "not" : 207,
+    "nothing" : 18,
+    "notify" : 1,
+    "notional" : 3,
+    "number" : 18,
+    "offset" : 3,
+    "old" : 2,
+    "onerc721received" : 4,
+    "only" : 2,
+    "onlyadmin" : 12,
+    "onlyauthorized" : 1,
+    "onlyguardian" : 2,
+    "onlyleader" : 3,
+    "onlyoperator" : 2,
+    "onlyowner" : 234,
+    "onlyownerof" : 2,
+    "onlyproxyadmin" : 2,
+    "onlyself" : 2,
+    "onreward" : 1,
+    "open" : 4,
+    "operation" : 1,
+    "operationfailed" : 2,
+    "operator" : 4,
+    "operatorapproval" : 2,
+    "operatorapprovals" : 3,
+    "operators" : 2,
+    "oracle" : 13,
+    "order" : 3,
+    "orderowner" : 3,
+    "orders" : 2,
+    "origin" : 4,
+    "out" : 43,
+    "output" : 2,
+    "outstanding" : 1,
+    "over" : 1,
+    "overflow" : 3,
+    "override" : 1,
+    "owed" : 6,
+    "owner" : 372,
+    "owner_" : 7,
+    "ownerchanged" : 2,
+    "ownerof" : 9,
+    "owners" : 3,
+    "ownershiptransferred" : 4,
+    "ownershiptransferstarted" : 2,
+    "paid" : 7,
+    "pair" : 19,
+    "pause" : 4,
+    "paused" : 12,
+    "pay" : 3,
+    "payable" : 64,
+    "payall" : 1,
+    "payer" : 1,
+    "payload" : 4,
+    "payment" : 7,
+    "payout" : 14,
+    "payoutall" : 1,
+    "penalty" : 2,
+    "pending" : 22,
+    "pendingaction" : 5,
+    "pendingadmin" : 10,
+    "pendingdata" : 3,
+    "pendingowner" : 19,
+    "pendingprice" : 10,
+    "pendingrewards" : 3,
+    "per" : 1,
+    "percent" : 3,
+    "period" : 4,
+    "permit" : 14,
+    "permit2" : 1,
+    "permit_typehash" : 5,
+    "ping" : 4,
+    "ping_gas" : 2,
+    "pnl" : 1,
     "points" : 1,
-    "public" : 4,
-    "random" : 1,
-    "rate" : 3,
-    "require" : 10,
-    "return" : 4,
-    "returns" : 1,
-    "reveal" : 1,
-    "revert" : 1,
-    "rewards" : 1,
-    "sender" : 7,
-    "spender" : 1,
-    "src" : 1,
-    "staticcall" : 1,
-    "status" : 2,
-    "target" : 1,
-    "true" : 1,
-    "type" : 2,
+    "pool" : 4,
+    "position" : 5,
+    "positions" : 5,
+    "positive" : 7,
+    "power" : 2,
+    "previous" : 6,
+    "previousowner" : 3,
+    "prevrandao" : 7,
+    "price" : 46,
+    "pricea" : 3,
+    "priceb" : 3,
+    "principal" : 2,
+    "private" : 87,
+    "processed" : 2,
+    "profit" : 1,
+    "proposal" : 2,
+    "proposalcount" : 2,
+    "proposalid" : 2,
+    "proposalids" : 3,
+    "proposaltime" : 4,
+    "propose" : 1,
+    "proposeadmin" : 1,
+    "proposedat" : 3,
+    "proposeemergencywithdraw" : 1,
+    "proposeprice" : 2,
+    "proposer" : 5,
+    "provider" : 18,
+    "proxy" : 1,
+    "proxyadmin" : 3,
+    "public" : 413,
+    "pull" : 1,
+    "pure" : 23,
+    "push" : 3,
+    "pushanswer" : 1,
+    "quantity" : 1,
+    "queries" : 1,
+    "query" : 1,
+    "queue" : 2,
+    "queued" : 2,
+    "quorum" : 1,
+    "quote" : 1,
+    "quotedprice" : 2,
+    "random" : 5,
+    "range" : 13,
+    "rate" : 8,
+    "ratebps" : 3,
+    "raw" : 1,
+    "reached" : 2,
+    "read" : 1,
+    "readable" : 1,
+    "reason" : 3,
+    "rebate" : 1,
+    "receive" : 4,
+    "received" : 6,
+    "receiver" : 6,
+    "recipient" : 9,
+    "recipients" : 15,
+    "record" : 1,
+    "records" : 2,
+    "recover" : 3,
+    "redeem" : 3,
+    "reentrant" : 67,
+    "refund" : 6,
+    "refunded" : 2,
+    "register" : 1,
+    "registered" : 1,
+    "reinitialize" : 1,
+    "rejected" : 1,
+    "relay" : 4,
+    "relayer" : 3,
+    "release" : 5,
+    "released" : 4,
+    "remove" : 1,
+    "removeblacklist" : 1,
+    "removefacet" : 1,
+    "renew" : 1,
+    "renounce" : 1,
+    "renounceownership" : 1,
+    "repaid" : 1,
+    "repay" : 2,
+    "replay" : 1,
+    "reportprice" : 1,
+    "requestrandom" : 12,
+    "require" : 1038,
+    "required" : 3,
+    "requiredmargin" : 2,
+    "reserve" : 4,
+    "reserve0" : 2,
+    "reserve1" : 2,
+    "reservea" : 1,
+    "reserveb" : 1,
+    "reset" : 1,
+    "resetvalue" : 1,
+    "result" : 10,
+    "results" : 1,
+    "ret" : 4,
+    "retries" : 1,
+    "return" : 128,
+    "returndata" : 1,
+    "returns" : 86,
+    "reveal" : 2,
+    "revealed" : 4,
+    "revert" : 22,
+    "revoke" : 2,
+    "revokeadmin" : 1,
+    "reward" : 9,
+    "rewarddebt" : 1,
+    "rewardperblock" : 1,
+    "rewardpersecond" : 1,
+    "rewards" : 6,
+    "round" : 7,
+    "roundid" : 2,
+    "route" : 2,
+    "royalty_bps" : 4,
+    "run" : 8,
+    "safebatchtransferfrom" : 1,
+    "saleprice" : 2,
+    "salt" : 7,
+    "seed" : 4,
+    "seen" : 5,
+    "seize" : 5,
+    "sel" : 6,
+    "selector" : 15,
+    "self" : 2,
+    "selfdestruct" : 1,
+    "seller" : 5,
+    "send" : 8,
+    "sender" : 500,
+    "senders" : 6,
+    "sendone" : 1,
+    "sends" : 2,
+    "sequencer" : 2,
+    "sequenceruptimefeed" : 1,
+    "session" : 1,
+    "sessionuser" : 5,
+    "set" : 5,
+    "setadmin" : 2,
+    "setadmins" : 1,
+    "setallowed" : 1,
+    "setallowlist" : 1,
+    "setask" : 1,
+    "setauthorized" : 1,
+    "setbeacon" : 1,
+    "setdeadline" : 1,
+    "setdecimals" : 1,
+    "setdelegate" : 2,
+    "setdescription" : 1,
+    "setdues" : 1,
+    "setfacet" : 1,
+    "setfee" : 2,
+    "setguardian" : 1,
+    "setimpl" : 3,
+    "setimplementation" : 3,
+    "setminter" : 1,
+    "setname" : 1,
+    "setoperator" : 1,
+    "setoracle" : 1,
+    "setowner" : 4,
+    "setparams" : 1,
+    "setpaused" : 2,
+    "setpauser" : 1,
+    "setprice" : 5,
+    "setreceiver" : 1,
+    "settle" : 1,
+    "settled" : 2,
+    "settlement" : 1,
+    "settotal" : 1,
+    "settreasury" : 1,
+    "setupgrader" : 1,
+    "seturi" : 1,
+    "setvalue" : 2,
+    "setvip" : 1,
+    "shareamount" : 2,
+    "shares" : 18,
+    "shift" : 1,
+    "short" : 6,
+    "sigattach" : 1,
+    "signature" : 9,
+    "signer" : 9,
+    "signodeadline" : 1,
+    "sigreplay" : 1,
+    "size" : 17,
+    "skim" : 1,
+    "slippage" : 8,
+    "slippage_bps" : 1,
+    "slot" : 4,
+    "slots" : 2,
+    "small" : 5,
+    "snapshot" : 10,
+    "snapshotblock" : 3,
+    "sold" : 1,
+    "soon" : 2,
+    "source" : 1,
+    "spend" : 3,
+    "spender" : 46,
+    "spenders" : 5,
+    "spent" : 1,
+    "spread" : 1,
+    "sqrt" : 1,
+    "src" : 2,
+    "src_chain_id" : 2,
+    "srcchainid" : 2,
+    "sstore" : 1,
+    "stake" : 11,
+    "staked" : 9,
+    "stakedat" : 2,
+    "staker" : 1,
+    "stakers" : 3,
+    "stakes" : 3,
+    "stale" : 4,
+    "start" : 12,
+    "started" : 2,
+    "startedat" : 2,
+    "starttime" : 3,
+    "state" : 3,
+    "staticcall" : 9,
+    "status" : 5,
+    "steps" : 2,
+    "still" : 1,
+    "storage" : 1,
+    "store" : 1,
+    "stored" : 4,
+    "string" : 6,
+    "struct" : 2,
+    "structhash" : 4,
+    "stuck" : 1,
+    "sub" : 1,
+    "submit" : 1,
+    "submitted" : 1,
+    "subtracted" : 6,
+    "success" : 1,
+    "sum" : 1,
+    "super" : 1,
+    "supply" : 1,
+    "support" : 2,
+    "swap" : 10,
+    "swapatob" : 1,
+    "sweep" : 5,
+    "sweepeth" : 1,
+    "sweepto" : 1,
+    "sweeptoken" : 1,
+    "takefees" : 1,
+    "target" : 50,
+    "targets" : 9,
+    "than" : 1,
+    "the" : 1,
+    "this" : 60,
+    "threshold" : 5,
+    "timelock" : 1,
+    "times" : 1,
+    "timestamp" : 69,
+    "tocents" : 1,
+    "token" : 29,
+    "token_unit" : 2,
+    "tokenid" : 9,
+    "tokenin" : 2,
+    "tokenout" : 2,
+    "tokens" : 3,
+    "too" : 89,
+    "total" : 33,
+    "totalassets" : 6,
+    "totaldeposited" : 4,
+    "totaldeposits" : 1,
+    "totalearned" : 1,
+    "totalowed" : 1,
+    "totalraised" : 1,
+    "totalshares" : 8,
+    "totalstaked" : 7,
+    "totalsupply" : 9,
+    "trade" : 3,
+    "transaction" : 2,
+    "transfer" : 32,
+    "transfer_typehash" : 6,
+    "transferfrom" : 4,
+    "transferownership" : 1,
+    "transfertoken" : 1,
+    "transferwithdata" : 1,
+    "treasury" : 2,
+    "true" : 119,
+    "trustedsource" : 1,
+    "try" : 1,
+    "twap" : 4,
+    "twapprice" : 3,
+    "txhash" : 8,
+    "type" : 8,
+    "typehash" : 2,
     "uint" : 8,
-    "uint256" : 2,
-    "view" : 1,
-    "|" : 1
+    "uint112" : 1,
+    "uint128" : 1,
+    "uint160" : 2,
+    "uint256" : 576,
+    "uint32" : 4,
+    "uint8" : 10,
+    "uint80" : 5,
+    "unauthorized" : 4,
+    "unavailable" : 1,
+    "unchecked" : 3,
+    "underflow" : 1,
+    "unexpected" : 5,
+    "unfreeze" : 1,
+    "unknown" : 3,
+    "unlock" : 4,
+    "unpause" : 2,
+    "unverified" : 1,
+    "update" : 4,
+    "updated" : 2,
+    "updatedat" : 3,
+    "updateprice" : 1,
+    "updatereward" : 1,
+    "updatescore" : 1,
+    "upgrade" : 3,
+    "upgradeandrun" : 1,
+    "upgraded" : 1,
+    "upgradeto" : 8,
+    "uri" : 1,
+    "used" : 9,
+    "useddigest" : 3,
+    "usednonces" : 2,
+    "usedsalts" : 3,
+    "user" : 57,
+    "users" : 8,
+    "value" : 143,
+    "valuechanged" : 2,
+    "values" : 5,
+    "vault" : 1,
+    "verified" : 1,
+    "verify" : 2,
+    "verifyingcontract" : 2,
+    "verifymessage" : 2,
+    "version" : 1,
+    "vested" : 3,
+    "vesting_duration" : 4,
+    "via" : 1,
+    "view" : 35,
+    "vip" : 3,
+    "virtual_assets" : 3,
+    "virtual_shares" : 3,
+    "vote" : 1,
+    "voteandclaim" : 1,
+    "voted" : 14,
+    "votes" : 3,
+    "voteweight" : 2,
+    "voting" : 5,
+    "votingpower" : 1,
+    "wad" : 11,
+    "wadamount" : 2,
+    "way" : 1,
+    "wei" : 1,
+    "whennotpaused" : 2,
+    "who" : 2,
+    "wide" : 1,
+    "winner" : 1,
+    "wiped" : 3,
+    "withauth" : 1,
+    "withdraw" : 31,
+    "withdrawal" : 3,
+    "withdrawaldelay" : 2,
+    "withdrawall" : 1,
+    "withdrawanddeposit" : 1,
+    "withdrawn" : 2,
+    "withdrawpartial" : 1,
+    "withdrawpending" : 1,
+    "withdrawto" : 1,
+    "work" : 2,
+    "work_iterations" : 2,
+    "write" : 3,
+    "wrong" : 2,
+    "x01" : 7,
+    "x19" : 7,
+    "zero" : 143,
+    "zeroaddress" : 2,
+    "zerovalue" : 6,
+    "|" : 9
   },
   "name" : "Solidity patches"
 }