- -

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 completo del ítem

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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/181801

Ficheros en el ítem

Thumbnail
Nombre: Galindo-JimenezPe ...
Tamaño: 559.7Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Galindo2021_Chapt ...
Tamaño: 628.1Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Slicing unconditional jumps with unnecessary control dependencies
Autor: Galindo-Jiménez, Carlos Santiago Pérez-Rubio, Sergio Silva, Josep
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[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 ...[+]
Palabras clave: Program analysis , Program slicing , Unconditional jumps
Derechos de uso: Reserva de todos los derechos
Fuente:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-030-68446-4_15
Editorial:
Springer-Verlag
Versión del editor: https://doi.org/10.1007/978-3-030-68446-4_15
Título del congreso: 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020)
Lugar del congreso: Bologna, Italy
Fecha congreso: Septiembre 07-09,2020
Serie: Lecture Notes in Computer Science
Código del Proyecto:
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/
info:eu-repo/grantAgreement/AEI//TIN2016-76843-C4-1-R//METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/
info:eu-repo/grantAgreement/EC/H2020/952215/EU
info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/
Agradecimientos:
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 ...[+]
Tipo: Artículo Comunicación en congreso Capítulo de libro

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)

Aung, M., Horwitz, S., Joiner, R., Reps, T.: Specialization slicing. ACM Trans. Program. Lang. Syst. 36(2), 5:1–5:67 (2014)

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 [+]
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)

Aung, M., Horwitz, S., Joiner, R., Reps, T.: Specialization slicing. ACM Trans. Program. Lang. Syst. 36(2), 5:1–5:67 (2014)

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

Binkley, D.: Precise executable interprocedural slices. ACM Lett. Program. Lang. Syst. 2(1–4), 31–45 (1993)

Chen, Z., Xu, B.: Slicing concurrent java programs. SIGPLAN Not. 36(4), 41–47 (2001)

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)

Hajnal, A., Forgács, I.: A demand-driven approach to slicing legacy COBOL systems. J. Softw. Maint. 24(1), 67–82 (2012)

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)

Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26–60 (1990)

Krinke, J.: Static slicing of threaded programs. SIGPLAN Not. 33(7), 35–42 (1998)

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

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)

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)

Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. SIGSOFT Softw. Eng. Notes 9(3), 177–184 (1984)

Reps, T., Horwitz, S., Sagiv, M., Rosay, G.: Speeding up slicing. SIGSOFT Softw. Eng. Notes 19(5), 11–20 (1994)

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)

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

Tip, F.: A survey of program slicing techniques. J. Program. Lang. 3(3), 121–189 (1995)

Towle, R.A.: Control and data dependence for program transformations. Ph.D. thesis, USA (1976). AAI7624191

Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering (ICSE 1981), pp. 439–449. IEEE Press, Piscataway (1981)

[-]

recommendations

 

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

Mostrar el registro completo del ítem