Search Results - dynamic code analysis of python programs

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

Authors: V.V. Samarov

Source: Надежность и качество сложных систем, Iss 2 (2023)

Subject Terms: certification tests of software products, 9. Industry and infrastructure, 4. Education, code profiling for dynamic analysis, dynamic code analysis of python programs, control of completeness and lack of redundancy at the level of files and functional objects, TL1-4050, 16. Peace & justice, Motor vehicles. Aeronautics. Astronautics

Access URL: https://doaj.org/article/17c480a498a44ff5b1681dc8eb177136

Automatic and Dynamic Visualization of Process-Based Concurrent Programs

Authors: Farina, Daniel Augusto Rodrigues Campiolo, Rodrigo Rufino, José et al.

Contributors: Farina, Daniel Augusto Rodrigues Campiolo, Rodrigo Rufino, José et al.

Subject Terms: E-Learning tool, System programming, Concurrent programming, Code instrumentation, Inspector functions, JSON, Konva JS, Canvas, Python, React JS, BPMN

File Description: application/pdf

Availability: http://hdl.handle.net/10198/29615

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Authors: Monat, Raphaël Ouadjaout, Abdelraouf Miné, Antoine

Contributors: Monat, Raphaël Ouadjaout, Abdelraouf Miné, Antoine

Source: Lecture Notes in Computer Science ISBN: 9783030888053
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis

Subject Terms: Multilanguage Analysis, Static Analysis, Abstract Interpretation, 0202 electrical engineering, electronic engineering, information engineering, Dynamic Programming Language, 02 engineering and technology, Formal Methods, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-03313409/file/paper.pdf
https://hal.archives-ouvertes.fr/hal-03313409
https://dblp.uni-trier.de/db/conf/sas/sas2021.html#MonatOM21
https://hal.archives-ouvertes.fr/hal-03313409/document
https://link.springer.com/chapter/10.1007/978-3-030-88806-0_16
https://hal.science/hal-03313409v1

SpotFlow: Tracking Method Calls and States at Runtime.

Authors: Hora, Andre

Source: ICSE: International Conference on Software Engineering; 2024, p35-39, 5p

Subject Terms: SOFTWARE engineering, COMPUTER software testing, COMPUTER software execution, COMPUTER software developers, PYTHON programming language

An empirical study of large language models for type and call graph analysis in Python and JavaScript.

Authors: Venkatesh, Ashwin Prasad Shivarpatna Sunil, Rose Sabu, Samkutty et al.

Source: Empirical Software Engineering; Dec2025, Vol. 30 Issue 6, p1-50, 50p

Security Evaluation of AI-Generated Code: A Comparative Study of ChatGPT, Copilot, And Gemini through Static and Dynamic Analysis.

Authors: Ceran, Onur

Source: Gazi Journal of Engineering Sciences (GJES) / Gazi Mühendislik Bilimleri Dergisi; Aug2025, Vol. 11 Issue 2, p304-320, 17p

Subject Terms: GENERATIVE artificial intelligence, COMPUTER software security, CHATGPT, COMPUTER software development, WEB-based user interfaces

NAS Parallel Benchmarks with Python: a performance and programming effort analysis focusing on GPUs.

Authors: Di Domenico, Daniel Lima, João V. F. Cavalheiro, Gerson G. H.

Source: Journal of Supercomputing; May2023, Vol. 79 Issue 8, p8890-8911, 22p

Subject Terms: PYTHON programming language, FORTRAN, C++

Measuring Polymorphism in Python Programs

Authors: Åkerblom, Beatrice Wrigstad, Tobias

Source: SIGPLAN notices. 51(2):114-128

Subject Terms: Python, dynamic languages, polymorphism, trace-based analysis

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-131566

Discovery of the Inner Structure of Black Holes and the Transition of Information Across the Event Horizon

Authors: JALALI, SEYED RASOUL

Subject Terms: ψ–Hamzah equation, black holes, inner structure, event horizon, information paradox, quantum gravity, general relativity, fractional derivatives, fractal geometry, multiscale dynamics, ψ-signature, nonlocal memory, quantum coherence, Hawking radiation, information preservation, singularity resolution, Schwarzschild solution, Kerr solution, Reissner–Nordström, Einstein field equations, quantum tunneling, spacetime curvature, gravitational collapse, ψ-field oscillations, quantum membrane, ψ-barrier, ψ-fingerprint, fractal oscillatory structure, quantum processor, memory preservation, Hawking evaporation, non-thermal radiation, gravitational waves, quantum entanglement, holographic principle, ψ-information layers, fractional wave equation, Caputo derivatives, Grünwald–Letnikov scheme, fractal kernels, oscillatory horizon, quantum coherence fields, turbulence in ψ-fields, oscillatory shells, information recycling, unitarity preservation, ψ-time, memory-driven collapse, quantum tunneling across horizon, oscillatory fractal core, nonlinear dynamics, fractal decomposition, numerical simulation, Python modeling, fractional calculus code, Runge–Kutta ψ-integration, spectral analysis, Lyapunov stability, bifurcation diagrams, wavelet decomposition, Fourier transform, entropic delay index, fractal dimension spectrum, information echo strength, laboratory analog black holes, optical fiber simulation, Bose–Einstein condensates, nonlinear refractive index, Kerr medium, quantum optical black holes, phase shifts, non-Gaussian scattering, fractal laser pulses, ultrafast femtosecond lasers, time-fractal pulses, nonlinear self-focusing, chaotic light behavior, experimental verification, ψ-wave experiments, fractional filtering, multiscale resonance, ψ-information oscillations, ψ-horizon reflection, data analysis tools, pywt wavelet analysis, Fourier frequency comparison, spectral instability, ψ-fractal simulations, comparative metrics, RMS deviation reduction, Planck-scale modeling, sub-horizon turbulence, adaptive ψ-fields, energy-information functions, ψ-potential oscillations, nonlinear boundary conditions, information penetration parameter, Hawking evaporation reinterpretation, entropic phase transitions, information reflection, irreversibility of ψ-processes, quantum memory effect, ψ-nonlocal channels, ψ–multiverse links, ψ-topological resonance, ψ-causality loops, ψ-entropic dynamics, ψ-fractional entropy, memory-preserving algorithms, ψ-field holography, oscillatory attractors, ψ-chaos suppression, ψ-wave propagation, ψ-nonlinear integration, ψ-dimensional mapping, ψ–quantum geometry, quantum coherent oscillations, ψ–vacuum interactions, ψ-cosmology, holographic ψ-encoding, ψ–quantum fingerprints, ψ–wave echo, ψ-field resonance, ψ-dynamics of collapse, ψ-processing of information, ψ-recycling in black holes, ψ-dimensional gateways, ψ-parallel states, ψ-transitions across horizons, ψ-unification model, ψ–quantum gravity integration, ψ-thermodynamics, quantum gravitational field simulations, fractional-fractal models, ψ-differential operators, information preservation across scales, ψ-rewriting of data, ψ-nonlinear oscillatory core, ψ-resonance at event horizon, ψ-fractional oscillators, quantum fractal gravity, black hole entropy, ψ-fractional action, holographic ψ-models, ψ-multiscale oscillations, ψ-nonlinear fractal resonance, ψ-field oscillatory attractors, ψ-coherent tunneling, ψ-quantum decoherence suppression, ψ-dynamics of singularity, ψ-horizon memory layers, ψ-bifurcation stability, ψ-field memory operators, ψ-chaotic attractors, ψ-quantum processing node, ψ-information continuity, ψ-meaning preservation, ψ-event horizon as quantum barrier, ψ-multiscale resonance functions, ψ-fractal delay effects, ψ-wave memory layers, ψ-multidimensional quantum horizons, ψ-fractal experimental analogs, ψ-reproducible lab simulations, ψ-future quantum gravity path, ψ-informational preservation

A Q-analysis package for higher-order interactions analysis in Python and its application in network physiology.

Authors: Smirnov, Nikita Kurkin, Semen Hramov, Alexander E.

Source: Frontiers in Network Physiology; 2025, p1-21, 21p

Subject Terms: PYTHON programming language, FUNCTIONAL magnetic resonance imaging, FUNCTIONAL connectivity

A review of open-source energy system modeling tools.

Authors: Nguyen Binh Khanh Phuong Le Ngo Luong Ngoc Giap et al.

Source: International Journal of Advances in Applied Sciences (IJAAS); Jun2025, Vol. 14 Issue 2, p469-480, 12p

Subject Terms: RENEWABLE energy sources, SYSTEM analysis, ELECTRICAL load, PROGRAMMING languages, USER interfaces

Collective Intelligence for Smarter API Recommendations in Python

Authors: D Souza, Andrea Renika

Subject Terms: Computer science, API Recommendations, API Usage Mining, Code completion, Dynamic languages, Program Analysis, Python

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/9gj3z9j0
https://escholarship.org/content/qt9gj3z9j0/qt9gj3z9j0.pdf

VASPKIT: A user-friendly interface facilitating high-throughput computing and analysis using VASP code

Authors: Wang, Vei Xu, Nan Liu, Jin-Cheng et al.

Source: Computer Physics Communications, 267, 108033 (2021-10)

Subject Terms: Elastic mechanics, Electronic properties, High-throughput, Molecular dynamics, Optical properties, Wave-function, Command line, High-throughput analysis, Input files, Interactive user interfaces, Optical-, Property, User friendly interface, Hardware and Architecture, Physics and Astronomy (all), Physics - Materials Science, General Physics and Astronomy, Engineering, computing & technology, Materials science & engineering, Ingénierie, informatique & technologie, Science des matériaux & ingénierie

Relation: https://api.elsevier.com/content/article/PII:S0010465521001454?httpAccept=text/xml; urn:issn:0010-4655; urn:issn:1879-2944

Access URL: https://orbi.uliege.be/handle/2268/289854

GenEvaPa: A generic evaporation package for modeling evaporation in molecular dynamics simulations

Authors: Harris, Bradley Liu, Gang-yu Faller, Roland

Subject Terms: Evaporation, Python script, Molecular dynamics, Mathematical Sciences, Physical Sciences, Information and Computing Sciences, Nuclear & Particles Physics

Access URL: https://escholarship.org/uc/item/3kr9q8rc

Python API Misuse Mining and Classification Based on Hybrid Analysis and Attention Mechanism.

Authors: He, Xincheng Liu, Xiaojin Xu, Lei

Source: International Journal of Software Engineering & Knowledge Engineering. Oct2023, Vol. 33 Issue 10, p1567-1597. 31p.

Subject Terms: *COMPUTER software development, *APPLICATION program interfaces, PYTHONS, PYTHON programming language, CLASSIFICATION

Using dynamic analysis to infer Python programs and convert them into database programs

Authors: Wu, Jerry.

Thesis Advisors: Martin Rinard., Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science., Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science

Subject Terms: Electrical Engineering and Computer Science.

File Description: 196 pages; application/pdf

Availability: https://hdl.handle.net/1721.1/121643

The role of program analysis in security vulnerability detection: Then and now.

Authors: Cifuentes, Cristina Gauthier, François Hassanshahi, Behnaz et al.

Source: Computers & Security. Dec2023, Vol. 135, pN.PAG-N.PAG. 1p.

Subject Terms: *INDUSTRIALISM, *WORK sharing, JAVASCRIPT programming language, PYTHON programming language, WEB-based user interfaces, CLOUD computing, MACHINE learning

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Authors: Raphaël Monat orcid:0000-0001-8487- Abdelraouf Ouadjaout et al.

Subject Terms: Static Analysis, Abstract Interpretation, Dynamic Programming Languages, Multilanguage Analysis

Relation: https://zenodo.org/communities/sas-2021/; https://zenodo.org/communities/eu/; https://zenodo.org/records/5141314; oai:zenodo.org:5141314; https://doi.org/10.5281/zenodo.5141314

Availability: https://doi.org/10.5281/zenodo.5141314
https://zenodo.org/records/5141314

A Multi-Language Static Analysis of Python Programs with Native C Extensions

Authors: Raphaël Monat orcid:0000-0001-8487- Abdelraouf Ouadjaout et al.

Subject Terms: Static Analysis, Abstract Interpretation, Dynamic Programming Languages, Multilanguage Analysis

Relation: https://zenodo.org/communities/sas-2021/; https://zenodo.org/communities/eu/; https://zenodo.org/records/5140774; oai:zenodo.org:5140774; https://doi.org/10.5281/zenodo.5140774

Availability: https://doi.org/10.5281/zenodo.5140774
https://zenodo.org/records/5140774

Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.

Authors: Rak‐amnouykit, Ingkarat Milanova, Ana Baudart, Guillaume et al.

Source: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p363-393, 31p

Subject Terms: PYTHONS, MACHINE learning, OPERATOR functions, HYPERGRAPHS