Search Results - (( (statu OR state) python code analysis ) OR ( (static OR staten) python code analysis ))

Methods and Benchmark for Detecting Cryptographic API Misuses in Python by Frantz, Miles, Xiao, Ya, Pias, Tanmoy Sarkar, Meng, Na, Yao, Danfeng

“… The current static code analysis tools for Python are unable to scan the increasing complexity of the source code…”
Get full text

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count by Ma, Xutong, Yan, Jiwei, Zhang, Hao, Yan, Jun, Zhang, Jian

“… To detect such problems, state-of-the-art approaches have made groundbreaking contributions to identifying inappropriate final refcount values before returning from native code to Python…”
Get full text

A Study of Large Language Models in Detecting Python Code Violations by Mohammed Salih, Hekar A., Sarhan, Qusay I.

“… Common static code analysis tools for Python, such as Pylint and Flake8, are widely used to enforce code quality by detecting coding violations without executing the code…”
Get full text

galpy: A python LIBRARY FOR GALACTIC DYNAMICS by Bovy, Jo

“…I describe the design, implementation, and usage of galpy, a python package for galactic-dynamics calculations…”
Get full text

DeVAIC: A tool for security assessment of AI-generated code by Cotroneo, Domenico, De Luca, Roberta, Liguori, Pietro

“… This research work introduces DeVAIC (Detection of Vulnerabilities in AI-generated Code), a tool to evaluate the security of AI-generated Python code, which overcomes the challenge of examining incomplete code…”
Get full text

PyTy: Repairing Static Type Errors in Python by Chow, Yiu Wai, Di Grazia, Luca, Pradel, Michael

“… As more and more code bases get type-annotated, static type checkers detect an increasingly large number of type errors…”
Get full text

PyCG: Practical Call Graph Generation in Python by Salis, Vitalis, Sotiropoulos, Thodoris, Louridas, Panos, Spinellis, Diomidis, Mitropoulos, Dimitris

“… We propose a pragmatic, static approach for call graph generation in Python. We compute all assignment relations between program identifiers of functions, variables, classes, and modules through an inter-procedural analysis…”
Get full text

MTpy: A Python toolbox for magnetotellurics by Krieger, Lars, Peacock, Jared R.

“… Written in Python, the code is open source, containing sub-packages and modules for various tasks within the standard MT data processing and handling scheme…”
Get full text

CryptoPyt: Unraveling Python Cryptographic APIs Misuse with Precise Static Taint Analysis by Guo, Xiangxin, Jia, Shijie, Lin, Jingqiang, Ma, Yuan, Zheng, Fangyu, Li, Guangzheng, Xu, Bowen, Cheng, Yueqiang, Ji, Kailiang

“… Based on PCAST, we design and implement CryptoPyt, a static code analysis tool that leverages precise taint analysis and 17 cryptographic misuse rules to automatically…”
Get full text

Analysing Software Quality of AI-Translated Code: A Comparative Study of Large Language Models Using Static Analysis by Bhutani, Vikram, Toosi, Farshad Ghassemi, Buckley, Jim

“…Context: Source code translation enables cross-platform compatibility, code reusability, legacy system migration, and developer collaboration…”
Get full text

Analyzing LLM-Generated Code According to Four ISO/IEC 5055:2021 Categories by Krebs, Rasmus, Mazumdar, Somnath

“… This paper addresses a gap in current research by evaluating Python code generated by nine state-of-the-art LLMs according to the four main code quality categories…”
Get full text

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs by Zhang, Chenxi, Liang, Yufei, Tan, Tian, Xu, Chang, Kan, Shuangxiang, Sui, Yulei, Li, Yue

“… While JNI mechanism significantly enhances the Java platform's capabilities, it also presents challenges for static analysis of Java programs due to the complex behaviors introduced by native code…”
Get full text

TESTING THE DYNAMIC EXECUTION OF PYTHON PROGRAM CODE DURING THE CERTIFICATION TESTING (DEVELOPMENT) STAGE IN THE CERTIFICATION SYSTEM OF THE MINISTRY OF DEFENSE OF RUSSIA by V.V. Samarov

“…" (State Technical Commission of Russia, Moscow, 1999) 1, hereinafter – RD NDV, along with static analysis, a dynamic analysis should be carried…”
Get full text

Principled and Practical Static Analysis for Python by Rak-Amnouykit, Ingkarat

“…; however, static analysis tools to support software quality and productivity are largely…”
Get full text

Inspect4py: A Knowledge Extraction Framework for Python Code Repositories by Filgueira, Rosa, Garijo, Daniel

“…This work presents inspect4py, a static code analysis framework designed to automatically extract the main features, metadata and documentation of Python code repositories…”
Get full text

MRSimulator: A cross-platform, object-oriented software package for rapid solid-state NMR spectral simulation and analysis by Srivastava, Deepansh J, Giammar, Matthew, Venetos, Maxwell C, McCarthy-Carney, Lexi, Grandinetti, Philip J

“…The open-source Python package, MRSimulator, is presented as a simple-to-use, fast, versatile, and extendable package capable of simulating one- and higher-dimensional Nuclear Magnetic Resonance (NMR…”
Get more information

Dataset of Program Source Codes Solving Unique Programming Exercises Generated by Digital Teaching Assistant by Demidova, Liliya A., Andrianova, Elena G., Sovietov, Peter N., Gorchakov, Artyom V.

“…This paper presents a dataset containing automatically collected source codes solving unique programming exercises of different types…”
Get full text

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis by Drosos, Georgios-Petros, Sotiropoulos, Thodoris, Spinellis, Diomidis, Mitropoulos, Dimitris

“… In this work, we conduct a large-scale, fine-grained analysis to understand bloated dependency code in the PyPI ecosystem…”
Get full text

Treefix: Enabling Execution with a Tree of Prefixes by Souza, Beatriz, Pradel, Michael

“…The ability to execute code is a prerequisite for various dynamic program analyses…”
Get full text

Percolation theory using Python by Malthe-Sørenssen, Anders

“… Readers will learn how to generate, analyze, and comprehend data and models, with detailed theoretical discussions complemented by accessible computer codes…”
Get full text