80 search results - page 8 / 16 » Orion: High-Precision Methods for Static Error Analysis of C... |
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...