Add to ORKGThis summer, I was working in PH-SFT group as a summer student. My assignment consisted of developing a software tool for static analysis of C++ code. The tool is called Static Analysis Suite. This document describes the project - the initial goal, the domain of interest, i.e. static program analysis, the work I performed and the tools I used, and the results
This report provides a detailed account of the entire progression of the Final Year Project (FYP): C...
The code and static analysis dataset is a compilation of source code projects and their outputs from...
The study looked at the code quality determinants. Technical debt metaphor defines low quality code....
The Static Analysis Suite (SAS) is an open-source software package used to perform static analysis o...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
Context: Static code analysis is a software verification technique that refers to the process of exa...
In this project we described how I created a FOSS Static Analyzer on top of KDevelop to make sure th...
Abstract Many teams at CERN, develop their own software to solve their tasks. This software may be...
Computer science and software engineering education usually contain programming courses that require...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Most of the static analyzers are monolithic applications that define their own ways to analyze sourc...
This paper describes a tool that helps programmers understand object-oriented software systems writt...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
The goal of this diploma thesis is to study and implement selected methods of static code analysis f...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
This report provides a detailed account of the entire progression of the Final Year Project (FYP): C...
The code and static analysis dataset is a compilation of source code projects and their outputs from...
The study looked at the code quality determinants. Technical debt metaphor defines low quality code....
The Static Analysis Suite (SAS) is an open-source software package used to perform static analysis o...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
Context: Static code analysis is a software verification technique that refers to the process of exa...
In this project we described how I created a FOSS Static Analyzer on top of KDevelop to make sure th...
Abstract Many teams at CERN, develop their own software to solve their tasks. This software may be...
Computer science and software engineering education usually contain programming courses that require...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
Most of the static analyzers are monolithic applications that define their own ways to analyze sourc...
This paper describes a tool that helps programmers understand object-oriented software systems writt...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
The goal of this diploma thesis is to study and implement selected methods of static code analysis f...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
This report provides a detailed account of the entire progression of the Final Year Project (FYP): C...
The code and static analysis dataset is a compilation of source code projects and their outputs from...
The study looked at the code quality determinants. Technical debt metaphor defines low quality code....