{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:26:19Z","timestamp":1742937979834,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031217494"},{"type":"electronic","value":"9783031217500"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21750-0_6","type":"book-chapter","created":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T01:22:43Z","timestamp":1672536163000},"page":"65-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Cyclomatic Complexity Analysis for\u00a0Smart Contract Using Control Flow Graph"],"prefix":"10.1007","author":[{"given":"Shantanu","family":"Agarwal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8298-7571","authenticated-orcid":false,"given":"P. Radha","family":"Krishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,1]]},"reference":[{"key":"6_CR1","unstructured":"Albert, E., Correas, J., Gordillo, P., Rom\u00e1n-D\u00edez, A.H.-C.G., Rubio, A.: Analyzing smart contracts: from EVM to a sound control-flow graph. arXiv preprint arXiv:2004.14437 (2020)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-030-01090-4_30","volume-title":"Automated Technology for Verification and Analysis","author":"E Albert","year":"2018","unstructured":"Albert, E., Gordillo, P., Livshits, B., Rubio, A., Sergey, I.: EthIR: a framework for high-level analysis of Ethereum bytecode. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 513\u2013520. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_30"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Albert, E., Gordillo, P., Rubio, A., Sergey, I.: Running on fumes-preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis. arXiv preprint arXiv:1811.10403 (2018)","DOI":"10.1007\/978-3-030-35092-5_5"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Alharby, M., Aldweesh, A., Moorsel, A.V.: Blockchain-based smart contracts: a systematic mapping study of academic research (2018). In: 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB), pp. 1\u20136 IEEE (2018)","DOI":"10.1109\/ICCBB.2018.8756390"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Amani, S., B\u00e9gel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in isabelle\/hol. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 66\u201377 (2018)","DOI":"10.1145\/3167084"},{"key":"6_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-94238-0_10","volume-title":"Lean and Agile Software Development","author":"SK Barisal","year":"2022","unstructured":"Barisal, S.K., Dutta, A., Godboley, S., Sahoo, B., Mohapatra, D.P.: Agility based coverage improvement. In: LASD 2022. LNBIP, vol. 438, pp. 170\u2013186. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94238-0_10"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bragagnolo, S., Rocha, H., Denker, M., Ducasse, S.: Smartinspect: solidity smart contract inspector. In: 2018 International workshop on blockchain oriented software engineering (IWBOSE), pp. 9\u201318 IEEE (2018)","DOI":"10.1109\/IWBOSE.2018.8327566"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-44647-8_2","volume-title":"Advances in Cryptology \u2014 CRYPTO 2001","author":"R Canetti","year":"2001","unstructured":"Canetti, R., Fischlin, M.: Universally composable commitments. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 19\u201340. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44647-8_2"},{"key":"6_CR9","unstructured":"Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. arXiv preprint arXiv:1608.00771 (2016)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Di Angelo, M., Salzer, G.: A survey of tools for analyzing Ethereum smart contracts. In: 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), pp. 69\u201378 IEEE (2019)","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dziembowski, S., Eckey, L., Faust, S., Malinowski, D.: Perun: virtual payment hubs over cryptocurrencies. In: 2019 IEEE Symposium on Security and Privacy (SP), pp. 106\u2013123. IEEE (2019)","DOI":"10.1109\/SP.2019.00020"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Das, A., Mall, R.: Making a concolic tester achieve increased mc\/dc. Innovations Syst. Softw. Eng. 12(4), 319\u2013332 (2016)","DOI":"10.1007\/s11334-016-0284-8"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Mall, R.: J3 model: a novel framework for improved modified condition\/decision coverage analysis. Comput. Stan. Interfaces 50, 1\u201317 (2017)","DOI":"10.1016\/j.csi.2016.09.006"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Mall, R.: Gecojap: a novel source-code preprocessing technique to improve code coverage. Comput. Stan. Interfaces 55, 27\u201346 (2018)","DOI":"10.1016\/j.csi.2017.04.003"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Mall, R.: Scaling modified condition\/decision coverage using distributed concolic testing for java programs. Comput. Stan. Interfaces 59, 61\u201386 (2018)","DOI":"10.1016\/j.csi.2018.02.005"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Pisipati, R.K., Mohapatra, D.P.: SSG-AFL: vulnerability detection for reactive systems using static seed generator based AFL. In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1728\u20131733. IEEE (2022)","DOI":"10.1109\/COMPSAC54236.2022.00275"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Godboley, S., Gupta, K., Monika, R.G.: Av-AFL: a vulnerability detection fuzzing approach by proving non-reachable vulnerabilities using sound static analyser. In: ENASE, pp. 301\u2013308 (2022)","DOI":"10.5220\/0011032900003176"},{"key":"6_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-030-94238-0_9","volume-title":"Lean and Agile Software Development","author":"S Godboley","year":"2022","unstructured":"Godboley, S., Mohapatra, D.P.: Towards agile mutation testing using branch coverage based prioritization technique. In: LASD 2022. LNBIP, vol. 438, pp. 150\u2013169. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94238-0_9"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Godboley, S., Mohapatra, D.P., Das, A., Mall, R.: An improved distributed concolic testing approach. Softw. Pract. Experience 47(2), 311\u2013342 (2017)","DOI":"10.1002\/spe.2405"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"6","DOI":"10.3390\/technologies7010006","volume":"7","author":"P Heged\u0171s","year":"2019","unstructured":"Heged\u0171s, P.: Towards analyzing the complexity landscape of solidity based Ethereum smart contracts. Technologies 7(1), 6 (2019)","journal-title":"Technologies"},{"key":"6_CR21","unstructured":"Mall, R.: Fundamentals of software engineering. PHI Learning Pvt. Ltd. (2018)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Mohanta, B.K., Panda, S.S., Jena, D.: An overview of smart contract and use cases in blockchain technology. In: 2018 9th International Conference on Computing, Communication and Networking Technologies (ICCCNT), pp. 1\u20134. IEEE (2018)","DOI":"10.1109\/ICCCNT.2018.8494045"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Vivar, A., Orozco, A.L.S., Villalba, L.J.G.: A security framework for Ethereum smart contracts. Comput. Commun. 172, 119\u2013129 (2021)","DOI":"10.1016\/j.comcom.2021.03.008"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, P., Xiao, F., Luo, X.: A framework and dataset for bugs in Ethereum smart contracts. In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 139\u2013150. IEEE (2020)","DOI":"10.1109\/ICSME46990.2020.00023"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Zou, W., et al.: Smart contract development: challenges and opportunities. IEEE Trans. Softw. Eng. 47(10), 2084\u20132106 (2019)","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["Communications in Computer and Information Science","Computing, Communication and Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21750-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T01:33:03Z","timestamp":1672536783000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21750-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031217494","9783031217500"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21750-0_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CoCoLe","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computing, Communication and Learning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warangal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cocole2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ic-cocole.in\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"117","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}