Mostrar el registro sencillo del ítem

Points-to analysis for context-oriented JavaScript programs

dc.rights.licenseAttribution-NonCommercial-NoDerivatives 4.0 Internacionalspa
dc.contributor.advisorCardozo Álvarez, Nicolás
dc.contributor.authorCárdenas Landazábal, Sergio Eduardo
dc.date.accessioned2022-06-16T13:59:33Z
dc.date.available2022-06-16T13:59:33Z
dc.date.issued2022-06-15
dc.identifier.urihttp://hdl.handle.net/1992/58041
dc.description.abstractThe purpose of this work is to improve the results of analyzers that could use the points-to sets as an input such as type checking by improving the precision of a points-to analysis for context-oriented JavaScript programs. We implement points-to analysis for context-oriented JavaScript programs, that consider both dynamic capabilities of the language and functionalities of COP. To narrow down the problem, we implement the analyzer for a specific implementation of COP for JavaScript.
dc.format.extent39 páginases_CO
dc.format.mimetypeapplication/pdfes_CO
dc.language.isoenges_CO
dc.publisherUniversidad de los Andeses_CO
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/*
dc.titlePoints-to analysis for context-oriented JavaScript programs
dc.typeTrabajo de grado - Maestríaes_CO
dc.publisher.programMaestría en Ingeniería de Sistemas y Computaciónes_CO
dc.subject.keywordPoints-to analysis
dc.subject.keywordContext-oriented programming
dc.subject.keywordStatic analysis
dc.subject.keywordJavaScript
dc.publisher.facultyFacultad de Ingenieríaes_CO
dc.publisher.departmentDepartamento de Ingeniería Sistemas y Computaciónes_CO
dc.contributor.juryTakahashi Rodriguez, Silvia
dc.contributor.juryLeger, Paul
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.subject.armarcJavaScript (Lenguaje de programación de computadores)
dc.subject.armarcGrupos de puntos
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.description.degreenameMagíster en Ingeniería de Sistemas y Computaciónes_CO
dc.description.degreelevelMaestríaes_CO
dc.contributor.researchgroupFLAGes_CO
dc.description.researchareaProgramming Language Implementationses_CO
dc.identifier.instnameinstname:Universidad de los Andeses_CO
dc.identifier.reponamereponame:Repositorio Institucional Sénecaes_CO
dc.identifier.repourlrepourl:https://repositorio.uniandes.edu.co/es_CO
dc.relation.referencesY. Smaragdakis and G. Balatsouras, "Pointer analysis," Found. Trends Program. Lang., vol. 2, no. 1, p. 1-69, apr 2015. [Online]. Available: https://doi.org/10.1561/2500000014es_CO
dc.relation.referencesV. B. Livshits and M. S. Lam, "Finding security vulnerabilities in java applications with static analysis," in Proceedings of the 14th Conference on USENIX Security Symposium - Volume 14, ser. SSYM-05. USA: USENIX Association, 2005, p. 18.es_CO
dc.relation.referencesS. Chandra and T. Reps, "Physical type checking for c," SIGSOFT Softw. Eng. Notes, vol. 24, no. 5, p. 66-75, sep 1999. [Online]. Available: https://doi.org/10.1145/381788.316183es_CO
dc.relation.referencesG. Richards, S. Lebresne, B. Burg, and J. Vitek, "An analysis of the dynamic behavior of javascript programs," in Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, ser. PLDI 10. New York, NY, USA: Association for Computing Machinery, 2010, p. 1-12. [Online]. Available: https://doi.org/10.1145/1806596.1806598es_CO
dc.relation.referencesP. Costanza and O. Nierstrasz, "Context-oriented programming," Journal of Object Technology, vol. 7, no. 3, pp. 125-151, Mar. 2008. [Online]. Available: http://www.jot.fm/contents/issue_2008_03/article4.htmles_CO
dc.relation.referencesR. Keays and A. Rakotonirainy, "Context-oriented programming," in Proceedings of the 3rd ACM International Workshop on Data Engineering for Wireless and Mobile Access, ser. MobiDe 03. New York, NY, USA: Association for Computing Machinery, 2003, p. 9-16. [Online]. Available: https://doi.org/10.1145/940923.940926es_CO
dc.relation.referencesM. Appeltauer, R. Hirschfeld, M. Haupt, and H. Masuhara, "Contextj: Context-oriented programming with java," Information and Media Technologies, vol. 6, no. 2, pp. 399-419, 2011.es_CO
dc.relation.referencesS. González, K. Mens, M. Colacioiu, and W. Cazzola, "Context traits: Dynamic behaviour adaptation through run-time trait recomposition," in Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development, ser. AOSD 13. New York, NY, USA: Association for Computing Machinery, 2013, p. 209-220. [Online]. Available: https://doi.org/10.1145/2451436.2451461es_CO
dc.relation.referencesL. O. Andersen, "Program analysis and specialization for the c programming language," Ph.D. dissertation, University of Copenhage, 1994.es_CO
dc.relation.referencesB. Steensgaard, "Points-to analysis in almost linear time," in Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL 96. New York, NY, USA: Association for Computing Machinery, 1996, p. 32-41. [Online]. Available: https://doi.org/10.1145/237721.237727es_CO
dc.relation.referencesY. Su, D. Ye, and J. Xue, "Parallel pointer analysis with cfl-reachability," Proceedings of the International Conference on Parallel Processing, vol. 2014, pp. 451-460, 11 2014.es_CO
dc.relation.referencesY. Li, T. Tan, A. Møller, and Y. Smaragdakis, "A principled approach to selective context sensitivity for pointer analysis," ACM Trans. Program. Lang. Syst., vol. 42, no. 2, may 2020. [Online]. Available: https://doi.org/10.1145/3381915es_CO
dc.relation.referencesS. Wei and B. G. Ryder, "Adaptive context-sensitive analysis for javascript," in 29th European Conference on Object-Oriented Programming (ECOOP 2015), ser. Leibniz International Proceedings in Informatics (LIPIcs), J. T. Boyland, Ed., vol. 37. Dagstuhl, Germany: Schloss Dagstuhl "Leibniz" Zentrum fuer Informatik, 2015, pp. 712-734. [Online]. Available: http://drops.dagstuhl.de/opus/volltexte/2015/5244es_CO
dc.relation.referencesS. Roy and Y. N. Srikant, "Partial flow sensitivity," in High Performance Computing HiPC 2007, S. Aluru, M. Parashar, R. Badrinath, and V. K. Prasanna, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 245-256.es_CO
dc.relation.referencesY. Sui, P. Di, and J. Xue, "Sparse flow-sensitive pointer analysis for multithreaded programs," in Proceedings of the 2016 International Symposium on Code Generation and Optimization, ser. CGO 16. New York, NY, USA: Association for Computing Machinery, 2016, p. 160-170. [Online]. Available: https://doi.org/10.1145/2854038.2854043es_CO
dc.relation.referencesS. Wei and B. Ryder, "State-sensitive points-to analysis for the dynamic behavior of javascript objects," 07 2014, pp. 1-26.es_CO
dc.relation.referencesM. Sridharan, J. Dolby, S. Chandra, M. Schäfer, and F. Tip, "Correlation tracking for points-to analysis of javascript," in ECOOP 2012 Object-Oriented Programming, J. Noble, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 435-458.es_CO
dc.relation.referencesR. Keays and A. Rakotonirainy, "Context-oriented programming," in Proceedings of the 3rd ACM International Workshop on Data Engineering for Wireless and Mobile Access, ser. MobiDe 03. New York, NY, USA: Association for Computing Machinery, 2003, p. 9-16. [Online]. Available: https://doi.org/10.1145/940923.940926es_CO
dc.relation.referencesR. Hirschfeld, P. Costanza, and O. M. Nierstrasz, "Context-oriented programming," Journal of Object technology, vol. 7, no. 3, pp. 125-151, 2008.es_CO
dc.relation.referencesG. Salvaneschi, C. Ghezzi, and M. Pradella, "Context-oriented programming: A software engineering perspective," Journal of Systems and Software, vol. 85, no. 8, pp. 1801-1817, 2012. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S016412121200074Xes_CO
dc.relation.referencesR. Hirschfeld, P. Costanza, and M. Haupt, "An introduction to context-oriented programming with contexts," in International Summer School on Generative and Transformational Techniques in Software Engineering. Springer, 2007, pp. 396-407.es_CO
dc.relation.referencesA. Elyasaf and A. Sturm, "Towards a framework for analyzing context-oriented programming languages," in Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, ser. COP 2021. New York, NY, USA: Association for Computing Machinery, 2021, p. 16-23. [Online]. Available: https://doi.org/10.1145/3464970.3468414es_CO
dc.relation.references"T.j. watson libraries for analysis (wala)." [Online]. Available: http://wala.sourceforge.netes_CO
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentTextes_CO
dc.type.redcolhttps://purl.org/redcol/resource_type/TM
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2spa
dc.subject.themesIngenieríaes_CO


Ficheros en el ítem

Thumbnail

Nombre: Tesis_Sergio_Cardenas.pdf

[PDF] PDF Open Access[PDF] VER Open Access

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

Mostrar el registro sencillo del ítem