FindBugs

FindBugs is an open source static code analyser created by Bill Pugh and David Hovemeyer which detects possible bugs in Java programs. Potential…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

소프트웨어 보안 사고의 약 75%는 소프트웨어 취약점으로 인해 발생한다. 또한, 제품 출시 후 결함 수정 비용은 설계 단계의 수정 비용보다 30…

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

Model checking and static analysis are traditionally seen as two separate approaches to software analysis and verification. In…

2011

As users download applications to their mobile phones, security is a critical issue. In this paper we present a process for the…

2011

After a decade of existence, still, Cross-site scripting, SQL Injection and other of Input validation associated security…

2011

The fuzzing is a technique which allows to generate invalid, unexpected, or random data to supply them in the various inputs of…

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

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in…

2008

This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a…

2007