21 search results - page 3 / 5 » Null dereference analysis in practice |
AI
2005
Springer
13 years 8 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ECOOP
2007
Springer
14 years 14 days ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
ISSTA
2000
ACM
14 years 27 days 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...
162
click to vote
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...