Sun, Wei-Tsun and Cassé, Hugues
Dynamic Branch Resolution based on Combined Static Analyses.
(2016)
In: 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, 5 July 2016 (Toulouse, France).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 354kB |
Official URL: http://dx.doi.org/10.4230/OASIcs.WCET.2016.8
Abstract
Static analysis requires the full knowledge of the overall program structure. The structure of a program can be represented by a Control Flow Graph (CFG) where vertices are basic blocks (BB) and edges represent the control flow between the BB. To construct a full CFG, all the BB as well as all of their possible targets addresses must be found. In this paper, we present a method to resolve dynamic branches, that identifies the target addresses of BB created due to the switch-cases and calls on function pointers. We also implemented a slicing method to speed up the overall analysis which makes our approach applicable on large and realistic real-time programs.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Thanks to Dagstuhl Research Online Publication Server (DROPS) Distribution of this paper is permitted under the terms of the Creative Commons license CC-by-nc-nd 4.0. The definitive version is available at: http://drops.dagstuhl.de/opus/volltexte/2016/6901/ |
HAL Id: | hal-01671350 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
Laboratory name: | |
Funders: | ANR-12-INSE-0001 |
Statistics: | download |
Deposited On: | 14 Dec 2017 13:30 |
Repository Staff Only: item control page