Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA
- Autores:
-
Núñez Pinillos, Felipe
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2025
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/75954
- Acceso en línea:
- https://hdl.handle.net/1992/75954
- Palabra clave:
- Cop
Wala
Pointers
Context
Static
Ingeniería
- Rights
- openAccess
- License
- https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
| id |
UNIANDES2_df40a818de8457c039f01bcd33c3c6bb |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/75954 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| dc.title.none.fl_str_mv |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| title |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| spellingShingle |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA Cop Wala Pointers Context Static Ingeniería |
| title_short |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| title_full |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| title_fullStr |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| title_full_unstemmed |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| title_sort |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| dc.creator.fl_str_mv |
Núñez Pinillos, Felipe |
| dc.contributor.advisor.none.fl_str_mv |
Cardozo Álvarez, Nicolás |
| dc.contributor.author.none.fl_str_mv |
Núñez Pinillos, Felipe |
| dc.contributor.jury.none.fl_str_mv |
Cardozo Álvarez, Nicolás |
| dc.subject.keyword.eng.fl_str_mv |
Cop Wala Pointers Context |
| topic |
Cop Wala Pointers Context Static Ingeniería |
| dc.subject.keyword.none.fl_str_mv |
Static |
| dc.subject.themes.spa.fl_str_mv |
Ingeniería |
| description |
Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA |
| publishDate |
2025 |
| dc.date.accessioned.none.fl_str_mv |
2025-01-31T21:26:10Z |
| dc.date.available.none.fl_str_mv |
2025-01-31T21:26:10Z |
| dc.date.issued.none.fl_str_mv |
2025-01-31 |
| dc.type.none.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.version.none.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.none.fl_str_mv |
Text |
| dc.type.redcol.none.fl_str_mv |
https://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/1992/75954 |
| dc.identifier.instname.none.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.none.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.none.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
https://hdl.handle.net/1992/75954 |
| identifier_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.references.none.fl_str_mv |
Costanza, P., & Nierstrasz, O. (2008). Context-oriented programming. Journal of Object Technology, 7(3), 125–151. http://www.jot.fm/contents/issue_2008_03/article4.html Elyasaf, A., Cardozo, N., & Sturm, A. (2023). A framework for analyzing context-oriented programming languages. Journal of Systems and Software, 198, 111614. González, S., Mens, K., Colacioiu, M., & Cazzola, W. (2013). Context traits: Dynamic behaviour adaptation through run-time trait recomposition. In Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development (pp. 209–220). ACM. https://doi.org/10.1145/2451436.2451461 Hirschfeld, R., Costanza, P., & Nierstrasz, O. M. (2008). Context-oriented programming. Journal of Object Technology, 7(3), 125–151. Keays, R., & Rakotonirainy, A. (2003). Context-oriented programming. In Proceedings of the 3rd ACM International Workshop on Data Engineering for Wireless and Mobile Access (pp. 9–16). ACM. https://doi.org/10.1145/940923.940926 Leger, P., Cardozo, N., & Masuhara, H. (2023). An expressive and modular layer activation mechanism for Context-Oriented Programming. Information and Software Technology, 156, 107132. Liang, P., Tripp, O., & Naik, M. (2011, January). Learning minimal abstractions. In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 31-42). Lincke, J., Appeltauer, M., Steinert, B., & Hirschfeld, R. (2011). An open implementation for context-oriented layer composition in ContextJS. Science of Computer Programming, 76(12), 1194-1209. Richards, G., Lebresne, S., Burg, B., & Vitek, J. (2010). An analysis of the dynamic behavior of JavaScript programs. In Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 1–12). ACM. https://doi.org/10.1145/1806596.1806598 Smaragdakis, Y., & Balatsouras, G. (2015). Pointer analysis. Foundations and Trends in Programming Languages, 2(1), 1–69. https://doi.org/10.1561/2500000014 Sui, Y., Di, P., & Xue, J. (2016). Sparse flow-sensitive pointer analysis for multithreaded programs. In Proceedings of the 2016 International Symposium on Code Generation and Optimization (pp. 160–170). ACM. https://doi.org/10.1145/2854038.2854043 T.J. Watson Libraries for Analysis (WALA). (n.d.). Retrieved from http://wala.sourceforge.net |
| dc.rights.uri.none.fl_str_mv |
https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf |
| dc.rights.accessrights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.none.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.none.fl_str_mv |
37 paginas |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.none.fl_str_mv |
Ingeniería de Sistemas y Computación |
| dc.publisher.faculty.none.fl_str_mv |
Facultad de Ingeniería |
| dc.publisher.department.none.fl_str_mv |
Departamento de Ingeniería de Sistemas y Computación |
| publisher.none.fl_str_mv |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/67f1ee9b-88bc-4d15-9259-2c64a76003e5/download https://repositorio.uniandes.edu.co/bitstreams/8cc7dd89-98b7-40c2-9f4b-f36a2f9233a1/download https://repositorio.uniandes.edu.co/bitstreams/238202fe-fcd2-420a-955c-ac11979e0b01/download https://repositorio.uniandes.edu.co/bitstreams/d705005b-e21f-4ccb-b630-01e3bdcc549f/download https://repositorio.uniandes.edu.co/bitstreams/47d9b620-2511-4d57-98ae-e791576a3d51/download https://repositorio.uniandes.edu.co/bitstreams/6ca88ba2-37ba-4694-b295-f74282c00f72/download https://repositorio.uniandes.edu.co/bitstreams/89884fe0-16c6-40f0-974d-f531a1589ed4/download |
| bitstream.checksum.fl_str_mv |
e8cc57d538a6992fa26a692f9508093f b024b126e57bd7036f38a0746a4f9ce5 ae9e573a68e7f92501b6913cc846c39f 931a5e741f5022adfe4dbc066a7cd75e 4ac7c83489c97cfb4aff47f1c5ce5bc5 6d0e05f8858be10f755dbe4068f253d7 4bb315007831c0b070fe4a3394c03757 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1831927735504601088 |
| spelling |
Cardozo Álvarez, Nicolásvirtual::23012-1Núñez Pinillos, FelipeCardozo Álvarez, Nicolásvirtual::23013-12025-01-31T21:26:10Z2025-01-31T21:26:10Z2025-01-31https://hdl.handle.net/1992/75954instname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALAExtension of the WALA IBM framework for static and pointer analysis in context oriented programsPregrado37 paginasapplication/pdfengUniversidad de los AndesIngeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computaciónhttps://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfinfo:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Extension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALATrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_7a1fTexthttps://purl.org/redcol/resource_type/TPCopWalaPointersContextStaticIngenieríaCostanza, P., & Nierstrasz, O. (2008). Context-oriented programming. Journal of Object Technology, 7(3), 125–151. http://www.jot.fm/contents/issue_2008_03/article4.htmlElyasaf, A., Cardozo, N., & Sturm, A. (2023). A framework for analyzing context-oriented programming languages. Journal of Systems and Software, 198, 111614.González, S., Mens, K., Colacioiu, M., & Cazzola, W. (2013). Context traits: Dynamic behaviour adaptation through run-time trait recomposition. In Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development (pp. 209–220). ACM. https://doi.org/10.1145/2451436.2451461Hirschfeld, R., Costanza, P., & Nierstrasz, O. M. (2008). Context-oriented programming. Journal of Object Technology, 7(3), 125–151.Keays, R., & Rakotonirainy, A. (2003). Context-oriented programming. In Proceedings of the 3rd ACM International Workshop on Data Engineering for Wireless and Mobile Access (pp. 9–16). ACM. https://doi.org/10.1145/940923.940926Leger, P., Cardozo, N., & Masuhara, H. (2023). An expressive and modular layer activation mechanism for Context-Oriented Programming. Information and Software Technology, 156, 107132.Liang, P., Tripp, O., & Naik, M. (2011, January). Learning minimal abstractions. In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 31-42).Lincke, J., Appeltauer, M., Steinert, B., & Hirschfeld, R. (2011). An open implementation for context-oriented layer composition in ContextJS. Science of Computer Programming, 76(12), 1194-1209.Richards, G., Lebresne, S., Burg, B., & Vitek, J. (2010). An analysis of the dynamic behavior of JavaScript programs. In Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 1–12). ACM. https://doi.org/10.1145/1806596.1806598Smaragdakis, Y., & Balatsouras, G. (2015). Pointer analysis. Foundations and Trends in Programming Languages, 2(1), 1–69. https://doi.org/10.1561/2500000014Sui, Y., Di, P., & Xue, J. (2016). Sparse flow-sensitive pointer analysis for multithreaded programs. In Proceedings of the 2016 International Symposium on Code Generation and Optimization (pp. 160–170). ACM. https://doi.org/10.1145/2854038.2854043T.J. Watson Libraries for Analysis (WALA). (n.d.). Retrieved from http://wala.sourceforge.net202021673Publicationhttps://scholar.google.es/citations?user=3iTzjQsAAAAJvirtual::23012-1https://scholar.google.es/citations?user=3iTzjQsAAAAJvirtual::23013-10000-0002-1094-9952virtual::23012-10000-0002-1094-9952virtual::23013-1a77ff528-fc33-44d6-9022-814f81ef407avirtual::23012-1a77ff528-fc33-44d6-9022-814f81ef407avirtual::23012-1a77ff528-fc33-44d6-9022-814f81ef407avirtual::23013-1a77ff528-fc33-44d6-9022-814f81ef407avirtual::23013-1ORIGINALExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdfExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdfapplication/pdf606034https://repositorio.uniandes.edu.co/bitstreams/67f1ee9b-88bc-4d15-9259-2c64a76003e5/downloade8cc57d538a6992fa26a692f9508093fMD51autorizacion tesis (1).pdfautorizacion tesis (1).pdfHIDEapplication/pdf323756https://repositorio.uniandes.edu.co/bitstreams/8cc7dd89-98b7-40c2-9f4b-f36a2f9233a1/downloadb024b126e57bd7036f38a0746a4f9ce5MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-82535https://repositorio.uniandes.edu.co/bitstreams/238202fe-fcd2-420a-955c-ac11979e0b01/downloadae9e573a68e7f92501b6913cc846c39fMD53TEXTExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdf.txtExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdf.txtExtracted texttext/plain56434https://repositorio.uniandes.edu.co/bitstreams/d705005b-e21f-4ccb-b630-01e3bdcc549f/download931a5e741f5022adfe4dbc066a7cd75eMD54autorizacion tesis (1).pdf.txtautorizacion tesis (1).pdf.txtExtracted texttext/plain2030https://repositorio.uniandes.edu.co/bitstreams/47d9b620-2511-4d57-98ae-e791576a3d51/download4ac7c83489c97cfb4aff47f1c5ce5bc5MD56THUMBNAILExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdf.jpgExtension of the Points-to Analysis for Context-Oriented JavaScript Programs in WALA.pdf.jpgGenerated Thumbnailimage/jpeg5252https://repositorio.uniandes.edu.co/bitstreams/6ca88ba2-37ba-4694-b295-f74282c00f72/download6d0e05f8858be10f755dbe4068f253d7MD55autorizacion tesis (1).pdf.jpgautorizacion tesis (1).pdf.jpgGenerated Thumbnailimage/jpeg11089https://repositorio.uniandes.edu.co/bitstreams/89884fe0-16c6-40f0-974d-f531a1589ed4/download4bb315007831c0b070fe4a3394c03757MD571992/75954oai:repositorio.uniandes.edu.co:1992/759542025-03-05 10:02:26.806https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfopen.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.coPGgzPjxzdHJvbmc+RGVzY2FyZ28gZGUgUmVzcG9uc2FiaWxpZGFkIC0gTGljZW5jaWEgZGUgQXV0b3JpemFjacOzbjwvc3Ryb25nPjwvaDM+CjxwPjxzdHJvbmc+UG9yIGZhdm9yIGxlZXIgYXRlbnRhbWVudGUgZXN0ZSBkb2N1bWVudG8gcXVlIHBlcm1pdGUgYWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBTw6luZWNhIHJlcHJvZHVjaXIgeSBkaXN0cmlidWlyIGxvcyByZWN1cnNvcyBkZSBpbmZvcm1hY2nDs24gZGVwb3NpdGFkb3MgbWVkaWFudGUgbGEgYXV0b3JpemFjacOzbiBkZSBsb3Mgc2lndWllbnRlcyB0w6lybWlub3M6PC9zdHJvbmc+PC9wPgo8cD5Db25jZWRhIGxhIGxpY2VuY2lhIGRlIGRlcMOzc2l0byBlc3TDoW5kYXIgc2VsZWNjaW9uYW5kbyBsYSBvcGNpw7NuIDxzdHJvbmc+J0FjZXB0YXIgbG9zIHTDqXJtaW5vcyBhbnRlcmlvcm1lbnRlIGRlc2NyaXRvcyc8L3N0cm9uZz4geSBjb250aW51YXIgZWwgcHJvY2VzbyBkZSBlbnbDrW8gbWVkaWFudGUgZWwgYm90w7NuIDxzdHJvbmc+J1NpZ3VpZW50ZScuPC9zdHJvbmc+PC9wPgo8aHI+CjxwPllvLCBlbiBtaSBjYWxpZGFkIGRlIGF1dG9yIGRlbCB0cmFiYWpvIGRlIHRlc2lzLCBtb25vZ3JhZsOtYSBvIHRyYWJham8gZGUgZ3JhZG8sIGhhZ28gZW50cmVnYSBkZWwgZWplbXBsYXIgcmVzcGVjdGl2byB5IGRlIHN1cyBhbmV4b3MgZGUgc2VyIGVsIGNhc28sIGVuIGZvcm1hdG8gZGlnaXRhbCB5L28gZWxlY3Ryw7NuaWNvIHkgYXV0b3Jpem8gYSBsYSBVbml2ZXJzaWRhZCBkZSBsb3MgQW5kZXMgcGFyYSBxdWUgcmVhbGljZSBsYSBwdWJsaWNhY2nDs24gZW4gZWwgU2lzdGVtYSBkZSBCaWJsaW90ZWNhcyBvIGVuIGN1YWxxdWllciBvdHJvIHNpc3RlbWEgbyBiYXNlIGRlIGRhdG9zIHByb3BpbyBvIGFqZW5vIGEgbGEgVW5pdmVyc2lkYWQgeSBwYXJhIHF1ZSBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgTGV5IDQ0IGRlIDE5OTMsIERlY2lzacOzbiBBbmRpbmEgMzUxIGRlIDE5OTMsIERlY3JldG8gNDYwIGRlIDE5OTUgeSBkZW3DoXMgbm9ybWFzIGdlbmVyYWxlcyBzb2JyZSBsYSBtYXRlcmlhLCB1dGlsaWNlIGVuIHRvZGFzIHN1cyBmb3JtYXMsIGxvcyBkZXJlY2hvcyBwYXRyaW1vbmlhbGVzIGRlIHJlcHJvZHVjY2nDs24sIGNvbXVuaWNhY2nDs24gcMO6YmxpY2EsIHRyYW5zZm9ybWFjacOzbiB5IGRpc3RyaWJ1Y2nDs24gKGFscXVpbGVyLCBwcsOpc3RhbW8gcMO6YmxpY28gZSBpbXBvcnRhY2nDs24pIHF1ZSBtZSBjb3JyZXNwb25kZW4gY29tbyBjcmVhZG9yIGRlIGxhIG9icmEgb2JqZXRvIGRlbCBwcmVzZW50ZSBkb2N1bWVudG8uPC9wPgo8cD5MYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIHNlIGVtaXRlIGVuIGNhbGlkYWQgZGUgYXV0b3IgZGUgbGEgb2JyYSBvYmpldG8gZGVsIHByZXNlbnRlIGRvY3VtZW50byB5IG5vIGNvcnJlc3BvbmRlIGEgY2VzacOzbiBkZSBkZXJlY2hvcywgc2lubyBhIGxhIGF1dG9yaXphY2nDs24gZGUgdXNvIGFjYWTDqW1pY28gZGUgY29uZm9ybWlkYWQgY29uIGxvIGFudGVyaW9ybWVudGUgc2XDsWFsYWRvLiBMYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIHNlIGhhY2UgZXh0ZW5zaXZhIG5vIHNvbG8gYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIHVzbyBzb2JyZSBsYSBvYnJhIGVuIGZvcm1hdG8gbyBzb3BvcnRlIG1hdGVyaWFsLCBzaW5vIHRhbWJpw6luIHBhcmEgZm9ybWF0byBlbGVjdHLDs25pY28sIHkgZW4gZ2VuZXJhbCBwYXJhIGN1YWxxdWllciBmb3JtYXRvIGNvbm9jaWRvIG8gcG9yIGNvbm9jZXIuPC9wPgo8cD5FbCBhdXRvciwgbWFuaWZpZXN0YSBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCB5IGxhIHJlYWxpesOzIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zLCBwb3IgbG8gdGFudG8sIGxhIG9icmEgZXMgZGUgc3UgZXhjbHVzaXZhIGF1dG9yw61hIHkgdGllbmUgbGEgdGl0dWxhcmlkYWQgc29icmUgbGEgbWlzbWEuPC9wPgo8cD5FbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhIGVuIGN1ZXN0acOzbiwgZWwgYXV0b3IgYXN1bWlyw6EgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQsIHkgc2FsZHLDoSBkZSBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvcywgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcyBsYSBVbml2ZXJzaWRhZCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLjwvcD4KPHA+U2kgdGllbmUgYWxndW5hIGR1ZGEgc29icmUgbGEgbGljZW5jaWEsIHBvciBmYXZvciwgY29udGFjdGUgY29uIGVsIDxhIGhyZWY9Im1haWx0bzpiaWJsaW90ZWNhQHVuaWFuZGVzLmVkdS5jbyIgdGFyZ2V0PSJfYmxhbmsiPkFkbWluaXN0cmFkb3IgZGVsIFNpc3RlbWEuPC9hPjwvcD4K |