Zobrazeno 1 - 10
of 106
pro vyhledávání: '"Pichardie, David"'
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 idiomatic source code. However, their output is sometimes difficult to tr
Externí odkaz:
http://arxiv.org/abs/2304.10379
Modern Just-in-Time compilers (or JITs) typically interleave several mechanisms to execute a program. For faster startup times and to observe the initial behavior of an execution, interpretation can be initially used. But after a while, JITs dynamica
Externí odkaz:
http://arxiv.org/abs/2212.03129
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations. While s
Externí odkaz:
http://arxiv.org/abs/2107.09472
Autor:
de Amorim, Arthur Azevedo, Collins, Nathan, DeHon, André, Demange, Delphine, Hritcu, Catalin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew
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 supports fine-grained programmable tags, with efficient and flexible propa
Externí odkaz:
http://arxiv.org/abs/1509.06503
Thèse doctorat : Informatique : Rennes 1 : 2005.
Bibliogr. p. 191-197.
Bibliogr. p. 191-197.
Publikováno v:
SAS - 20th Static Analysis Symposium Lecture Notes in Computer Science (2013) 324-344
Static analyzers based on abstract interpretation are complex pieces of software implementing delicate algorithms. Even if static analysis techniques are well understood, their implementation on real languages is still error-prone. This paper present
Externí odkaz:
http://arxiv.org/abs/1304.3596
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 2 (May 31, 2012) lmcs:801
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 programming guidelines for Java stress the importance of using defensive cop
Externí odkaz:
http://arxiv.org/abs/1204.4322
Autor:
Hubert, Laurent, Barré, Nicolas, Besson, Frédéric, Demange, Delphine, Jensen, Thomas, Monfort, Vincent, Pichardie, David, Turpin, Tiphaine
Publikováno v:
The International Conference on Formal Verification of Object-Oriented Software 2010.13 (2010) 253--267
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 language such as Java. This paper describes the Sawja library: a static ana
Externí odkaz:
http://arxiv.org/abs/1007.3353
Autor:
Hubert, Laurent, Pichardie, David
Publikováno v:
Electronic Notes in Theoretical Computer Science 253, 5 (2009) 15 - 30
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 initializer. We propose an analysis which compute, for each program point,
Externí odkaz:
http://arxiv.org/abs/1007.3249