{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:42:01Z","timestamp":1770432121050,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1007\/s11219-005-1751-x","type":"journal-article","created":{"date-parts":[[2005,7,15]],"date-time":"2005-07-15T07:22:13Z","timestamp":1121412133000},"page":"227-245","source":"Crossref","is-referenced-by-count":8,"title":["Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables"],"prefix":"10.1007","volume":"13","author":[{"given":"\u00c1kos","family":"Kiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judit","family":"J\u00e1sz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tibor","family":"Gyim\u00f3thy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1751_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, H. 1994. On slicing programs with jump statements, In Proc. ACM SIGPLAN Conference on Programming Languages, Design and Implementation, pp. 302\u2013312.","DOI":"10.1145\/178243.178456"},{"key":"1751_CR2","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Calzolari, F., and Tonella, P. 1999. Impact of function pointers on the call graph, In Proc. of the 3rd European Conference on Software Maintenance and Reengineering (CSMR), pp. 51\u201359.","DOI":"10.1109\/CSMR.1999.756682"},{"key":"1751_CR3","doi-asserted-by":"crossref","unstructured":"Ball, T. and Horwitz, S. 1993. Slicing program with arbitrary control-flow, In Proc. International Workshop on Automated and Algorithmic Debugging, pp. 206\u2013222.","DOI":"10.1007\/BFb0019410"},{"key":"1751_CR4","doi-asserted-by":"crossref","unstructured":"Bergeron, J., Debbabi, M., Erhioui, M.M., and Ktari, B. 1999. Static analysis of binary code to isolate malicious behaviors, In Proc. IEEE International Workshop on Enterprise Security.","DOI":"10.1109\/ENABL.1999.805197"},{"key":"1751_CR5","doi-asserted-by":"crossref","unstructured":"Besz\u00e9des, \u00c1., Farag\u00f3, C., Szab\u00f3, Z.M., Csirik, J., and Gyim\u00f3thy, T. 2002, Union slices for program maintenance. In Proc. IEEE International Conference on Software Maintenance (ICSM 2002) pp. 12\u201321.","DOI":"10.1109\/ICSM.2002.1167743"},{"key":"1751_CR6","doi-asserted-by":"crossref","unstructured":"Besz\u00e9des, \u00c1., Gergely, T., Szab\u00f3, Z.M., Csirik, J., and Gyim\u00f3thy, T. 2001. Dynamic slicing method for maintenance of large C programs, In Proc. Fifth European Conference on Software Maintenance and Reengineering (CSMR 2001), pp. 105\u2013113.","DOI":"10.1109\/CSMR.2001.914974"},{"key":"1751_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(08)60641-5","volume":"43","author":"D. Binkley","year":"1996","unstructured":"Binkley, D. and Gallagher, K.B. 1996. Program slicing, Advances in Computers 43: 1\u201350.","journal-title":"Advances in Computers"},{"key":"1751_CR8","unstructured":"Canfora, G., Cimitile, A., and De Lucia, A. 1998. Conditioned program slicing, In Information and Software Technology Special Issue on Program Slicing, Vol. 40, pp. 595\u2013607."},{"issue":"4","key":"1751_CR9","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1145\/183432.183438","volume":"16","author":"J. Choi","year":"1994","unstructured":"Choi, J. and Ferrante, J. 1994. Static slicing in the presence of goto statements, ACM Trans. Program. Lang. Syst. 16(4): 1097\u20131113.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1751_CR10","doi-asserted-by":"crossref","unstructured":"Cifuentes, C. and Fraboulet, A. 1997. Intraprocedural static slicing of binary executables, In Proc. International Conference on Software Maintenance, pp. 188\u2013195.","DOI":"10.1109\/ICSM.1997.624245"},{"issue":"2","key":"1751_CR11","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1145\/349214.349233","volume":"22","author":"S.K. Debray","year":"2000","unstructured":"Debray, S.K., Evans, W., Muth, R., and Sutter, B.D. 2000. Compiler techniques for code compaction, ACM Trans. Program. Lang. Syst. 22(2): 378\u2013415.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"1751_CR12","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., and Warren, J.D. 1987. The program dependence graph and its use in optimization, ACM Trans. Program. Lang. Syst. 9(3): 319\u2013349.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"1751_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0164-1212(02)00135-8","volume":"68","author":"M. Harman","year":"2003","unstructured":"Harman, M., Binkley, D.W., and Danicic, S. 2003. Amorphous program slicing, Journal of Systems and Software 68(1): 45\u201364.","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"1751_CR14","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., and Binkley, D. 1990. Interprocedural slicing using dependence graphs, ACM Trans. Program. Lang. Syst. 12(1): 26\u201361.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1751_CR15","doi-asserted-by":"crossref","unstructured":"Kiss, \u00c1., J\u00e1sz, J., Lehotai, G., and Gyim\u00f3thy, T. 2003. Interprocedural static slicing of binary executables, in Proc. Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), pp. 118\u2013127.","DOI":"10.1109\/SCAM.2003.1238038"},{"issue":"2","key":"1751_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B. Korel","year":"1988","unstructured":"Korel, B. and Laski, J. 1988. Dynamic program slicing, Information Processing Letters 29(2): 155\u2013163.","journal-title":"Information Processing Letters"},{"key":"1751_CR17","unstructured":"Krinke, J. 2003. Advanced slicing of sequential and concurrent programs, Ph.D. thesis, Universit\u00e4t Passau."},{"key":"1751_CR18","doi-asserted-by":"crossref","unstructured":"Kumar, S. and Horwitz, S. 2002. Better slicing of programs with jumps and switches, In Proc. FASE 2002: Fundamental Approaches to Software Engineering.","DOI":"10.1007\/3-540-45923-5_7"},{"issue":"6","key":"1751_CR19","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/223428.207163","volume":"30","author":"J.R. Larus","year":"1995","unstructured":"Larus, J.R. and Schnarr, E. 1995. EEL: Machine-independent executable editing, ACM SIGPLAN Notices 30(6): 291\u2013300.","journal-title":"ACM SIGPLAN Notices"},{"key":"1751_CR20","unstructured":"Lee, C., Potkonjak, M., and Mangione-Smith, W.H. 1997. MediaBench: A tool for evaluating and synthesizing multimedia and communicatons Systems, In Proc. International Symposium on Microarchitecture, pp. 330\u2013335."},{"issue":"1","key":"1751_CR21","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T. Lengauer","year":"1979","unstructured":"Lengauer, T. and Tarjan, R.E. 1979. A fast algorithm for finding dominators in a flowgraph, ACM Trans. Program. Lang. Syst. 1(1): 121\u2013141.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1751_CR22","unstructured":"Microsoft Corporation. 1999. Microsoft portable executable and common object file format specification version 6.0. http:\/\/www.microsoft.com\/hwdev\/hardware\/PECOFF.asp."},{"key":"1751_CR23","doi-asserted-by":"crossref","unstructured":"Mock, M., Atkinson, D.C., Chambers, C., and Eggers, S.J. 2002. Improving program slicing with dynamic points-to data, In Proc. 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 71\u201380.","DOI":"10.1145\/587051.587062"},{"key":"1751_CR24","doi-asserted-by":"crossref","unstructured":"Ottenstein, K.J. and Ottenstein, L.M. 1984. The program dependence graph in a software development environment, In Proc. ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp. 177\u2013184.","DOI":"10.1145\/800020.808263"},{"key":"1751_CR25","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M., and Rosay, G. 1994. Speeding up slicing, In Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 11\u201320.","DOI":"10.1145\/193173.195287"},{"key":"1751_CR26","doi-asserted-by":"crossref","unstructured":"Shapiro, M. and Horwitz, S. 1997. Fast and accurate flow-insensitive points-to analysis, In Proc. 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.","DOI":"10.1145\/263699.263703"},{"key":"1751_CR27","unstructured":"Standard Performance Evaluation Corporation (SPEC). 2000. SPEC CINT2000 Benchmarks. http:\/\/www.spec.org\/osg\/cpu2000\/CINT2000\/."},{"key":"1751_CR28","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F. 1995. A survey of program slicing techniques, Journal of Programming Languages 3, 121\u2013189.","journal-title":"Journal of Programming Languages"},{"key":"1751_CR29","unstructured":"TIS Committee. 1995. Tool interface Standard (TIS) executable and Linking Format (ELF) version 1.2. http:\/\/www.x86.org\/ftp\/manuals\/tools\/elf.pdf."},{"issue":"4","key":"1751_CR30","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M. 1984. Program slicing, IEEE Trans. Software Eng. 10(4): 352\u2013357.","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-005-1751-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-005-1751-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-005-1751-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:10:34Z","timestamp":1559383834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-005-1751-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,9]]}},"alternative-id":["1751"],"URL":"https:\/\/doi.org\/10.1007\/s11219-005-1751-x","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9]]}}}