606 search results - page 24 / 122 » A Comparative Study of Industrial Static Analysis Tools |
129
Voted
LCTRTS
1999
Springer
15 years 4 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
131
click to vote
CCS
2011
ACM
14 years 14 days ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
82
Voted
CHI
2006
ACM
16 years 27 days ago
2006
ACM
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...
133
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
110
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...