Search Results - "Code Type inference"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Exploring the Architectural Impact of Possible Dependencies in Python Software by Jin, Wuxia, Cai, Yuanfang, Kazman, Rick, Zhang, Gang, Zheng, Qinghua, Liu, Ting

    ISSN: 2643-1572
    Published: ACM 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. 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 by Shrivastava, Rashmi

    ISBN: 9798379700386
    Published: 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. 3

    Analyzing and Securing Software via Robust and Generalizable Learning by Pei, Kexin

    ISBN: 9798380022859
    Published: 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. 4

    Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code by Huang, Qing, Yuan, Zhiqiang, Xing, Zhenchang, Xu, Xiwei, Zhu, Liming, Lu, Qinghua

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 26.08.2022
    Published 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. 5

    Polymorphic Type Inference for Machine Code by Noonan, Matthew, Loginov, Alexey, Cok, David

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 18.03.2016
    Published 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