{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:24:38Z","timestamp":1726039478032},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030265731"},{"type":"electronic","value":"9783030265748"}],"license":[{"start":{"date-parts":[[2019,8,3]],"date-time":"2019-08-03T00:00:00Z","timestamp":1564790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-26574-8_6","type":"book-chapter","created":{"date-parts":[[2019,8,2]],"date-time":"2019-08-02T07:31:30Z","timestamp":1564731090000},"page":"69-81","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Software Analysis Based Vulnerability Detection System For Smart Contracts"],"prefix":"10.1007","author":[{"given":"Jiaming","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingliang","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianyong","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinxing","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,3]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1186\/s40854-016-0034-9","volume":"2","author":"Y Guo","year":"2016","unstructured":"Guo, Y., Liang, C.: Blockchain application and outlook in the banking industry. Financ. Innov. 2(1), 24 (2016). https:\/\/doi.org\/10.1186\/s40854-016-0034-9","journal-title":"Financ. Innov."},{"issue":"9","key":"6_CR2","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.3390\/su10093067","volume":"10","author":"J Wu","year":"2018","unstructured":"Wu, J., Tran, N.: Application of blockchain technology in sustainable energy systems: an overview. Sustainability 10(9), 3067 (2018). https:\/\/doi.org\/10.3390\/su10093067","journal-title":"Sustainability"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Zhao, X., Chen, Z., Chen, X., Wang, Y., Tang, C.: The DAO attack paradoxes in propositional logic (2017). https:\/\/doi.org\/10.1109\/icsai.2017.8248566","DOI":"10.1109\/icsai.2017.8248566"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Lecture Notes in Computer Science","author":"Nicola Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK) (2017). https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-70278-0_31","volume-title":"Financial Cryptography and Data Security","author":"Massimo Bartoletti","year":"2017","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_31"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Feist, J., Greico, G., Groce, A.: Slither: a static analysis framework for smart contracts. Paper presented at the WETSEB 2019 : 2nd international workshop on emerging trends in software engineering for blockchain (2019)","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter (2016). https:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Tsankov, P., Dan, A., Drachsler-Cohen, D., Gervais, A., B\u00fcnzli, F., Vechev, M.: Securify: practical security analysis of smart contracts (2018). https:\/\/doi.org\/10.1145\/3243734.3243780","DOI":"10.1145\/3243734.3243780"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Leonardo de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts (2018). https:\/\/doi.org\/10.14722\/ndss.2018.23082","DOI":"10.14722\/ndss.2018.23082"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Meng, X., Miller, B.P.: Binary code is not easy (2016). https:\/\/doi.org\/10.1145\/2931037.2931047","DOI":"10.1145\/2931037.2931047"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Balakrishnan, G., Reps, T.: Divine: discovering variables in executables. https:\/\/doi.org\/10.1007\/978-3-540-69738-1_1","DOI":"10.1007\/978-3-540-69738-1_1"},{"key":"6_CR13","unstructured":"Lee, J., Avgerinos, T., Brumley, D.: TIE: principled reverse engineering of types in binary programs (2011)"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Keivanloo, I., Roy, C.K., Rilling, J.: SeByte: A semantic clone detection tool for intermediate languages (2012). https:\/\/doi.org\/10.1109\/ICPC.2012.6240495","DOI":"10.1109\/ICPC.2012.6240495"}],"container-title":["Studies in Computational Intelligence","Integrating Research and Practice in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-26574-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,4]],"date-time":"2019-12-04T18:05:24Z","timestamp":1575482724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-26574-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,3]]},"ISBN":["9783030265731","9783030265748"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26574-8_6","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2019,8,3]]},"assertion":[{"value":"3 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}