181 search results - page 2 / 37 » Using Static Analysis to Find Bugs |
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
CCS
2009
ACM
14 years 6 days ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
IANDC
2008
13 years 5 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...