This disclosure describes techniques to analyze collections of software projects using static and dynamic features. Software engineers or operators can query the outcomes of these analyses to find cohorts of design patterns that are relevant for the task at hand in their own projects, thus helping them identify applications that meet the criteria of interest. The techniques can also be applied to generate alerts based on evolution of the matching projects, suggest code completion, and to recommend relevant example code or learning resources. Analysis of code can be performed internally on codebases controlled by a single business and/or on permitted code in a public software ecosystem. Implementation of the techniques described in this disc...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Static analysis on source code or binary code retrieves information about a software program. In obj...
Traditional static code analysis encompasses a mature set of techniques for helping understand and o...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
Context: Static code analysis is a software verification technique that refers to the process of exa...
The design and implementation of heuristics for static analysis engines require detailed knowledge a...
The technical debt (TD) metaphor describes a tradeoff between short-term and long-term goals in soft...
Abstract This paper tells the story of how our organization introduced static analysis into its soft...
Developers and security analysts have been using static analysis for a long time to ana-lyze program...
Software vulnerabilities are added into programs during its development. Architectural flaws are int...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Nowadays, agile software development is considered a mainstream approach for software with fast rele...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
This dissertation shows that existing functional tests of software features can be used by a develo...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Static analysis on source code or binary code retrieves information about a software program. In obj...
Traditional static code analysis encompasses a mature set of techniques for helping understand and o...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
Context: Static code analysis is a software verification technique that refers to the process of exa...
The design and implementation of heuristics for static analysis engines require detailed knowledge a...
The technical debt (TD) metaphor describes a tradeoff between short-term and long-term goals in soft...
Abstract This paper tells the story of how our organization introduced static analysis into its soft...
Developers and security analysts have been using static analysis for a long time to ana-lyze program...
Software vulnerabilities are added into programs during its development. Architectural flaws are int...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Nowadays, agile software development is considered a mainstream approach for software with fast rele...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
This dissertation shows that existing functional tests of software features can be used by a develo...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Static analysis on source code or binary code retrieves information about a software program. In obj...
Traditional static code analysis encompasses a mature set of techniques for helping understand and o...