1304 search results - page 16 / 261 » Model Checking C Programs Using F-SOFT |
CC
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
104
click to vote
SAC
2000
ACM
15 years 3 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
DAC
2006
ACM
16 years 19 days ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
120
click to vote
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
SOFTVIS
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...