1411 search results - page 72 / 283 » A Value Analysis for C Programs |
139
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
148
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
121
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
168
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
152
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...