Zobrazeno 1 - 8
of 8
pro vyhledávání: '"George Fourtounis"'
Publikováno v:
ISSTA
Current Java static analyzers, operating either on the source or bytecode level, exhibit unsoundness for programs that contain native code. We show that the Java Native Interface (JNI) specification, which is used by Java programs to interoperate wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::380d2659ae787bb823fab37bc1641e45
https://doi.org/10.1145/3395363.3397368
https://doi.org/10.1145/3395363.3397368
Publikováno v:
ICSE
Static analyses have problems modelling dynamic language features soundly while retaining acceptable precision. The problem is well-understood in theory, but there is little evidence on how this impacts the analysis of real-world programs. We have st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6b57b681a96ebdbc084e46ffe9e29b7
https://doi.org/10.1145/3377811.3380441
https://doi.org/10.1145/3377811.3380441
This is the artifact for the paper "Identifying Java Calls in Native Code via Binary Scanning" (ISSTA 2020). For more details, see file README.txt.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5096621fe7529c9789aa40deef8b29ba
Publikováno v:
ISSTA
Traditional whole-program static analysis (e.g., a points-to analysis that models the heap) encounters scalability problems for realistic applications. We propose a ``featherweight'' analysis that combines a dynamic snapshot of the heap with otherwis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06d0797f439cd8bbf4154453686cdbd3
https://doi.org/10.1145/3213846.3213860
https://doi.org/10.1145/3213846.3213860
Publikováno v:
ISSTA
The dynamic proxy API is one of Java’s most widely-used dynamic features, permitting principled run-time code generation and link- ing. Dynamic proxies can implement any set of interfaces and for- ward method calls to a special object that handles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b66c4d59f59159564c4ce1f910d0910
https://doi.org/10.1145/3213846.3213864
https://doi.org/10.1145/3213846.3213864
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools such as Tamifl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d311a2b5bdfab1e186b2d102909f1678
https://www.um.edu.mt/library/oar/handle/123456789/86114
https://www.um.edu.mt/library/oar/handle/123456789/86114
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319600734
GTTSE
GTTSE
So, you can write a program that generates other programs. Sorry, ... not impressed. You want to impress me? Make sure your program-generating program only produces well-formed programs. What is “well-formed”, you ask? Well, let’s start with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03b2fa3cad64f78913e4358ec849feb4
https://doi.org/10.1007/978-3-319-60074-1_7
https://doi.org/10.1007/978-3-319-60074-1_7
Publikováno v:
FTfJP@ECOOP
We present the Flyweight Object-Oriented (Fᴏᴏ) calculus for the modeling of object-oriented languages. Fᴏᴏ is a simple, minimal class-based calculus, modeling only essential computational aspects and emphasizing larger-scale features (e.g., i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1caf5ee6240536a440f7900ee309920f
https://doi.org/10.1145/2786536.2786540
https://doi.org/10.1145/2786536.2786540