1411 search results - page 2 / 283 » A Value Analysis for C Programs |
TCAD
2010
13 years 14 days ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
POPL
2004
ACM
14 years 6 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
TOOLS
1998
IEEE
13 years 10 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
TOOLS
1999
IEEE
13 years 10 months ago
1999
IEEE