Cover Image

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aman, Ali, Asaduzzaman, Muhammad, Wang, Shaowei
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
by: He, Pengfei, et al.
Published: (2026)

Think Harder and Don't Overlook Your Options: Revisiting Issue-Commit Linking with LLM-Assisted Retrieval
by: Morgan, Cole, et al.
Published: (2026)

PyTy: Repairing Static Type Errors in Python
by: Chow, Yiu Wai, et al.
Published: (2024)

When LLMs Lag Behind: Knowledge Conflicts from Evolving APIs in Code Generation
by: Ashik, Ahmed Nusayer, et al.
Published: (2026)

Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
by: Uddin, Md. Ashraf, et al.
Published: (2025)

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2023)

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
by: Wang, Chong, et al.
Published: (2024)

Statically Inferring Usage Bounds for Infrastructure as Code
by: Qiao, Feitong, et al.
Published: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using LLMs
by: Kabir, Azmain, et al.
Published: (2024)

Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?
by: Chowdhury, Shaiful, et al.
Published: (2024)

Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
by: Sun, Shuo, et al.
Published: (2025)

Lightweight Syntactic API Usage Analysis with UCov
by: Monce, Gustave, et al.
Published: (2024)

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
by: He, Pengfei, et al.
Published: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

RAG-Reflect: Agentic Retrieval-Augmented Generation with Reflections for Comment-Driven Code Maintenance on Stack Overflow
by: Shanto, Mehedi Hasan, et al.
Published: (2026)

Analyzing the Usage of Donation Platforms for PyPI Libraries
by: Tsakpinis, Alexandros, et al.
Published: (2025)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
by: Oliveira, Jonhnanthan, et al.
Published: (2025)

ZeroFalse: Improving Precision in Static Analysis with LLMs
by: Iranmanesh, Mohsen, et al.
Published: (2025)

StaAgent: An Agentic Framework for Testing Static Analyzers
by: Nnorom, Elijah, et al.
Published: (2025)

Dependency Dilemmas: A Comparative Study of Independent and Dependent Artifacts in Maven Central Ecosystem
by: Shanto, Mehedi Hasan, et al.
Published: (2025)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
by: Zhang, Huaien, et al.
Published: (2024)

Static Code Analyzer Recommendation via Preference Mining
by: Ge, Xiuting, et al.
Published: (2024)

ArkAnalyzer: The Static Analysis Framework for OpenHarmony
by: Chen, Haonan, et al.
Published: (2025)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
by: Larrivain, Daphné, et al.
Published: (2025)

How Do Agentic AI Systems Address Performance Optimizations? A BERTopic-Based Analysis of Pull Requests
by: Opu, Md Nahidul Islam, et al.
Published: (2025)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

Scalable and Precise Application-Centered Call Graph Construction for Python
by: Huang, Kaifeng, et al.
Published: (2023)

PyGress: Tool for Analyzing the Progression of Code Proficiency in Python OSS Projects
by: Charatvaraphan, Rujiphart, et al.
Published: (2025)

Advancing Mobile UI Testing by Learning Screen Usage Semantics
by: Khan, Safwat Ali
Published: (2025)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
by: Stoico, Vincenzo, et al.
Published: (2025)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
by: Wickert, Anna-Katharina, et al.
Published: (2024)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
by: Cui, Han, et al.
Published: (2024)

Type-aware LLM-based Regression Test Generation for Python Programs
by: Liu, Runlin, et al.
Published: (2025)

Precision or Peril: A PoC of Python Code Quality from Quantized Large Language Models
by: Melin, Eric L., et al.
Published: (2024)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
by: Dong, Honghua, et al.
Published: (2025)

How Do Developers Use Type Inference: An Exploratory Study in Kotlin
by: Flint, Samuel W., et al.
Published: (2024)

PCREQ: Automated Inference of Compatible Requirements for Python Third-party Library Upgrades
by: Lei, Huashan, et al.
Published: (2025)

Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference
by: Wang, Chong, et al.
Published: (2023)