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 条
  • [31] A control-flow analysis for a calculus of concurrent objects
    Di Blasio, P
    Fisher, K
    Talcott, C
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 617 - 634
  • [32] Termination Analysis of Programs with Multiphase Control-Flow
    Domenech, Jesus J.
    Genaim, Samir
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 13 - 21
  • [33] Tool Integration for Source-Level Mixed Precision
    Lam, Michael O.
    Vanderbruggen, Tristan
    Menon, Harshitha
    Schordan, Markus
    PROCEEDINGS OF 2019 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2019), 2019, : 27 - 35
  • [34] Widening for Control-Flow
    Hardekopf, Ben
    Wiedermann, Ben
    Churchill, Berkeley
    Kashyap, Vineeth
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 472 - 491
  • [35] Control-Flow Decoupling
    Sheikh, Rami
    Tuck, James
    Rotenberg, Eric
    2012 IEEE/ACM 45TH INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO-45), 2012, : 329 - 340
  • [36] Source-level debugging of scalar optimized code
    AdlTabatabai, AR
    Gross, T
    ACM SIGPLAN NOTICES, 1996, 31 (05) : 33 - 43
  • [37] Enhancing high-level control-flow for improved testability
    Hsu, FF
    Rudnick, EM
    Patel, JH
    1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 322 - 328
  • [38] Characteristic classification and correlation analysis of source-level vulnerabilities in the Linux kernel
    Ko, K
    Jang, I
    Kang, YH
    Lee, J
    Eom, YI
    COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 2, PROCEEDINGS, 2005, 3802 : 1149 - 1156
  • [39] Finding Cool Code: An Analysis of Source-Level Causes of Temperature Effects
    Upton, Dan
    Hazelwood, Kim
    IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS 2011), 2011, : 117 - 118
  • [40] Control-flow semantics for assembly-level data-flow graphs
    Kahl, Wolfram
    Anand, Christopher K.
    Carette, Jacques
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 147 - 160
12345