53 search results - page 9 / 11 » Precise Call Graphs for C Programs with Function Pointers |
163
click to vote
EMSOFT
2007
Springer
15 years 12 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
140
Voted
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
164
Voted
MICRO
2009
IEEE
16 years 12 days ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
179
click to vote
ISSTA
2009
ACM
16 years 9 days ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
176
Voted
FSTTCS
2009
Springer
16 years 10 days ago
2009
Springer
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...