606 search results - page 9 / 122 » A Comparative Study of Industrial Static Analysis Tools |
171
click to vote
SIGOPS
2010
15 years 4 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
149
click to vote
SCAM
2008
IEEE
16 years 9 days ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microevolution is the study of short-term changes of alleles within a population and their effects on the phenotype of organisms. The result of the below-species-level...
158
click to vote
ISORC
2008
IEEE
16 years 9 days ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
146
click to vote
COMPSAC
2009
IEEE
16 years 21 days ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...