{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T20:08:24Z","timestamp":1768594104585,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T00:00:00Z","timestamp":1679443200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T00:00:00Z","timestamp":1679443200000},"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":["Computing"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s00607-023-01172-y","type":"journal-article","created":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T03:40:11Z","timestamp":1679888411000},"page":"1821-1845","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Turna: a control flow graph reconstruction tool for RISC-V architecture"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3381-1702","authenticated-orcid":false,"given":"Veysel Harun","family":"Sahin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,22]]},"reference":[{"key":"1172_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273","volume-title":"Introduction to software testing","author":"A Paul","year":"2016","unstructured":"Paul A, Jeff O (2016) Introduction to software testing, 2nd edn. Cambridge University Press, Cambridge. https:\/\/doi.org\/10.1017\/9781316771273","edition":"2"},{"issue":"1","key":"1172_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.4230\/LITES-v006-i001-a003","volume":"6","author":"RI Davis","year":"2019","unstructured":"Davis RI, Cucu-Grosjean L (2019) A survey of probabilistic timing analysis techniques for real-time systems. Leibniz Trans Embed Syst (LITES) 6(1):3\u20131360. https:\/\/doi.org\/10.4230\/LITES-v006-i001-a003","journal-title":"Leibniz Trans Embed Syst (LITES)"},{"issue":"1","key":"1172_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/3301283","volume":"52","author":"FJ Cazorla","year":"2019","unstructured":"Cazorla FJ, Kosmidis L, Mezzetti E, Hernandez C, Abella J, Vardanega T (2019) Probabilistic worst-case timing analysis: taxonomy and comprehensive survey. ACM Comput Surv 52(1):14\u201311435. https:\/\/doi.org\/10.1145\/3301283","journal-title":"ACM Comput Surv"},{"issue":"3","key":"1172_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstr\u00f6m P, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R (2008) The worst-case execution-time problem-overview of methods and survey of tools. ACM Trans Embed Comput Syst 7(3):1\u201353. https:\/\/doi.org\/10.1145\/1347375.1347389","journal-title":"ACM Trans Embed Comput Syst"},{"key":"1172_CR5","volume-title":"Computer organization and design: the hardware software interface","author":"DA Patterson","year":"2007","unstructured":"Patterson DA, Hennessy JL (2007) Computer organization and design: the hardware software interface, 3rd edn. Morgan Kaufmann, Massachusetts","edition":"3"},{"key":"1172_CR6","unstructured":"Waterman A, Asanovi K (eds) (2019) The RISC-V instruction set manual, volume I: unprivileged ISA, document version 20190608-Base-Ratified. RISC-V Foundation, California"},{"key":"1172_CR7","unstructured":"Waterman A, Asanovi K (eds) (2019) The RISC-V instruction set manual volume II: privileged architecture document version 20190608-Priv-MSU-Ratified. RISC-V Foundation, California"},{"key":"1172_CR8","unstructured":"RISC-V Foundation (2022) RISC-V foundation instruction set architecture (ISA). https:\/\/riscv.org. Accessed 29 July 2022"},{"issue":"2","key":"1172_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2024716.2024718","volume":"39","author":"N Binkert","year":"2011","unstructured":"Binkert N, Sardashti S, Sen R, Sewell K, Shoaib M, Vaish N, Hill MD, Wood DA, Beckmann B, Black G, Reinhardt SK, Saidi A, Basu A, Hestness J, Hower DR, Krishna T (2011) The gem5 simulator. ACM SIGARCH Comput Archit News 39(2):1. https:\/\/doi.org\/10.1145\/2024716.2024718","journal-title":"ACM SIGARCH Comput Archit News"},{"key":"1172_CR10","unstructured":"gem5: gem5 homepage (2022). http:\/\/gem5.org. Accessed 29 July 2022"},{"key":"1172_CR11","unstructured":"Sakarya University (2022) Sakarya University real-time systems research laboratory. https:\/\/rtsrlab.sakarya.edu.tr. Accessed 29 July 2022"},{"key":"1172_CR12","unstructured":"Sakarya University (2022) Turna\u2014GitHub repository. https:\/\/github.com\/veyselharun\/Turna. Accessed 29 July 2022"},{"key":"1172_CR13","unstructured":"Kinder J (2010) Static analysis of x86 executables. PhD thesis, Technische Universit\u00e4t Darmstadt"},{"key":"1172_CR14","unstructured":"Schwartz EJ, Lee J, Woo M, Brumley D (2013) Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring. In: 22nd USENIX security symposium (USENIX Security 13). USENIX Association, Washington, D.C, pp 353\u2013368"},{"key":"1172_CR15","doi-asserted-by":"publisher","unstructured":"Panchenko M, Auler R, Nel, B, Ottoni, G (2019) BOLT: a practical binary optimizer for data centers and beyond. In: 2019 IEEE\/ACM international symposium on code generation and optimization (CGO). IEEE, Washington, DC, USA, pp 2\u201314. https:\/\/doi.org\/10.1109\/CGO.2019.8661201","DOI":"10.1109\/CGO.2019.8661201"},{"key":"1172_CR16","doi-asserted-by":"publisher","unstructured":"Zhou R, Jones TM (2019) Janus: statically-driven and profile-guided automatic dynamic binary parallelisation. In: 2019 IEEE\/ACM international symposium on code generation and optimization (CGO). IEEE, Washington, DC, USA, pp 15\u201325. https:\/\/doi.org\/10.1109\/CGO.2019.8661196","DOI":"10.1109\/CGO.2019.8661196"},{"key":"1172_CR17","doi-asserted-by":"publisher","unstructured":"K\u00e4stner D, Pister M, Wegener S, Ferdinand C (2019) TimeWeaver: a tool for hybrid worst-case execution time analysis. In: Altmeyer S (ed) 19th International workshop on worst-case execution time analysis (WCET 2019). OpenAccess Series in Informatics (OASIcs), vol 72. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp 1\u20131111. https:\/\/doi.org\/10.4230\/OASIcs.WCET.2019.1","DOI":"10.4230\/OASIcs.WCET.2019.1"},{"key":"1172_CR18","doi-asserted-by":"publisher","unstructured":"Meng X, Miller BP (2016) Binary code is not easy. In: Proceedings of the 25th international symposium on software testing and analysis. ACM, Saarbr\u00fccken Germany, pp 24\u201335. https:\/\/doi.org\/10.1145\/2931037.2931047","DOI":"10.1145\/2931037.2931047"},{"key":"1172_CR19","doi-asserted-by":"publisher","unstructured":"Jing J, Lie-Hui J, Tie-Ming L, Zhen-Yu W, Rui-Min W (2013) A precision-tunable CFG reconstruction algorithm. In: Proceedings 2013 international conference on mechatronic sciences, electric engineering and computer (MEC). IEEE, Shengyang, China, pp 2095\u20132099. https:\/\/doi.org\/10.1109\/MEC.2013.6885396","DOI":"10.1109\/MEC.2013.6885396"},{"key":"1172_CR20","doi-asserted-by":"publisher","unstructured":"Yin W, Jiang L, Yin Q, Zhou L, Li J (2009) A control flow graph reconstruction method from binaries based on XML. In: 2009 International forum on computer science-technology and applications. IEEE, Chongqing, China, pp 226\u2013229. https:\/\/doi.org\/10.1109\/IFCSTA.2009.176","DOI":"10.1109\/IFCSTA.2009.176"},{"key":"1172_CR21","doi-asserted-by":"publisher","unstructured":"Dariz L, Ruggeri M, Selvatici M (2015) A static microcode analysis tool for programmable load drivers. In: 2015 IEEE 15th international working conference on source code analysis and manipulation (SCAM). IEEE, Bremen, pp 265\u2013270. https:\/\/doi.org\/10.1109\/SCAM.2015.7335424","DOI":"10.1109\/SCAM.2015.7335424"},{"key":"1172_CR22","doi-asserted-by":"publisher","unstructured":"Bermudo N, Krall A, Horspool N (2005) Control flow graph reconstruction for assembly language programs with delayed instructions. In: Fifth IEEE international workshop on source code analysis and manipulation (SCAM\u201905). IEEE, Budapest, Hungary, pp 107\u2013118. https:\/\/doi.org\/10.1109\/SCAM.2005.6","DOI":"10.1109\/SCAM.2005.6"},{"key":"1172_CR23","doi-asserted-by":"publisher","unstructured":"Yount C, Patil H, Islam MS (2015) Graph-matching-based simulation-region selection for multiple binaries. In: 2015 IEEE international symposium on performance analysis of systems and software (ISPASS). IEEE, Philadelphia, PA, USA, pp 52\u201361. https:\/\/doi.org\/10.1109\/ISPASS.2015.7095784","DOI":"10.1109\/ISPASS.2015.7095784"},{"key":"1172_CR24","doi-asserted-by":"publisher","unstructured":"Gruber F, Selva M, Sampaio D, Guillon C, Moynault A, Pouchet L-N, Rastello F (2019) Data-flow\/dependence profiling for structured transformations. In: Proceedings of the 24th symposium on principles and practice of parallel programming. ACM, Washington District of Columbia, pp 173\u2013185. https:\/\/doi.org\/10.1145\/3293883.3295737","DOI":"10.1145\/3293883.3295737"},{"key":"1172_CR25","unstructured":"Xu L, Sun F, Su Z (2009) Constructing precise control flow graphs from binaries. Technical report, University of California, Davis, CA"},{"issue":"2","key":"1172_CR26","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/spe.2907","volume":"51","author":"A Rimsa","year":"2021","unstructured":"Rimsa A, Nelson Amaral J, Pereira FMQ (2021) Practical dynamic reconstruction of control flow graphs. Softw Pract Exp 51(2):353\u2013384. https:\/\/doi.org\/10.1002\/spe.2907","journal-title":"Softw Pract Exp"},{"key":"1172_CR27","doi-asserted-by":"publisher","unstructured":"Hu Y, Zhang Y, Li J, Wang H, Li B, Gu D (2018) BinMatch: a semantics-based hybrid approach on binary code clone analysis. In: 2018 IEEE international conference on software maintenance and evolution (ICSME). IEEE, Madrid, pp 104\u2013114. https:\/\/doi.org\/10.1109\/ICSME.2018.00019","DOI":"10.1109\/ICSME.2018.00019"},{"key":"1172_CR28","unstructured":"Wright D (2017) WCET analysis of object code with zero instrumentation. https:\/\/www.rapitasystems.com\/blog\/wcet-analysis-object-code-zero-instrumentation. Accessed 29 July 2022"},{"key":"1172_CR29","unstructured":"NetworkX (2023) NetworkX home page. https:\/\/networkx.org. Accessed 08 Jan 2023"},{"key":"1172_CR30","unstructured":"Graphviz (2023) Graphviz home page. https:\/\/graphviz.org. Accessed 08 Jan 2023"},{"key":"1172_CR31","doi-asserted-by":"publisher","unstructured":"Ellson J, Gansner ER, Koutsofios E, North SC, Woodhull G (2004) Graphviz and dynagraph\u2014static and dynamic graph drawing tools. In: J\u00fcnger M, Mutzel P (eds) Graph drawing software. Springer, Berlin, Heidelberg, pp 127\u2013148. https:\/\/doi.org\/10.1007\/978-3-642-18638-7_6","DOI":"10.1007\/978-3-642-18638-7_6"},{"key":"1172_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in software engineering computer science","author":"C Wohlin","year":"2012","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wessl\u00e9n A (2012) Experimentation in software engineering computer science. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-29044-2"},{"key":"1172_CR33","doi-asserted-by":"publisher","unstructured":"Gustafsson J, Betts A, Ermedahl A, Lisper B (2010) The M\u00e4lardalen WCET benchmarks: past, present and future. In: Lisper B (ed) 10th International workshop on worst-case execution time analysis (WCET 2010), vol 15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp 136\u2013146. https:\/\/doi.org\/10.4230\/OASIcs.WCET.2010.136","DOI":"10.4230\/OASIcs.WCET.2010.136"},{"key":"1172_CR34","unstructured":"M\u00e4lardalen Real-Time Research Center (2013) The M\u00e4lardalen WCET Benchmarks homepage. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html. Accessed 27 July 2022"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-023-01172-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00607-023-01172-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-023-01172-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T15:06:50Z","timestamp":1689174410000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00607-023-01172-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,22]]},"references-count":34,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["1172"],"URL":"https:\/\/doi.org\/10.1007\/s00607-023-01172-y","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,22]]},"assertion":[{"value":"5 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 March 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 March 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author declare he has no financial interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}]}}