-
Detection and resolution of aspect interactions
Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an... -
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
7 pages - Session 11: Testing - http://icssea.enst.fr/icssea12/ -
Static Analysis for Guarded Code
{\em Guarded(predicated) execution, as a new hardware feature, has been introduced into today's high performance processors. \em Guarded execution can significantly... -
Data Dependence Analysis of Assembly Code
Determination of data dependences is a task typically performed with high-leve- l language source code in today's optimizing and parallelizing compilers. Very little... -
Interactive Abstractions: Proving Safety Properties by Integrating Static Ana...
We present a new approach for proving safety properties of reactive systems, based on tight interaction between static analysis, theorem proving and abstraction... -
Static Analysis of Java for Distributed and Parallel Programming
We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential,... -
Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data...
The incorrect use of pointers is one of the most common source of bugs in imperative languages. In this context, any kind of static code checking capable of detecting... -
Dynamic Attribute Grammars
Projet OSCAR -
Attribute Grammars: a Declarative Functional Language
Projet CHARME -
Static Vulnerability Detection in Java Service-oriented Components
International audience -
Synthesis of sup-interpretations: a survey
International audience -
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical ...
International audience -
Logico-Numerical Abstract Acceleration and Application to the Verification of...
International audience -
Applying abstract acceleration to (co-)reachability analysis of reactive prog...
International audience -
Logico-Numerical Abstract Acceleration and Application to the Verification of...
Acceleration methods are commonly used for speeding up the convergence of loops in reachability analysis of counter machine models. Applying these methods to... -
Logico-Numerical Max-Strategy Iteration
International audience -
Modular termination of C programs
In this paper we describe a general method to prove termination of C programs in a scalable and modular way. The program to analyse is reduced to the smallest relevant... -
Calculation of Worst Case Execution Time safe upper bounds for hard real-time...
This report is a presentation of a new approach for Worst Case Execu- tion Time (WCET) computation for hard real-time systems, especially for cache memories hazard...
