A C/C plus plus Source-to-Source Compiler for dependable applications

被引：0
|
作者：
Benso, A [1 ]
Chiusano, S [1 ]
Prinetto, P [1 ]
Tagliaferri, L [1 ]
机构：
[1] Politecn Torino, Dipartimento Automat & Informat, Turin, Italy
来源：
DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2000年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The present paper proposes a C/C++ Source-to-Source Compiler able to increase the dependability properties of a given application. The adopted strategies are based on two main techniques: code re-ordering and variables duplication. The proposed approach is portable to any platform, it can be applied to any C/C++ source code, and it introduces code modifications that are transparent to the original program functionality The RECCO tool, which fully automates the process, allows the user to trade-off between the level of dependability improvement and the performance degradation due to the code modification.
引用
收藏
页码：71 / 78
页数：8
相关论文
共 50 条
  • [41] Compiler-Assisted Source-to-Source Skeletonization of Application Models for System Simulation
    Wilke, Jeremiah J.
    Kenny, Joseph P.
    Knight, Samuel
    Rumley, Sebastien
    [J]. HIGH PERFORMANCE COMPUTING, ISC HIGH PERFORMANCE 2018, 2018, 10876 : 123 - 143
  • [42] The Scythe Statistical Library: An Open Source C plus plus Library for Statistical Computation
    Pemstein, Daniel
    Quinn, Kevin M.
    Martin, Andrew D.
    [J]. JOURNAL OF STATISTICAL SOFTWARE, 2011, 42 (12): : 1 - 26
  • [43] A Study on the Effects of Exception Usage in Open-Source C plus plus Systems
    Bradley, Kirsten
    Godfrey, Michael W.
    [J]. 2019 19TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2019, : 1 - 11
  • [44] Tracing Error Propagation in C/C plus plus Applications
    Kong, Shiyi
    Lu, Minyan
    Li, Luyi
    [J]. 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 308 - 315
  • [45] A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C plus plus Code
    Arusoaie, Andrei
    Ciobaca, Stefan
    Craciun, Vlad
    Gavrilut, Dragos
    Lucanu, Dorel
    [J]. 2017 19TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2017), 2017, : 161 - 168
  • [46] EpiFire: An open source C plus plus library and application for contact network epidemiology
    Hladish, Thomas
    Melamud, Eugene
    Barrera, Luis Alberto
    Galvani, Alison
    Meyers, Lauren Ancel
    [J]. BMC BIOINFORMATICS, 2012, 13
  • [47] Karamelo: an open source parallel C plus plus package for the material point method
    de Vaucorbeil, Alban
    Nguyen, Vinh Phu
    Nguyen-Thanh, Chi
    [J]. COMPUTATIONAL PARTICLE MECHANICS, 2021, 8 (04) : 767 - 789
  • [48] LIBRJMCMC: AN OPEN-SOURCE GENERIC C plus plus LIBRARY FOR STOCHASTIC OPTIMIZATION
    Bredif, Mathieu
    Tournaire, Olivier
    [J]. XXII ISPRS CONGRESS, TECHNICAL COMMISSION III, 2012, 39-B3 : 259 - 264
  • [49] FADAlib: an open source C plus plus library for fuzzy Array dataflow analysis
    Belaoucha, Marouane
    Barthou, Denis
    Eliche, Adrien
    Touati, Sid-Ahmed-Ali
    [J]. ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 2069 - 2078
  • [50] High Level Congestion Detection from C/C plus plus Source Code for High Level Synthesis
    Tatsuoka, Masato
    Kaneko, Mineo
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2020, E103A (12) : 1437 - 1446
12345