14 citations · 19 across the 6 of their papers we have counts for
8 papers
Leveraging Static Analysis for Bug Repair
Ruba Mutasim, Gabriel Synnaeve, David Pichardie +1
We propose a method combining machine learning with a static analysis tool (i.e. Infer) to automatically repair source code. Machine Learning methods perform well for producing idi…
Verified Functional Programming of an Abstract Interpreter
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…
A Verified Information-Flow Architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon +6
SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supp…
Formal Verification of a C Value Analysis Based on Abstract Interpretation
Sandrine Blazy, Vincent Laporte, André Maroneze +1
Static analyzers based on abstract interpretation are complex pieces of software implementing delicate algorithms. Even if static analysis techniques are well understood, their imp…
Secure the Clones
Thomas Jensen, Florent Kirchner, David Pichardie
Exchanging mutable data objects with untrusted code is a delicate matter because of the risk of creating a data space that is accessible by an attacker. Consequently, secure progra…
Sawja: Static Analysis Workshop for Java
Laurent Hubert, Nicolas Barré, Frédéric Besson +5
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic langu…
Soundly Handling Static Fields: Issues, Semantics and Analysis
Laurent Hubert, David Pichardie
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initi…
Enforcing Secure Object Initialization in Java
Laurent Hubert, Thomas Jensen, Vincent Monfort +1
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin…