1497 search results - page 1 / 300 » Extended static checking |
111
Voted
PROCOMET
1998
15 years 2 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
110
Voted
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
107
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
128
Voted
SP
2002
IEEE
15 years 23 days 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...
109
Voted
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM