package main import ( "bufio" "encoding/hex" "encoding/json" "flag" "fmt" "github.com/ledgerwatch/turbo-geth/common" "github.com/ledgerwatch/turbo-geth/core/vm" "log" "math/big" "os" "os/exec" "runtime" "strconv" "strings" "time" ) var maxStackLen = 1024 var maxStackCount = 25600000 var maxAnlyCounterLimit = 1048756 var maxSecs int64 = 600 var maxMBs uint64 = 1000 var mode = flag.String("mode", "test", "Mode for cfg analysis.") var bytecode = flag.String("bytecode", "0x00", "Bytecode for cfg analysis") var quiet = flag.Bool("quiet", false, "Quiet for cfg analysis") func testGenCfg() { if *mode == "worker" { code, _ := hex.DecodeString(*bytecode) worker(code) return } if *mode == "server" { batchServer() return } if *mode == "test" { absIntTestSimple00() absIntTestRequires00() absIntTestCall01() absIntTestDiv00() absIntTestEcrecoverLoop02() absIntTestStorageVar03() absIntTestStaticLoop00() absIntTestPrivateFunction01() absIntTestPrivateFunction02() absIntTestStaticLoop01() absIntTestDepositContract() absIntTestPanic00() absIntTestSmallImprecision() absIntTestSmallInvalidJumpDest() absIntTestSmallImprecision2() absIntAndJumpImprecision() return } } func worker(code []byte) { metrics := vm.CfgMetrics{} mon := make(chan int, 1) start := time.Now() go func() { cfg, _ := vm.GenCfg(code, maxAnlyCounterLimit, maxStackLen, maxStackCount, &metrics) if cfg.Metrics.Valid { proof := cfg.GenerateProof() cfg.ProofSerialized = proof.Serialize() dproof := vm.DeserializeCfgProof(cfg.ProofSerialized) check := vm.CheckCfg(code, dproof) metrics.CheckerFailed = !check metrics.ProofSizeBytes = len(cfg.ProofSerialized) } mon <- 0 }() oom := make(chan int, 1) go func() { for { var m runtime.MemStats runtime.ReadMemStats(&m) // For info on each, see: https://golang.org/pkg/runtime/#MemStats if !*quiet { fmt.Printf("Alloc = %v MiB", bToMb(m.Alloc)) fmt.Printf("\tTotalAlloc = %v MiB", bToMb(m.TotalAlloc)) fmt.Printf("\tSys = %v MiB", bToMb(m.Sys)) fmt.Printf("\tNumGC = %v\n", m.NumGC) } time.Sleep(10 * time.Second) metrics.MemUsedMBs = bToMb(m.Alloc) if metrics.MemUsedMBs > maxMBs { oom <- 0 } } }() select { case <-mon: if !*quiet { fmt.Printf("Done\n") } metrics.Time = time.Since(start) case <-time.After(time.Duration(maxSecs) * time.Second): if !*quiet { fmt.Printf("Timed out\n") } metrics.Timeout = true metrics.Time = time.Since(start) case <-oom: if !*quiet { fmt.Printf("OOM\n") } metrics.OOM = true } b, err := json.Marshal(metrics) if err != nil { fmt.Println(err) return } fmt.Printf("%v", string(b)) } func bToMb(b uint64) uint64 { return b / 1024 / 1024 } func batchServer() { numWorkers := runtime.NumCPU() - 2 fmt.Printf("Number of cores: %v\n", numWorkers) file, err := os.Open("absintdata/contract_bytecode_txcnt.csv") //file, err := os.Open("/Users/suhabebugrara/absintdata/small_imprecision.csv") if err != nil { log.Fatalf("failed opening file: %s", err) } scanner := bufio.NewScanner(file) scanner.Split(bufio.ScanLines) scanner.Scan() //remove header jobList := make([]*cfgJob, 0) for scanner.Scan() { line := scanner.Text() if len(strings.TrimSpace(line)) == 0 { continue } row := strings.Split(line, ",") txcnt, perr := strconv.ParseInt(row[0], 10, 64) check(perr) code, _ := hex.DecodeString(row[1][2:]) jobList = append(jobList, &cfgJob{int(txcnt), code}) } file.Close() fmt.Printf("Finished parsing %v jobs\n", len(jobList)) jobs := make(chan *cfgJob, len(jobList)) results := make(chan *cfgJobResult, len(jobList)) for j := 0; j < len(jobList); j++ { jobs <- jobList[j] } close(jobs) fmt.Printf("Closing jobs\n") for i := 0; i < numWorkers; i++ { go func(id int) { for job := range jobs { enc := hex.EncodeToString(job.code) cmd := exec.Command("./build/bin/hack", "--action", "cfg", "--mode", "worker", "--quiet", "--bytecode", enc) metrics := vm.CfgMetrics{} out, oerr := cmd.Output() if oerr == nil { lines := strings.Split(string(out), "\n") merr := json.Unmarshal([]byte(lines[len(lines)-1]), &metrics) if merr != nil { fmt.Printf("Output:\n") fmt.Printf("%v\n", string(out)) fmt.Printf("Bytecode:\n") fmt.Printf("%v %v\n", id, hex.EncodeToString(job.code)) panic(merr) } } else { fmt.Println("Warning: Could not get output for " + hex.EncodeToString(job.code)) } results <- &cfgJobResult{job, &metrics} } }(i) } current := time.Now() timestamp := current.Format("2006-01-02_15-04-05") filename := fmt.Sprintf("results_%v.csv", timestamp) fmt.Printf("Writing results to %v\n", filename) resultsFile, err := os.Create(filename) check(err) headers := []string{"TxCount", "BytecodeLen", "Valid", "BadJumpReason", "StackCountLimitReached", "ShortStack", "Timeout", "OOM", "Elapsed (ms)", "MemUsed (MB)", "Checker", "ProofSize (bytes)", "Bytecode"} _, err = resultsFile.WriteString(strings.Join(headers, "|") + "\n") check(err) err = resultsFile.Sync() check(err) eval := CfgEval{numPrograms: 191400} //numJobs := len(jobList) numJobs := len(jobList) for j := 0; j < numJobs; j++ { result := <-results line := []string{si(result.job.txcnt), si(len(result.job.code)), sb(result.metrics.Valid), result.metrics.GetBadJumpReason(), sb(result.metrics.StackCountLimitReached), sb(result.metrics.ShortStack), sb(result.metrics.Timeout), sb(result.metrics.OOM), si64(result.metrics.Time.Milliseconds()), sui64(result.metrics.MemUsedMBs), sb(result.metrics.Checker), si(result.metrics.ProofSizeBytes), hex.EncodeToString(result.job.code)} _, err = resultsFile.WriteString(strings.Join(line, "|") + "\n") check(err) err = resultsFile.Sync() check(err) eval.update(result, 1) if eval.numProgramsAnalyzed%10 == 0 { eval.printStats() } } } func si64(n int64) string { return fmt.Sprintf("%v", n) } func sui64(n uint64) string { return fmt.Sprintf("%v", n) } /* func cfg0Test0() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x1, 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func cfg0Test1() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x2, byte(vm.PUSH1), 0x0, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func dfTest0() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x2, byte(vm.PUSH1), 0x0, 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func dfTest1() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x2, byte(vm.PUSH1), 0x0, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func dfTest2() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x2, byte(vm.PUSH1), 0x6, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func dfTest3() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } //should fail to find concrete jump func absIntTest1() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } //should fail to find concrete jump func absIntTest2() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x0, byte(vm.JUMP), 0x0} vm.AbsIntCfgHarness(contract, 0, 64) } func absIntTest3() { contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, false) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x55, byte(vm.MLOAD), byte(vm.LT), byte(vm.PUSH1), 0x0, //jump destination byte(vm.JUMPI), byte(vm.STOP)} vm.AbsIntCfgHarness(contract, 0, 64) } */ func absIntAndJumpImprecision() { const s = "6080604052600436106100775763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166329cb924d811461015f578063520ab54d146101865780636f7bc9be146101a757806378e97925146101f05780638f84aa0914610205578063f3f7d63314610236575b336000908152602081905260409020662386f26fc10000341061012757600354600160a060020a03166108fc6100c560646100b934600a63ffffffff61024b16565b9063ffffffff61028416565b6040518115909202916000818181858888f193505050501580156100ed573d6000803e3d6000fd5b50805415156100ff5760018054810190555b610108336102a7565b805461011a903463ffffffff61039316565b815542600182015561015c565b3466038d7ea4c6800014156101535761013f336102a7565b60038101805460ff1916600117905561015c565b61015c336102a7565b50005b34801561016b57600080fd5b506101746103a5565b60408051918252519081900360200190f35b34801561019257600080fd5b50610174600160a060020a03600435166103a9565b3480156101b357600080fd5b506101c8600160a060020a0360043516610486565b6040805194855260208501939093528383019190915215156060830152519081900360800190f35b3480156101fc57600080fd5b506101746104b0565b34801561021157600080fd5b5061021a6104b6565b60408051600160a060020a039092168252519081900360200190f35b34801561024257600080fd5b506101746104c5565b60008083151561025e576000915061027d565b5082820282848281151561026e57fe5b041461027957600080fd5b8091505b5092915050565b60008080831161029357600080fd5b828481151561029e57fe5b04949350505050565b600160a060020a0381166000908152602081905260408120906102c9836103a9565b9050600082600001541180156102df5750600081115b1561038e5730318111156102f1575030315b6002820154610306908263ffffffff61039316565b6002830155426001830155815461032b906064906100b990609b63ffffffff61024b16565b60028301541061035f5760008083556001808401829055600284019190915560038301805460ff1916905580546000190190555b604051339082156108fc029083906000818181858888f1935050505015801561038c573d6000803e3d6000fd5b505b505050565b60008282018381101561027957600080fd5b4290565b600160a060020a038116600090815260208190526040812060018101548290819081906103e490603c906100b990429063ffffffff6104cb16565b600385015490935060ff161561044b57600091506105a08310610407576105a091505b61044462dbba006100b9856104386104296105a084848a63ffffffff6104cb16565b8954906004026101900161024b565b9063ffffffff61024b16565b945061047d565b8354610465906064906100b990600463ffffffff61024b16565b90506104446105a06100b9838663ffffffff61024b16565b50505050919050565b60006020819052908152604090208054600182015460028301546003909301549192909160ff1684565b60025481565b600354600160a060020a031681565b60015481565b600080838311156104db57600080fd5b50509003905600a165627a7a7230582003e15824efbf4304f8ab122e9796d73f32a7330964528bf24ac011046e16f1070029" runCfgAnly("AndJumpImprecision00", s) } //17891 transactions, 588 bytecode len func absIntTestSmallImprecision2() { const s = "6080604052600436106100405763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166393e84cd98114610045575b600080fd5b34801561005157600080fd5b5061005a61005c565b005b60008060008060008060008060008060008060008073a62142888aba8370742be823c1782d17a0389da173ffffffffffffffffffffffffffffffffffffffff1663747dff426040518163ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004016101c060405180830381600087803b1580156100ea57600080fd5b505af11580156100fe573d6000803e3d6000fd5b505050506040513d6101c081101561011557600080fd5b8101908080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291905050509d509d509d509d509d509d509d509d509d509d509d509d509d509d508673ffffffffffffffffffffffffffffffffffffffff167318a0451ea56fd4ff58f59837e9ec30f346ffdca573ffffffffffffffffffffffffffffffffffffffff161415151561021057fe5b50505050505050505050505050505600a165627a7a72305820ec5e1703d3b74688c3350622a2bcfc097615733fa5f8df7adf51d66ebf42d0260029" runCfgAnly("SmallImprecision02", s) } func absIntTestSmallImprecision() { const s = "5b7355173aca573ab872c570056d929d89f6babc3fb53156" runCfgAnly("SmallImprecision01", s) } func absIntTestSmallInvalidJumpDest() { const s = "60606040526008565b600256" runCfgAnly("SmallInvalidJumpDest", s) } /* func absIntTestSmall00() { const s = "3360601c62c90bc318585733ff" runCfgAnly("Small00", s) }*/ func absIntTestPanic00() { const s = "366000803761100060003660007302d808ee97204b6f2463c2f4af478ee5c9f1b4e95af43d6000803e80600081146053573d6000f35b3d6000fd" runCfgAnly("Panic00", s) } func absIntTestSimple00() { /* pragma solidity ^0.6.0; contract simple00 { function execute() public returns (uint) { return 5; } } */ const s = "6080604052348015600f57600080fd5b506004361060285760003560e01c80636146195414602d575b600080fd5b60336049565b6040518082815260200191505060405180910390f35b6000600590509056fea2646970667358221220e2d6ab235a595eb0ea85f8cc9c54b34e1b4fb7b8f0446851d77e72e6d973b15364736f6c634300060c0033" runCfgAnly("Simple00", s) } func absIntTestDiv00() { /* pragma solidity ^0.6.0; contract div00 { function execute(uint i) pure public returns (uint) { return 3 / i; } } */ const s = "6080604052348015600f57600080fd5b506004361060285760003560e01c8063fe0d94c114602d575b600080fd5b605660048036036020811015604157600080fd5b8101908080359060200190929190505050606c565b6040518082815260200191505060405180910390f35b600081600381607757fe5b04905091905056fea2646970667358221220b094fe68fc0d94f35a01aa902290c8244fecb2ad6d1e773d7be369553fd8d48264736f6c63430006060033" runCfgAnly("Div00", s) } func absIntTestRequires00() { /* pragma solidity 0.4.24; contract requires00 { function execute(uint256 a0) public returns (address) { require(a0 > 0); return 5; } } */ const s = "608060405260043610603f576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063fe0d94c1146044575b600080fd5b348015604f57600080fd5b50606c6004803603810190808035906020019092919050505060ae565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000808211151560bd57600080fd5b600590509190505600a165627a7a723058206e2f5feea3d6988c01bdd0e633ee0b3ee25e22144b361f39e79d525ce072ae7b0029" runCfgAnly("Requires00", s) } func absIntTestCall01() { /* pragma solidity 0.5.0; contract call01 { uint public nonce; function execute(bool condition, uint gasLimit, uint value, bytes memory data, address destination) public { require(condition); nonce = nonce + 1; bool success = false; assembly { success := call(gasLimit, destination, value, add(data, 0x20), mload(data), 0, 0) } require(success); } } */ const s = "60806040526004361061004c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806361fa2d7114610051578063affed0e014610159575b600080fd5b34801561005d57600080fd5b50610157600480360360a081101561007457600080fd5b810190808035151590602001909291908035906020019092919080359060200190929190803590602001906401000000008111156100b157600080fd5b8201836020820111156100c357600080fd5b803590602001918460018302840111640100000000831117156100e557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610184565b005b34801561016557600080fd5b5061016e6101c4565b6040518082815260200191505060405180910390f35b84151561019057600080fd5b600160005401600081905550600080905060008084516020860187868af190508015156101bc57600080fd5b505050505050565b6000548156fea165627a7a723058206ad69eb8bdde0a17439a080093eb09b7f9cb9f2c8ecc602773db3599cde132f10029" runCfgAnly("Call01", s) } func absIntTestEcrecoverLoop02() { /* pragma solidity 0.5.0; contract ecrecoverloop02 { function execute(bytes32 hash, bytes memory data, uint8[2] memory sigV, bytes32[2] memory sigR, bytes32[2] memory sigS) pure public { for (uint i = 0; i < 2; i++) { address recovered = ecrecover(hash, sigV[i], sigR[i], sigS[i]); require(recovered > address(0)); } } } */ const s = "608060405260043610610041576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680633543d4b214610046575b600080fd5b34801561005257600080fd5b506101da600480360361010081101561006a57600080fd5b81019080803590602001909291908035906020019064010000000081111561009157600080fd5b8201836020820111156100a357600080fd5b803590602001918460018302840111640100000000831117156100c557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929080604001906002806020026040519081016040528092919082600260200280828437600081840152601f19601f820116905080830192505050505050919291929080604001906002806020026040519081016040528092919082600260200280828437600081840152601f19601f820116905080830192505050505050919291929080604001906002806020026040519081016040528092919082600260200280828437600081840152601f19601f82011690508083019250505050505091929192905050506101dc565b005b60008090505b60028110156102d557600060018786846002811015156101fe57fe5b6020020151868560028110151561021157fe5b6020020151868660028110151561022457fe5b602002015160405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015610280573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161115156102c757600080fd5b5080806001019150506101e2565b50505050505056fea165627a7a723058200e559ecf0b4ed3978069fd9e401adb4043ef711a33a5926f0e081d7bcdf08bb80029" runCfgAnly("EcrecoverLoop02", s) } func absIntTestStorageVar03() { /* pragma solidity 0.5.0; contract storagevar03 { uint private n; function execute() public returns(uint) { n = 5; require(false); } } */ const s = "608060405260043610603f576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806361461954146044575b600080fd5b348015604f57600080fd5b506056606c565b6040518082815260200191505060405180910390f35b6000600560008190555060001515608257600080fd5b9056fea165627a7a723058206c2e2e763fa3e914d5806ac22d4cf3bd0ff53cd57740965d5e5d05934668a9110029" runCfgAnly("StorageVar03", s) } func absIntTestStaticLoop00() { /* pragma solidity 0.5.0; contract staticloop00 { function execute(uint a0) pure external returns(uint256) { uint sum = a0; require (a0 < 10); for (uint i = 0; i < 3; i++) { sum += i; } return sum; } } */ const s = "608060405260043610603f576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063fe0d94c1146044575b600080fd5b348015604f57600080fd5b50607960048036036020811015606457600080fd5b8101908080359060200190929190505050608f565b6040518082815260200191505060405180910390f35b600080829050600a8310151560a357600080fd5b60008090505b600381101560c2578082019150808060010191505060a9565b508091505091905056fea165627a7a72305820e9eae4d836605e8f28df860b8f590e6cd933ddcbf111d99767c764aa99f093900029" runCfgAnly("StaticLoop00", s) } func runCfgAnly(testName string, code string) { decoded, derr := hex.DecodeString(code) if derr != nil { log.Fatal(derr) } metrics := vm.CfgMetrics{} cfg, err := vm.GenCfg(decoded, 0, maxStackLen, maxStackCount, &metrics) cfg.PrintAnlyState() if !cfg.Metrics.Valid || err != nil { fmt.Printf("Test failed: %v %v\n", testName, err) fmt.Printf("Bad jump reason: %v\n", cfg.Metrics.GetBadJumpReason()) fmt.Printf("# bad jumps: %v\n", len(cfg.BadJumps)) } else { fmt.Printf("Test passed: %v Covered=%v Instructions=%v Uncovered=%v Epilogue=%v\n", testName, cfg.GetCoverageStats().Covered, cfg.GetCoverageStats().Instructions, cfg.GetCoverageStats().Uncovered, cfg.GetCoverageStats().Epilogue) proof := cfg.GenerateProof() cfg.ProofSerialized = proof.Serialize() fmt.Printf("Proof:\n%+v\n", string(cfg.ProofSerialized)) dproof := vm.DeserializeCfgProof(cfg.ProofSerialized) check := vm.CheckCfg(decoded, dproof) if check { fmt.Printf("Proof checker successfully checked proof") } else { fmt.Printf("Proof checker failed to check proof") } } } func absIntTestStaticLoop01() { /* pragma solidity 0.5.0; contract staticloop00 { function execute(uint a0) pure external returns(uint256) { uint sum = a0; for (uint i = 0; i < 1; i++) { sum += i; } return sum; } } */ const s = "6080604052348015600f57600080fd5b506004361060285760003560e01c8063fe0d94c114602d575b600080fd5b605660048036036020811015604157600080fd5b8101908080359060200190929190505050606c565b6040518082815260200191505060405180910390f35b60008082905060008090505b6001811015609157808201915080806001019150506078565b508091505091905056fea26469706673582212206a12d74a991e3b9cbf04e5abed951fe8a0042780f7a9fe889fd798624b44be1264736f6c63430006060033" runCfgAnly("StaticLoop01", s) } func absIntTestPrivateFunction01() { /* pragma solidity ^0.6.6; contract PrivateFunction { function f(uint a0) pure private { require (a0 < 10); } function execute(uint a0) pure external returns(uint256) { f(a0); a0 = a0 + 1; f(a0); } } */ const s = "6080604052348015600f57600080fd5b506004361060285760003560e01c8063fe0d94c114602d575b600080fd5b605660048036036020811015604157600080fd5b8101908080359060200190929190505050606c565b6040518082815260200191505060405180910390f35b60006075826087565b6001820191506082826087565b919050565b600a8110609357600080fd5b5056fea26469706673582212201621427408bf92a9a07dd10d32e63a8421461a0778eeaba88b9fd84e3769b5ca64736f6c63430006060033" runCfgAnly("PrivateFunction01", s) } func absIntTestPrivateFunction02() { /* pragma solidity 0.6.12; contract DepositContract { function get_deposit_root(bytes32 node) external view returns (uint64) { return to_little_endian_64(); } function get_deposit_count() external view returns (uint64) { return to_little_endian_64(); } function to_little_endian_64() internal pure returns (uint64) { return 15; } } */ const s = "6080604052348015600f57600080fd5b506004361060325760003560e01c8063621fd130146037578063da36c6a314605d575b600080fd5b603d60a6565b604051808267ffffffffffffffff16815260200191505060405180910390f35b608660048036036020811015607157600080fd5b810190808035906020019092919050505060b3565b604051808267ffffffffffffffff16815260200191505060405180910390f35b600060ae60c2565b905090565b600060bb60c2565b9050919050565b6000600f90509056fea264697066735822122002e819f5f340845231359a0b3bc4134fb1daff9c5397e4c6d3101e54d0cdee0b64736f6c634300060c0033" runCfgAnly("PrivateFunction02", s) } func absIntTestDepositContract() { const s = "60806040526004361061003f5760003560e01c806301ffc9a71461004457806322895118146100a4578063621fd130146101ba578063c5f2892f14610244575b600080fd5b34801561005057600080fd5b506100906004803603602081101561006757600080fd5b50357fffffffff000000000000000000000000000000000000000000000000000000001661026b565b604080519115158252519081900360200190f35b6101b8600480360360808110156100ba57600080fd5b8101906020810181356401000000008111156100d557600080fd5b8201836020820111156100e757600080fd5b8035906020019184600183028401116401000000008311171561010957600080fd5b91939092909160208101903564010000000081111561012757600080fd5b82018360208201111561013957600080fd5b8035906020019184600183028401116401000000008311171561015b57600080fd5b91939092909160208101903564010000000081111561017957600080fd5b82018360208201111561018b57600080fd5b803590602001918460018302840111640100000000831117156101ad57600080fd5b919350915035610304565b005b3480156101c657600080fd5b506101cf6110b5565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102095781810151838201526020016101f1565b50505050905090810190601f1680156102365780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561025057600080fd5b506102596110c7565b60408051918252519081900360200190f35b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a70000000000000000000000000000000000000000000000000000000014806102fe57507fffffffff0000000000000000000000000000000000000000000000000000000082167f8564090700000000000000000000000000000000000000000000000000000000145b92915050565b6030861461035d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806118056026913960400191505060405180910390fd5b602084146103b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603681526020018061179c6036913960400191505060405180910390fd5b6060821461040f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260298152602001806118786029913960400191505060405180910390fd5b670de0b6b3a7640000341015610470576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806118526026913960400191505060405180910390fd5b633b9aca003406156104cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806117d26033913960400191505060405180910390fd5b633b9aca00340467ffffffffffffffff811115610535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602781526020018061182b6027913960400191505060405180910390fd5b6060610540826114ba565b90507f649bbc62d0e31342afea4e5cd82d4049e7e1ee912fc0889aa790803be39038c589898989858a8a6105756020546114ba565b6040805160a0808252810189905290819060208201908201606083016080840160c085018e8e80828437600083820152601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01690910187810386528c815260200190508c8c808284376000838201819052601f9091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01690920188810386528c5181528c51602091820193918e019250908190849084905b83811015610648578181015183820152602001610630565b50505050905090810190601f1680156106755780820380516001836020036101000a031916815260200191505b5086810383528881526020018989808284376000838201819052601f9091017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169092018881038452895181528951602091820193918b019250908190849084905b838110156106ef5781810151838201526020016106d7565b50505050905090810190601f16801561071c5780820380516001836020036101000a031916815260200191505b509d505050505050505050505050505060405180910390a1600060028a8a600060801b604051602001808484808284377fffffffffffffffffffffffffffffffff0000000000000000000000000000000090941691909301908152604080517ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0818403018152601090920190819052815191955093508392506020850191508083835b602083106107fc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016107bf565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610859573d6000803e3d6000fd5b5050506040513d602081101561086e57600080fd5b5051905060006002806108846040848a8c6116fe565b6040516020018083838082843780830192505050925050506040516020818303038152906040526040518082805190602001908083835b602083106108f857805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016108bb565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610955573d6000803e3d6000fd5b5050506040513d602081101561096a57600080fd5b5051600261097b896040818d6116fe565b60405160009060200180848480828437919091019283525050604080518083038152602092830191829052805190945090925082918401908083835b602083106109f457805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016109b7565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610a51573d6000803e3d6000fd5b5050506040513d6020811015610a6657600080fd5b5051604080516020818101949094528082019290925280518083038201815260609092019081905281519192909182918401908083835b60208310610ada57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610a9d565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610b37573d6000803e3d6000fd5b5050506040513d6020811015610b4c57600080fd5b50516040805160208101858152929350600092600292839287928f928f92018383808284378083019250505093505050506040516020818303038152906040526040518082805190602001908083835b60208310610bd957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610b9c565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610c36573d6000803e3d6000fd5b5050506040513d6020811015610c4b57600080fd5b50516040518651600291889160009188916020918201918291908601908083835b60208310610ca957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610c6c565b6001836020036101000a0380198251168184511680821785525050505050509050018367ffffffffffffffff191667ffffffffffffffff1916815260180182815260200193505050506040516020818303038152906040526040518082805190602001908083835b60208310610d4e57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610d11565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610dab573d6000803e3d6000fd5b5050506040513d6020811015610dc057600080fd5b5051604080516020818101949094528082019290925280518083038201815260609092019081905281519192909182918401908083835b60208310610e3457805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610df7565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015610e91573d6000803e3d6000fd5b5050506040513d6020811015610ea657600080fd5b50519050858114610f02576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260548152602001806117486054913960600191505060405180910390fd5b60205463ffffffff11610f60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806117276021913960400191505060405180910390fd5b602080546001019081905560005b60208110156110a9578160011660011415610fa0578260008260208110610f9157fe5b0155506110ac95505050505050565b600260008260208110610faf57fe5b01548460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061102557805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101610fe8565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa158015611082573d6000803e3d6000fd5b5050506040513d602081101561109757600080fd5b50519250600282049150600101610f6e565b50fe5b50505050505050565b60606110c26020546114ba565b905090565b6020546000908190815b60208110156112f05781600116600114156111e6576002600082602081106110f557fe5b01548460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061116b57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161112e565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa1580156111c8573d6000803e3d6000fd5b5050506040513d60208110156111dd57600080fd5b505192506112e2565b600283602183602081106111f657fe5b015460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061126b57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161122e565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa1580156112c8573d6000803e3d6000fd5b5050506040513d60208110156112dd57600080fd5b505192505b6002820491506001016110d1565b506002826112ff6020546114ba565b600060401b6040516020018084815260200183805190602001908083835b6020831061135a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161131d565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790527fffffffffffffffffffffffffffffffffffffffffffffffff000000000000000095909516920191825250604080518083037ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8018152601890920190819052815191955093508392850191508083835b6020831061143f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101611402565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790526040519190930194509192505080830381855afa15801561149c573d6000803e3d6000fd5b5050506040513d60208110156114b157600080fd5b50519250505090565b60408051600880825281830190925260609160208201818036833701905050905060c082901b8060071a60f81b826000815181106114f457fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060061a60f81b8260018151811061153757fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060051a60f81b8260028151811061157a57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060041a60f81b826003815181106115bd57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060031a60f81b8260048151811061160057fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060021a60f81b8260058151811061164357fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060011a60f81b8260068151811061168657fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060001a60f81b826007815181106116c957fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535050919050565b6000808585111561170d578182fd5b83861115611719578182fd5b505082019391909203915056fe4465706f736974436f6e74726163743a206d65726b6c6520747265652066756c6c4465706f736974436f6e74726163743a207265636f6e7374727563746564204465706f7369744461746120646f6573206e6f74206d6174636820737570706c696564206465706f7369745f646174615f726f6f744465706f736974436f6e74726163743a20696e76616c6964207769746864726177616c5f63726564656e7469616c73206c656e6774684465706f736974436f6e74726163743a206465706f7369742076616c7565206e6f74206d756c7469706c65206f6620677765694465706f736974436f6e74726163743a20696e76616c6964207075626b6579206c656e6774684465706f736974436f6e74726163743a206465706f7369742076616c756520746f6f20686967684465706f736974436f6e74726163743a206465706f7369742076616c756520746f6f206c6f774465706f736974436f6e74726163743a20696e76616c6964207369676e6174757265206c656e677468a264697066735822122048c9c1aefe892e05fe034c24a651f00a2a8c0eb7e7c569d35ac1920c1a6894bc64736f6c63430006080033" runCfgAnly("tDepositContract", s) } func absIntTestDepositContract2() { const s = "60806040526004361061003f5760003560e01c806301ffc9a71461004457806322895118146100b4578063621fd130146101e1578063c5f2892f14610271575b600080fd5b34801561005057600080fd5b5061009c6004803603602081101561006757600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916906020019092919050505061029c565b60405180821515815260200191505060405180910390f35b6101df600480360360808110156100ca57600080fd5b81019080803590602001906401000000008111156100e757600080fd5b8201836020820111156100f957600080fd5b8035906020019184600183028401116401000000008311171561011b57600080fd5b90919293919293908035906020019064010000000081111561013c57600080fd5b82018360208201111561014e57600080fd5b8035906020019184600183028401116401000000008311171561017057600080fd5b90919293919293908035906020019064010000000081111561019157600080fd5b8201836020820111156101a357600080fd5b803590602001918460018302840111640100000000831117156101c557600080fd5b90919293919293908035906020019092919050505061036e565b005b3480156101ed57600080fd5b506101f6610fad565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561023657808201518184015260208101905061021b565b50505050905090810190601f1680156102635780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561027d57600080fd5b50610286610fbf565b6040518082815260200191505060405180910390f35b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061036757507f85640907000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b9050919050565b603087879050146103ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806116bb6026913960400191505060405180910390fd5b60208585905014610426576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806116526036913960400191505060405180910390fd5b60608383905014610482576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602981526020018061172e6029913960400191505060405180910390fd5b670de0b6b3a76400003410156104e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806117086026913960400191505060405180910390fd5b6000633b9aca0034816104f257fe5b0614610549576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806116886033913960400191505060405180910390fd5b6000633b9aca00348161055857fe5b04905067ffffffffffffffff80168111156105be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001806116e16027913960400191505060405180910390fd5b60606105c9826112e3565b90507f649bbc62d0e31342afea4e5cd82d4049e7e1ee912fc0889aa790803be39038c589898989858a8a6105fe6020546112e3565b60405180806020018060200180602001806020018060200186810386528e8e82818152602001925080828437600081840152601f19601f82011690508083019250505086810385528c8c82818152602001925080828437600081840152601f19601f82011690508083019250505086810384528a818151815260200191508051906020019080838360005b838110156106a4578082015181840152602081019050610689565b50505050905090810190601f1680156106d15780820380516001836020036101000a031916815260200191505b508681038352898982818152602001925080828437600081840152601f19601f820116905080830192505050868103825287818151815260200191508051906020019080838360005b8381101561073557808201518184015260208101905061071a565b50505050905090810190601f1680156107625780820380516001836020036101000a031916815260200191505b509d505050505050505050505050505060405180910390a1600060028a8a600060801b6040516020018084848082843780830192505050826fffffffffffffffffffffffffffffffff1916815260100193505050506040516020818303038152906040526040518082805190602001908083835b602083106107f957805182526020820191506020810190506020830392506107d6565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa15801561083b573d6000803e3d6000fd5b5050506040513d602081101561085057600080fd5b810190808051906020019092919050505090506000600280888860009060409261087c939291906115a9565b6040516020018083838082843780830192505050925050506040516020818303038152906040526040518082805190602001908083835b602083106108d657805182526020820191506020810190506020830392506108b3565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610918573d6000803e3d6000fd5b5050506040513d602081101561092d57600080fd5b8101908080519060200190929190505050600289896040908092610953939291906115a9565b6000801b604051602001808484808284378083019250505082815260200193505050506040516020818303038152906040526040518082805190602001908083835b602083106109b85780518252602082019150602081019050602083039250610995565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa1580156109fa573d6000803e3d6000fd5b5050506040513d6020811015610a0f57600080fd5b810190808051906020019092919050505060405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310610a795780518252602082019150602081019050602083039250610a56565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610abb573d6000803e3d6000fd5b5050506040513d6020811015610ad057600080fd5b810190808051906020019092919050505090506000600280848c8c604051602001808481526020018383808284378083019250505093505050506040516020818303038152906040526040518082805190602001908083835b60208310610b4c5780518252602082019150602081019050602083039250610b29565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610b8e573d6000803e3d6000fd5b5050506040513d6020811015610ba357600080fd5b8101908080519060200190929190505050600286600060401b866040516020018084805190602001908083835b60208310610bf35780518252602082019150602081019050602083039250610bd0565b6001836020036101000a0380198251168184511680821785525050505050509050018367ffffffffffffffff1916815260180182815260200193505050506040516020818303038152906040526040518082805190602001908083835b60208310610c735780518252602082019150602081019050602083039250610c50565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610cb5573d6000803e3d6000fd5b5050506040513d6020811015610cca57600080fd5b810190808051906020019092919050505060405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310610d345780518252602082019150602081019050602083039250610d11565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610d76573d6000803e3d6000fd5b5050506040513d6020811015610d8b57600080fd5b81019080805190602001909291905050509050858114610df6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260548152602001806115fe6054913960600191505060405180910390fd5b6001602060020a0360205410610e57576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806115dd6021913960400191505060405180910390fd5b60016020600082825401925050819055506000602054905060005b6020811015610f945760018083161415610ea5578260008260208110610e9457fe5b018190555050505050505050610fa4565b600260008260208110610eb457fe5b01548460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b60208310610f105780518252602082019150602081019050602083039250610eed565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015610f52573d6000803e3d6000fd5b5050506040513d6020811015610f6757600080fd5b8101908080519060200190929190505050925060028281610f8457fe5b0491508080600101915050610e72565b506000610f9d57fe5b5050505050505b50505050505050565b6060610fba6020546112e3565b905090565b6000806000602054905060005b60208110156111aa57600180831614156110ba57600260008260208110610fef57fe5b01548460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b6020831061104b5780518252602082019150602081019050602083039250611028565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa15801561108d573d6000803e3d6000fd5b5050506040513d60208110156110a257600080fd5b81019080805190602001909291905050509250611190565b600283602183602081106110ca57fe5b015460405160200180838152602001828152602001925050506040516020818303038152906040526040518082805190602001908083835b602083106111255780518252602082019150602081019050602083039250611102565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611167573d6000803e3d6000fd5b5050506040513d602081101561117c57600080fd5b810190808051906020019092919050505092505b6002828161119a57fe5b0491508080600101915050610fcc565b506002826111b96020546112e3565b600060401b6040516020018084815260200183805190602001908083835b602083106111fa57805182526020820191506020810190506020830392506111d7565b6001836020036101000a0380198251168184511680821785525050505050509050018267ffffffffffffffff1916815260180193505050506040516020818303038152906040526040518082805190602001908083835b602083106112745780518252602082019150602081019050602083039250611251565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa1580156112b6573d6000803e3d6000fd5b5050506040513d60208110156112cb57600080fd5b81019080805190602001909291905050509250505090565b6060600867ffffffffffffffff811180156112fd57600080fd5b506040519080825280601f01601f1916602001820160405280156113305781602001600182028036833780820191505090505b50905060008260c01b90508060076008811061134857fe5b1a60f81b8260008151811061135957fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060066008811061139557fe5b1a60f81b826001815181106113a657fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350806005600881106113e257fe5b1a60f81b826002815181106113f357fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060046008811061142f57fe5b1a60f81b8260038151811061144057fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060036008811061147c57fe5b1a60f81b8260048151811061148d57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350806002600881106114c957fe5b1a60f81b826005815181106114da57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060016008811061151657fe5b1a60f81b8260068151811061152757fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508060006008811061156357fe5b1a60f81b8260078151811061157457fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535050919050565b600080858511156115b957600080fd5b838611156115c657600080fd5b600185028301915084860390509450949250505056fe4465706f736974436f6e74726163743a206d65726b6c6520747265652066756c6c4465706f736974436f6e74726163743a207265636f6e7374727563746564204465706f7369744461746120646f6573206e6f74206d6174636820737570706c696564206465706f7369745f646174615f726f6f744465706f736974436f6e74726163743a20696e76616c6964207769746864726177616c5f63726564656e7469616c73206c656e6774684465706f736974436f6e74726163743a206465706f7369742076616c7565206e6f74206d756c7469706c65206f6620677765694465706f736974436f6e74726163743a20696e76616c6964207075626b6579206c656e6774684465706f736974436f6e74726163743a206465706f7369742076616c756520746f6f20686967684465706f736974436f6e74726163743a206465706f7369742076616c756520746f6f206c6f774465706f736974436f6e74726163743a20696e76616c6964207369676e6174757265206c656e677468a2646970667358221220b39206b87c12c587ed6a334a474cfb65ef67786d902932a49fe272b4b933d5a764736f6c634300060c0033" runCfgAnly("DepositContract2", s) } ///////////////////////////////////////////////////// type dummyAccount struct{} func (dummyAccount) SubBalance(amount *big.Int) {} func (dummyAccount) AddBalance(amount *big.Int) {} func (dummyAccount) SetAddress(common.Address) {} func (dummyAccount) Value() *big.Int { return nil } func (dummyAccount) SetBalance(*big.Int) {} func (dummyAccount) SetNonce(uint64) {} func (dummyAccount) Balance() *big.Int { return nil } func (dummyAccount) Address() common.Address { return common.Address{} } func (dummyAccount) ReturnGas(*big.Int) {} func (dummyAccount) SetCode(common.Hash, []byte) {} func (dummyAccount) ForEachStorage(cb func(key, value common.Hash) bool) {} /* func testGenCfg() error { env := vm.NewEVM(vm.Context{BlockNumber: big.NewInt(1)}, &dummyStatedb{}, params.TestChainConfig, vm.Config{ EVMInterpreter: "SaInterpreter", }, nil) contract := vm.NewContract(dummyAccount{}, dummyAccount{}, uint256.NewInt(), 10000, vm.NewDestsCache(50000)) contract.Code = []byte{byte(vm.PUSH1), 0x1, byte(vm.PUSH1), 0x1, 0x0} //contract.Code = []byte{byte(vm.ADD), 0x1, 0x1, 0x0} jt := newIstanbulInstructionSet() vm.ToCfg0(contract) //_, err := env.Interpreter().Run(contract, []byte{}, false) if err != nil { return err } print("Done") return nil }*/ type CfgEval struct { numProgramsPassed int numPanic int numAnlyCounterLimit int numShortStack int numStackLimitReached int numProgramsAnalyzed int numUnresolved int numLowCoverage int numImprecision int numInvalidOpcode int numInvalidJumpDest int numPrograms int numAddressesPassed int numAddressesAnalyzed int numTimeouts int numOOM int numCheckerFailed int maxProofSizeBytes int } func (eval *CfgEval) printStats() { fmt.Printf("ProgramsPass=%v ProgramsAnalyzed=%v Programs=%v ProgramsPassRate=%v Timeouts=%v Panic=%v CounterLimit=%v ShortStack=%v StackCountLimit=%v Unresolved=%v Imprecision=%v InvalidOp=%v InvalidJumpDest=%v DeadCode=%v OOM=%v CheckerFailed=%v MaxProofSize=%v\n", eval.numProgramsPassed, eval.numProgramsAnalyzed, eval.numPrograms, percent(eval.numProgramsPassed, eval.numProgramsAnalyzed), eval.numTimeouts, eval.numPanic, eval.numAnlyCounterLimit, eval.numShortStack, eval.numStackLimitReached, eval.numUnresolved, eval.numImprecision, eval.numInvalidOpcode, eval.numInvalidJumpDest, eval.numLowCoverage, eval.numOOM, eval.numCheckerFailed, eval.maxProofSizeBytes) } func (eval *CfgEval) update(result *cfgJobResult, count int) { eval.numProgramsAnalyzed++ eval.numAddressesAnalyzed += count if result.metrics.Timeout { eval.numTimeouts++ return } if result.metrics.OOM { eval.numOOM++ return } metrics := result.metrics if metrics.Valid { eval.numProgramsPassed++ eval.numAddressesPassed += count } if metrics.Panic { eval.numPanic++ } if metrics.AnlyCounterLimit { eval.numAnlyCounterLimit++ } if metrics.ShortStack { eval.numShortStack++ } if metrics.StackCountLimitReached { eval.numStackLimitReached++ } if metrics.Unresolved { eval.numUnresolved++ } if metrics.LowCoverage { eval.numLowCoverage++ } if metrics.BadJumpImprecision { eval.numImprecision++ } if metrics.BadJumpInvalidOp { eval.numInvalidOpcode++ } if metrics.BadJumpInvalidJumpDest { eval.numInvalidJumpDest++ } if metrics.CheckerFailed { eval.numCheckerFailed++ } if eval.maxProofSizeBytes < metrics.ProofSizeBytes { eval.maxProofSizeBytes = metrics.ProofSizeBytes } } type cfgJob struct { txcnt int code []byte } type cfgJobResult struct { job *cfgJob metrics *vm.CfgMetrics } func sb(b bool) string { return fmt.Sprintf("%v", b) } func si(i int) string { return fmt.Sprintf("%v", i) } func percent(n int, d int) string { return fmt.Sprintf("%v%v", n*1000/d/10, "%") }