A Precise Framework for Source-Level Control-Flow Analysis

被引：0
|
作者：
Riouak, Idriss [1 ]
Reichenbach, Christoph [1 ]
Hedin, Gorel [1 ]
Fors, Niklas [1 ]
机构：
[1] Lund University, Department of Computer Science, Sweden
来源：
Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021 | 2021年
关键词：
Attribute grammars - Attributed grammars - Control-flow - Control-flow analysis - Control-flow graphs - Dataflow - Declarative - Graph-based - Language independents - Source level;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 11
相关论文
共 50 条
  • [1] A Precise Framework for Source-Level Control-Flow Analysis
    Riouak, Idriss
    Reichenbach, Christoph
    Hedin, Gorel
    Fors, Niklas
    IEEE 21ST INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2021), 2021, : 1 - 11
  • [2] A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety
    Chen, Zhe
    Zhang, Qi
    Wu, Jun
    Yan, Junqi
    Xue, Jingling
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (04) : 2107 - 2127
  • [3] Source-Level Support for Timing Analysis
    Barany, Gergoe
    Prantl, Adrian
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 434 - 448
  • [4] A Source-level Energy Optimization Framework for Mobile Applications
    Li, Xueliang
    Gallagher, John P.
    2016 IEEE 16TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2016, : 31 - 40
  • [5] Practical experiences of applying source-level WCET flow analysis to industrial code
    Lisper B.
    Ermedahl A.
    Schreiner D.
    Knoop J.
    Gliwa P.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (1) : 53 - 63
  • [6] Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
    Lisper, Bjorn
    Ermedahl, Andreas
    Schreiner, Dietmar
    Knoop, Jens
    Gliwa, Peter
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 449 - +
  • [7] Demand Control-Flow Analysis
    Germane, Kimball
    McCarthy, Jay
    Adams, Michael D.
    Might, Matthew
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
  • [8] An Agent-Oriented Source-Level Debugger on Top of a Monitoring Framework
    Al-Sharif, Ziad
    Jeffery, Clinton
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 241 - 247
  • [9] A source-level transformation framework for RPC-based distributed programs
    Kim, TH
    Purtilo, JM
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTING, 1996, : 78 - 87
  • [10] Control-Flow Bending: On the Effectiveness of Control-Flow Integrity
    Carlini, Nicolas
    Barresi, Antonio
    Payer, Mathias
    Wagner, David
    Gross, Thomas R.
    PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 161 - 176
12345