Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,151,199 papers from all fields of science
Search
Sign In
Create Free Account
FindBugs
FindBugs is an open source static code analyser created by Bill Pugh and David Hovemeyer which detects possible bugs in Java programs. Potential…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Apache Maven
Bamboo
Code smell
Comparison of continuous integration software
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
정적 분석을 이용한 안전한 한글 프로그래밍 언어의 개발
강도훈
,
김연어
,
우균
2016
Corpus ID: 74916664
소프트웨어 보안 사고의 약 75%는 소프트웨어 취약점으로 인해 발생한다. 또한, 제품 출시 후 결함 수정 비용은 설계 단계의 수정 비용보다 30…
Expand
2013
2013
The Case for Explicit Coupling Constraints
M. Ziane
,
Mel Ó Cinnéide
arXiv.org
2013
Corpus ID: 6043777
A software element dened in one place is typically used in many places. When it is changed, all its occurrences may need to be…
Expand
2012
2012
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
A. Fehnker
,
Ralf Huuck
Innovations in Systems and Software Engineering
2012
Corpus ID: 255155261
Model checking and static analysis are traditionally seen as two separate approaches to software analysis and verification. In…
Expand
2011
2011
Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach
P. Krishnan
,
Sergej Hafner
,
A. Zeiser
IEEE Fourth International Conference on Software…
2011
Corpus ID: 11449635
As users download applications to their mobile phones, security is a critical issue. In this paper we present a process for the…
Expand
2011
2011
Security vulnerabilities detection and protection using eclipse
M. Guarnieri
2011
Corpus ID: 45905531
After a decade of existence, still, Cross-site scripting, SQL Injection and other of Input validation associated security…
Expand
2011
2011
Fuzzing on the HTTP protocol implementation in mobile embedded web server
Matthieu Barreaud
,
Guillaume Bouffard
,
N. Kamel
,
Jean-Louis Lanet
2011
Corpus ID: 189760809
The fuzzing is a technique which allows to generate invalid, unexpected, or random data to supply them in the various inputs of…
Expand
2010
2010
Open source programming assistance for students
Suzanna E. Schmeelk
International Conference on Educational and…
2010
Corpus ID: 7506378
This paper shows that Java static analysis tools can be an effective resource for students to help track down faults as well as…
Expand
2010
2010
An empirical investigation of source code metrics and findbugs warnings
Anderson Cunha
2010
Corpus ID: 110484929
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in…
Expand
2008
2008
A Compile-Time Infrastructure for GCC Using Haskell
Peter Collingbourne
,
P. Kelly
2008
Corpus ID: 6954219
This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a…
Expand
2007
2007
A framework for the static verification of api calls
D. Spinellis
,
P. Louridas
Journal of Systems and Software
2007
Corpus ID: 17123375
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE