Skip to search formSkip to main contentSkip to account menu

FindBugs

FindBugs is an open source static code analyser created by Bill Pugh and David Hovemeyer which detects possible bugs in Java programs. Potential… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
소프트웨어 보안 사고의 약 75%는 소프트웨어 취약점으로 인해 발생한다. 또한, 제품 출시 후 결함 수정 비용은 설계 단계의 수정 비용보다 30… 
2013
2013
A software element dened in one place is typically used in many places. When it is changed, all its occurrences may need to be… 
2012
2012
Model checking and static analysis are traditionally seen as two separate approaches to software analysis and verification. In… 
2011
2011
As users download applications to their mobile phones, security is a critical issue. In this paper we present a process for the… 
2011
2011
After a decade of existence, still, Cross-site scripting, SQL Injection and other of Input validation associated security… 
2011
2011
The fuzzing is a technique which allows to generate invalid, unexpected, or random data to supply them in the various inputs of… 
2010
2010
This paper shows that Java static analysis tools can be an effective resource for students to help track down faults as well as… 
2010
2010
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in… 
2008
2008
This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a…