Search Results - "Code Type inference"
-
1
Exploring the Architectural Impact of Possible Dependencies in Python Software
ISSN: 2643-1572Published: ACM 01.09.2020Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)“… Type inference techniques have been widely studied and applied, but existing architecture analytic research and tools have not taken possible dependencies into consideration…”
Get full text
Conference Proceeding -
2
Static Analysis of Stripped Binary Executables to Find Function Parameters, Local Variables and Parameters Used as Pointers in Intel 32-Bit and 64-Bit Architectures
ISBN: 9798379700386Published: ProQuest Dissertations & Theses 01.01.2023“… This leads to conservative static analysis at the binary-level. A large amount of research has been carried out for decades on binary code type inference, a challenging task that aims…”
Get full text
Dissertation -
3
Analyzing and Securing Software via Robust and Generalizable Learning
ISBN: 9798380022859Published: ProQuest Dissertations & Theses 01.01.2023“…Software permeates every facet of our lives, improving their convenience and efficiency, and its sphere of influence continues to expand, leading to novel…”
Get full text
Dissertation -
4
Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 26.08.2022Published in arXiv.org (26.08.2022)“…Partial code usually involves non-fully-qualified type names (non-FQNs) and undeclared receiving objects. Resolving the FQNs of these non-FQN types and…”
Get full text
Paper -
5
Polymorphic Type Inference for Machine Code
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 18.03.2016Published in arXiv.org (18.03.2016)“… In this paper, we motivate and develop a novel type system and algorithm for machine-code type inference…”
Get full text
Paper

