606 search results - page 12 / 122 » A Comparative Study of Industrial Static Analysis Tools |
118
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
ACL
2010
14 years 10 months ago
2010
Subjectivity analysis is a rapidly growing field of study. Along with its applications to various NLP tasks, much work have put efforts into multilingual subjectivity learning fro...
98
Voted
DAC
1998
ACM
16 years 1 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
102
Voted
ESSOS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. To understand the effect of code complexity on static analysis, thirty-five format string vulnerabilities were studied. We analyzed two code samples for each vulnerabilit...
116
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...