Search Results - (static OR statni) python code analysis*

Refine Results
  1. 1

    Evaluating Python Static Code Analysis Tools Using FAIR Principles by Hassan, Hassan Bapeer, Sarhan, Qusay Idrees, Beszedes, Arpad

    ISSN: 2169-3536, 2169-3536
    Published: IEEE 2024
    Published in IEEE access (2024)
    “…The quality of modern software relies heavily on the effective use of static code analysis tools…”
    Get full text
    Journal Article
  2. 2

    Code Analysis with Static Application Security Testing for Python Program by Ma, Li, Yang, Huihong, Xu, Jianxiong, Yang, Zexian, Lao, Qidi, Yuan, Dong

    ISSN: 1939-8018, 1939-8115
    Published: New York Springer US 01.11.2022
    Published in Journal of signal processing systems (01.11.2022)
    “…With the increasing popularity of Python for project development, code security and quality have become severe issues for the past few years…”
    Get full text
    Journal Article
  3. 3

    Static Analysis of Corpus of Source Codes of Python Applications by Kapustin, D. A., Shvyrov, V. V., Shulika, T. I.

    ISSN: 0361-7688, 1608-3261
    Published: Moscow Pleiades Publishing 01.08.2023
    Published in Programming and computer software (01.08.2023)
    “…A static analysis method is one of the popular methods of software code analysis…”
    Get full text
    Journal Article
  4. 4

    Declarative static analysis for multilingual programs using CodeQL by Youn, Dongjun, Lee, Sungho, Ryu, Sukyoung

    ISSN: 0038-0644, 1097-024X
    Published: Bognor Regis Wiley Subscription Services, Inc 01.07.2023
    Published in Software, practice & experience (01.07.2023)
    “…Summary Declarative static program analysis has become one of the widely‐used program analysis techniques…”
    Get full text
    Journal Article
  5. 5

    Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints by Rak‐amnouykit, Ingkarat, Milanova, Ana, Baudart, Guillaume, Hirzel, Martin, Dolby, Julian

    ISSN: 0038-0644, 1097-024X
    Published: Bognor Regis Wiley Subscription Services, Inc 01.03.2024
    Published in Software, practice & experience (01.03.2024)
    “…‐precondition analysis for Python to extract inter‐argument constraints. The analysis is mostly static, but to make it tractable for typical Python idioms, it selectively switches to the concrete domain for some cases…”
    Get full text
    Journal Article
  6. 6

    Static analysis driven enhancements for comprehension in machine learning notebooks by Venkatesh, Ashwin Prasad Shivarpatna, Sabu, Samkutty, Chekkapalli, Mouli, Wang, Jiawei, Li, Li, Bodden, Eric

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.09.2024
    “…Jupyter notebooks have emerged as the predominant tool for data scientists to develop and share machine learning solutions, primarily using Python as the programming language…”
    Get full text
    Journal Article
  7. 7

    Detecting and Explaining Python Name Errors by Wang, Jiawei, Li, Li, Liu, Kui, Du, Xiaoning

    ISSN: 0950-5849
    Published: Elsevier B.V 01.02.2025
    Published in Information and software technology (01.02.2025)
    “… To fill this gap, we propose in this work a static analysis-based approach called DENE (short for Detecting and Explaining Name Errors…”
    Get full text
    Journal Article
  8. 8

    VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python by Wartschinski, Laura, Noller, Yannic, Vogel, Thomas, Kehrer, Timo, Grunske, Lars

    ISSN: 0950-5849, 1873-6025
    Published: Elsevier B.V 01.04.2022
    Published in Information and software technology (01.04.2022)
    “…Identifying potential vulnerable code is important to improve the security of our software systems…”
    Get full text
    Journal Article
  9. 9

    Generative Type Inference for Python by Peng, Yun, Wang, Chaozheng, Wang, Wenxuan, Gao, Cuiyun, Lyu, Michael R.

    ISSN: 2643-1572
    Published: IEEE 11.09.2023
    “…Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub…”
    Get full text
    Conference Proceeding
  10. 10

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

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.05.2024
    Published in IEEE transactions on software engineering (01.05.2024)
    “… The current static code analysis tools for Python are unable to scan the increasing complexity of the source code…”
    Get full text
    Journal Article
  11. 11

    KG4Py: A toolkit for generating Python knowledge graph and code semantic search by Liang, Lu, Li, Yong, Wen, Ming, Liu, Ying

    ISSN: 0954-0091, 1360-0494
    Published: Abingdon Taylor & Francis 31.12.2022
    Published in Connection science (31.12.2022)
    “… In KG4Py, we remove all duplicate files in 317 K Python files and perform static code analyses of these files by using a concrete syntax tree (CST…”
    Get full text
    Journal Article
  12. 12

    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

    ISSN: 2576-9103
    Published: IEEE 09.12.2024
    “… 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
    Conference Proceeding
  13. 13

    A Comprehensive Review of Static Memory Analysis by Akinyemi, Temidayo, Solomon, Enoch, Woubie, Abraham, Lippert, Kari

    ISSN: 2169-3536, 2169-3536
    Published: Piscataway IEEE 2024
    Published in IEEE access (2024)
    “…This review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management…”
    Get full text
    Journal Article
  14. 14

    A Python-based integrated time domain analysis method for floating wind turbines by Dong, Li, Wang, Zhidong, Fan, Zhongyao, Shui, Yidi, Shao, Wenxi, Cheng, Zhengshun, Chen, Peng

    ISSN: 0029-8018
    Published: Elsevier Ltd 30.04.2025
    Published in Ocean engineering (30.04.2025)
    “…Integrated analysis and design optimization of floating wind turbines (FWT) is vital for cost reduction and efficiency enhancement…”
    Get full text
    Journal Article
  15. 15

    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

    ISSN: 2255-8691, 2255-8683, 2255-8691
    Published: Riga Sciendo 01.01.2025
    Published in Applied Computer Systems (Online) (01.01.2025)
    “…Context: Source code translation enables cross-platform compatibility, code reusability, legacy system migration, and developer collaboration…”
    Get full text
    Journal Article
  16. 16

    Towards Effective Static Type-Error Detection for Python by Oh, Wonseok, Oh, Hakjoo

    ISSN: 2643-1572
    Published: ACM 27.10.2024
    “… This empirical investigation revealed four key static-analysis features that are crucial for the effective detection of Python type errors in practice…”
    Get full text
    Conference Proceeding
  17. 17

    Code2graph: Automatic Generation of Static Call Graphs for Python Source Code by Gharibi, Gharib, Tripathi, Rashmi, Lee, Yugyung

    ISSN: 2643-1572
    Published: ACM 01.09.2018
    “… However, there is a lack of software tools that can automatically analyze the Python source-code and construct its static call graph…”
    Get full text
    Conference Proceeding
  18. 18

    Multidisciplinary analysis and structural optimization for the aeroelastic sizing of a UAV wing using open-source code integration by Benaouali, Abdelkader, Boutemedjet, Abdelwahid

    ISSN: 1748-8842, 1748-8842, 1758-4213
    Published: Bradford Emerald Publishing Limited 27.05.2024
    Published in Aircraft engineering (27.05.2024)
    “…) wing that takes into account the aeroelasticity effects through a fluid–structure interaction analysis…”
    Get full text
    Journal Article
  19. 19

    SecureQwen: Leveraging LLMs for vulnerability detection in python codebases by Mechri, Abdechakour, Ferrag, Mohamed Amine, Debbah, Merouane

    ISSN: 0167-4048
    Published: Elsevier Ltd 01.01.2025
    Published in Computers & security (01.01.2025)
    “…Identifying vulnerabilities in software code is crucial for ensuring the security of modern systems…”
    Get full text
    Journal Article
  20. 20

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

    ISSN: 1538-4365, 0067-0049, 1538-4365
    Published: United States 01.02.2015
    “…I describe the design, implementation, and usage of galpy, a python package for galactic-dynamics calculations…”
    Get full text
    Journal Article