101 search results - page 1 / 21 » Improving Security Using Extensible Lightweight Static Analy... |
SOFTWARE
2002
13 years 7 months ago
2002
IEEEARES
2008
IEEE
14 years 1 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...
CCS
2003
ACM
14 years 19 days 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
13 years 11 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...
SP
2002
IEEE
13 years 7 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...