Publication date
January 2012
DOI Publisher
Springer Science and Business Media LLCAbstract
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse
Abstract This paper tells the story of how our organization introduced static analysis into its soft...
ManuscriptCompilers should be correct. To improve the quality of C compilers, we created Csmith, a r...
The size of today’s programs continues to grow, as does the number of bugs they contain. Testing alo...
Abstract. Stanse is a free (available under the GPLv2 license) mod-ular framework for finding bugs i...
Static program analysis is a technique to analyse code without executing it, and can be used to find...
Much research in recent years has focused on using static analysis to find bugs in software. Many n...
A large number of tools that automate the process of finding errors in pro-grams has recently emerge...
We present the design of Parfait, a static layered program analysis framework for bug checking, desi...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Automatic detection of software bugs is a critical task in software security. Many static tools that...
The goal of SAST-tools is to help developers coding software in a more secure fashion by pointing ea...
Abstract: We consider properties desirable for static analysis tools targeted at find-ing bugs in th...
We describe a method of creating tools to find bugs in software that is driven by the analysis of pr...
© 2018 Authors. To obtain precise and sound results, most of existing static analyzers require whole...
Static analysis of source code is one way to find bugs and problems in large software projects. Many...
Abstract This paper tells the story of how our organization introduced static analysis into its soft...
ManuscriptCompilers should be correct. To improve the quality of C compilers, we created Csmith, a r...
The size of today’s programs continues to grow, as does the number of bugs they contain. Testing alo...
Abstract. Stanse is a free (available under the GPLv2 license) mod-ular framework for finding bugs i...
Static program analysis is a technique to analyse code without executing it, and can be used to find...
Much research in recent years has focused on using static analysis to find bugs in software. Many n...
A large number of tools that automate the process of finding errors in pro-grams has recently emerge...
We present the design of Parfait, a static layered program analysis framework for bug checking, desi...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Automatic detection of software bugs is a critical task in software security. Many static tools that...
The goal of SAST-tools is to help developers coding software in a more secure fashion by pointing ea...
Abstract: We consider properties desirable for static analysis tools targeted at find-ing bugs in th...
We describe a method of creating tools to find bugs in software that is driven by the analysis of pr...
© 2018 Authors. To obtain precise and sound results, most of existing static analyzers require whole...
Static analysis of source code is one way to find bugs and problems in large software projects. Many...
Abstract This paper tells the story of how our organization introduced static analysis into its soft...
ManuscriptCompilers should be correct. To improve the quality of C compilers, we created Csmith, a r...
The size of today’s programs continues to grow, as does the number of bugs they contain. Testing alo...
Add to ORKG