Relational abstract interpretation of arrays in assembly code

Autor: Clément Ballabriga, Julien Forget, Jordy Ruiz

Publikováno v: Formal Methods in System Design
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩

International audience; In this paper, we propose a static analysis technique for assembly code, based on abstract interpretation, to discover properties on arrays. Considering assembly code rather than source code has important advantages: we do not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c42275f793429bdc54f4edea026318d
https://inria.hal.science/hal-03794951/file/ballabriga-et-al-2022-accepted.pdf

Static Analysis Of Binary Code With Memory Indirections Using Polyhedra

Autor: Laure Gonnord, Jordy Ruiz, Giuseppe Lipari, Julien Forget, Clément Ballabriga

Publikováno v: VMCAI'19-International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI'19-International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Lecture Notes in Computer Science ISBN: 9783030112448
VMCAI

International audience; In this paper we propose a new abstract domain for staticanalysis of binary code. Our motivation stems from the need to im-prove the precision of the estimation of the Worst-Case Execution Time(WCET) of safety-critical real-ti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15165de99dd2c206531b1550a2f70037
https://hal.science/hal-01939659

Cache-related preemption delay analysis for FIFO caches

Autor: Lee Kee Chong, Abhik Roychoudhury, Clément Ballabriga

Publikováno v: LCTES

Hard real-time systems are typically composed of multiple tasks, subjected to timing constraints. To guarantee that these constraints will be respected, the Worst-Case Response Time (WCRT) of each task is needed. In the presence of systems supporting

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3adfbf4e4fa04f4043dbf2955f0b4a96
https://doi.org/10.1145/2666357.2597814

OTAWA: An Open Toolbox for Adaptive WCET Analysis

Autor: Christine Rochange, Clément Ballabriga, Hugues Cassé, Pascal Sainrat

Publikováno v: Lecture Notes in Computer Science
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩
Software Technologies for Embedded and Ubiquitous Systems ISBN: 9783642162558
SEUS

International audience; The analysis of worst-case execution times has become mandatory in the design of hard real-time systems: it is absolutely necessary to know an upper bound of the execution time of each task to determine a task schedule that in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5bbc818e2588b45491d027dc5411752
https://hal.inria.fr/hal-01055378/file/seus2010.pdf

Partial Flow Analysis with oRange

Autor: Hugues Cassé, Clément Ballabriga, Armelle Bonenfant, Marianne de Michiel

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)

In order to ensure that timing constrains are met for a Real-Time Systems, a bound of the Worst-Case Execution Time (WCET) of each part of the system must be known. Current WCET computation methods are applied on whole programs which means that all t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f118834da1f1474661e1521d07df4a2c
https://doi.org/10.1007/978-3-642-16561-0_43