101 search results - page 1 / 21 » Improving Security Using Extensible Lightweight Static Analy... |
SOFTWARE
2002
14 years 10 months ago
2002
IEEEARES
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
74
Voted
CCS
2003
ACM
15 years 4 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
ACSAC
2001
IEEE
15 years 2 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
101
click to vote
SP
2002
IEEE
14 years 10 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...