- -

Slicing unconditional jumps with unnecessary control dependencies

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Slicing unconditional jumps with unnecessary control dependencies

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: Galindo-JimenezPe ...
Tamaño: 559.7Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Galindo2021_Chapt ...
Tamaño: 628.1Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Galindo-Jiménez, Carlos Santiago es_ES
dc.contributor.author Pérez-Rubio, Sergio es_ES
dc.contributor.author Silva, Josep es_ES
dc.date.accessioned 2022-04-05T06:55:12Z
dc.date.available 2022-04-05T06:55:12Z
dc.date.issued 2021-02-13 es_ES
dc.identifier.issn 0302-9743 es_ES
dc.identifier.uri http://hdl.handle.net/10251/181801
dc.description.abstract [EN] Program slicing is an analysis technique that has a wide range of applications, ranging from compilers to clone detection software, and that has been applied to practically all programming languages. Most program slicing techniques are based on a widely extended program representation, the System Dependence Graph (SDG). However, in the presence of unconditional jumps, there exist some situations where most SDG-based slicing techniques are not as accurate as possible, including more code than strictly necessary. In this paper, we identify one of these scenarios, pointing out the cause of the inaccuracy, and describing the initial solution to the problem proposed in the literature, together with an extension, which solves the problem completely. These solutions modify both the SDG generation and the slicing algorithm. Additionally, we propose an alternative solution, that solves the problem by modifying only the SDG generation, leaving the slicing algorithm untouched. es_ES
dc.description.sponsorship This work has been partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R and PID2019-104735RB-C41, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA No 952215 es_ES
dc.language Inglés es_ES
dc.publisher Springer-Verlag es_ES
dc.relation.ispartof Lecture Notes in Computer Science es_ES
dc.relation.ispartof Logic-Based Program Synthesis and Transformation es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Program analysis es_ES
dc.subject Program slicing es_ES
dc.subject Unconditional jumps es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.classification QUIMICA ORGANICA es_ES
dc.title Slicing unconditional jumps with unnecessary control dependencies es_ES
dc.type Artículo es_ES
dc.type Comunicación en congreso es_ES
dc.type Capítulo de libro es_ES
dc.identifier.doi 10.1007/978-3-030-68446-4_15 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-104735RB-C41/ES/SAFER-UPV: ANALISIS Y VALIDACION DE SOFTWARE Y RECURSOS WEB/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/AEI//TIN2016-76843-C4-1-R//METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/EC/H2020/952215/EU es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Galindo-Jiménez, CS.; Pérez-Rubio, S.; Silva, J. (2021). Slicing unconditional jumps with unnecessary control dependencies. Lecture Notes in Computer Science. 12561:293-308. https://doi.org/10.1007/978-3-030-68446-4_15 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020) es_ES
dc.relation.conferencedate Septiembre 07-09,2020 es_ES
dc.relation.conferenceplace Bologna, Italy es_ES
dc.relation.publisherversion https://doi.org/10.1007/978-3-030-68446-4_15 es_ES
dc.description.upvformatpinicio 293 es_ES
dc.description.upvformatpfin 308 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 12561 es_ES
dc.relation.pasarela S\429601 es_ES
dc.contributor.funder GENERALITAT VALENCIANA es_ES
dc.contributor.funder AGENCIA ESTATAL DE INVESTIGACION es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder COMISION DE LAS COMUNIDADES EUROPEA es_ES
dc.description.references Sun, C.A., Ran, Y., Zheng, C., Liu, H., Towey, D., Zhang, X.: Fault localisation for WS-BPEL programs based on predicate switching and program slicing. J. Syst. Softw. 135, 191–204 (2018) es_ES
dc.description.references Aung, M., Horwitz, S., Joiner, R., Reps, T.: Specialization slicing. ACM Trans. Program. Lang. Syst. 36(2), 5:1–5:67 (2014) es_ES
dc.description.references Ball, T., Horwitz, S.: Slicing programs with arbitrary control-flow. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 206–222. Springer, Heidelberg (1993). https://doi.org/10.1007/BFb0019410 es_ES
dc.description.references Binkley, D.: Precise executable interprocedural slices. ACM Lett. Program. Lang. Syst. 2(1–4), 31–45 (1993) es_ES
dc.description.references Chen, Z., Xu, B.: Slicing concurrent java programs. SIGPLAN Not. 36(4), 41–47 (2001) es_ES
dc.description.references Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319–349 (1987) es_ES
dc.description.references Hajnal, A., Forgács, I.: A demand-driven approach to slicing legacy COBOL systems. J. Softw. Maint. 24(1), 67–82 (2012) es_ES
dc.description.references Horwitz, S., Reps, T., Binkley, D.:: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988, pp. 35–46. ACM, New York (1988) es_ES
dc.description.references Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26–60 (1990) es_ES
dc.description.references Krinke, J.: Static slicing of threaded programs. SIGPLAN Not. 33(7), 35–42 (1998) es_ES
dc.description.references Kumar, S., Horwitz, S.: Better slicing of programs with jumps and switches. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 96–112. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45923-5_7 es_ES
dc.description.references Larsen, L., Harrold, M.J.: Slicing object-oriented software. In: Proceedings of the 18th International Conference on Software Engineering, ICSE 1996, pp. 495–505. IEEE Computer Society, Washington (1996) es_ES
dc.description.references Majumdar, A., Drape, S.J., Thomborson, C.D.: Slicing obfuscations: design, correctness, and evaluation. In: Proceedings of the 2007 ACM Workshop on Digital Rights Management, DRM 2007, pp. 70–81. ACM, New York (2007) es_ES
dc.description.references Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. SIGSOFT Softw. Eng. Notes 9(3), 177–184 (1984) es_ES
dc.description.references Reps, T., Horwitz, S., Sagiv, M., Rosay, G.: Speeding up slicing. SIGSOFT Softw. Eng. Notes 19(5), 11–20 (1994) es_ES
dc.description.references Reps, T., Rosay, G.: Precise interprocedural chopping. In: Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 41–52. Association for Computing Machinery, New York (1995) es_ES
dc.description.references Sinha, S., Harrold, M.J., Rothermel, G.: System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No. 99CB37002), pp. 432–441. IEEE, May 1999 es_ES
dc.description.references Tip, F.: A survey of program slicing techniques. J. Program. Lang. 3(3), 121–189 (1995) es_ES
dc.description.references Towle, R.A.: Control and data dependence for program transformations. Ph.D. thesis, USA (1976). AAI7624191 es_ES
dc.description.references Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering (ICSE 1981), pp. 439–449. IEEE Press, Piscataway (1981) es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem