Examples of using Program analysis in English and their translations into Russian
{-}
-
Colloquial
-
Official
Program analysis in the process of their compilation;
Dynamic and static program analysis;
Static program analysis for dynamically typed languages.
Static and dynamic program analysis.
Dynamic program analysis methods for automatic defect and vulnerability detection.
Technologies of program analysis, modeling and transformation.
Profiling and tracing techniques based on dynamic program analysis.
Survey on static program analysis results refinement approaches.
Agent DuChamp's come over from Criminal Program Analysis.
Gerasimov Survey on static program analysis results refinement approaches pp.
Nowadays there are many academic research andindustrial tools for program analysis.
Avalanche: dynamic program analysis tool.
Dynamic program analysis for error detection using goal-seeking input data generation.
Code obfuscation technology,preventing program analysis and hacking.
Research in program analysis and programming methodology was essentially inspired by this practical work.
Slides presented at the 4-th International Conference on Tools and Methods of Program Analysis, Moscow, Russia, March 3-4, 2017.
Program analysis tools are extremely important for understanding program behavior.
The project is designed to research the feasibility of applying static program analysis techniques for dynamically-typed languages.
Gerasimov Survey on static program analysis results refinement approaches Proceedings of the Institute for System Programming.
The seminar is devoted to modern problems of software engineering,development tools and methods, program analysis and verification.
Scientific interests are static and dynamic program analysis, automatic program defects detection, program transformations.
Many type systems have been created that are specialized for use in certain environments with certain types of data, orfor out-of-band static program analysis.
Program analysis is the general problem of examining a program and determining key characteristics such as the absence of classes of program errors.
The event is being held by joint initiative of the ISP RAS and is devoted to methods of optimization in compiler and code generation,static and dynamic program analysis, etc.
She has contributed to the research of a wide range of computer systems topics including compilers, program analysis, operating systems, security, computer architecture, and high-performance computing.
Dynamic program analysis is the analysis of computer software that is performed by executing programs on a real or virtual processor.
In recent years, deductive databases such as Datalog have found new application in data integration, information extraction,networking, program analysis, security, and cloud computing.
This was an Analysis of Alternatives(AoA) study led by NASA's Program Analysis and Evaluation(PA&E) office with support from outside consultants, the Aerospace Corporation, NASA Langley Research Center(LaRC), and SAIC amongst others.