Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Kashyap, Vineeth"'
Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically discount this information when they look for bugs in a program. In th
Externí odkaz:
http://arxiv.org/abs/2009.09117
Autor:
Kashyap, Vineeth, Ruchti, Jason, Kot, Lucja, Turetsky, Emma, Swords, Rebecca, Pan, Shih An, Henry, Julien, Melski, David, Schulte, Eric
Publikováno v:
IEEE SCAM 2019
We introduce Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools. We share a benchmark generated using Bug-Injector and illustrate its efficacy by using it to evaluate the recall of two lead
Externí odkaz:
http://arxiv.org/abs/1901.02819
Developers spend a significant amount of time searching for code: e.g., to understand how to complete, correct, or adapt their own code for a new context. Unfortunately, the state of the art in code search has not evolved much beyond text search over
Externí odkaz:
http://arxiv.org/abs/1706.02769
Autor:
Kashyap, Vineeth, Dewey, Kyle, Kuefner, Ethan A., Wagner, John, Gibbons, Kevin, Sarracino, John, Wiedermann, Ben, Hardekopf, Ben
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addi
Externí odkaz:
http://arxiv.org/abs/1403.3996
Autor:
Li, Xun, Kashyap, Vineeth, Oberg, Jason K, Tiwari, Mohit, Rajarathinam, Vasanth Ram, Kastner, Ryan, Sherwood, Timothy, Hardekopf, Ben, Chong, Frederic T
Publikováno v:
ACM SIGARCH Computer Architecture News, vol 42, iss 1
Privacy and integrity are important security concerns. These concerns are addressed by controlling information flow, i.e., restricting how information can flow through a system. Most proposed systems that restrict information flow make the implicit a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::44fa1faa8c941f247920377179a665bb
https://escholarship.org/uc/item/77v0c4xv
https://escholarship.org/uc/item/77v0c4xv
Autor:
Kashyap, Vineeth
Publikováno v:
Kashyap, Vineeth. (2014). Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. 0035: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/8xm5m45s
JavaScript is widespread. Web developers use JavaScript to enrich user experience via dynamic content ranging from scripts to enhance a web page's appearance, to full-blown web applications, to extending the functionality of web browsers in the form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::994894cf96dd51d98b46109b3c7b265a
http://www.escholarship.org/uc/item/8xm5m45s
http://www.escholarship.org/uc/item/8xm5m45s
Publikováno v:
2015 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2015, p34-45, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Verification, Model Checking & Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings; 2014, p472-491, 20p