A fine-grained data-flow analysis framework

被引：5
|
作者：
Hsieh, CS
机构：
[1] Computer Science Department, Southwestern Oklahoma Stt. Univ., Weatherford
来源：
ACTA INFORMATICA | 1997年 / 34卷 / 09期
关键词：
D O I：
10.1007/s002360050101
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A fine-grained data-flow analysis framework (L, F) where the elements of the semilattice L are mappings from a set of items I to a semilattice of values V is introduced, and an algorithm is presented to solve this framework by considering the elements of I and V individually, rather than regarding the elements of L as atomic values. It is shown that a variety of useful data-flow problems fit into the fine-grained data-flow analysis framework, and can be solved in O(\I\ x \N\) time.
引用
收藏
页码：653 / 665
页数：13
相关论文
共 50 条
  • [1] A fine-grained data-flow analysis framework
    C. Samuel Hsieh
    Acta Informatica, 1997, 34 : 653 - 665
  • [2] EXECUTING DSP APPLICATIONS IN A FINE-GRAINED DATA-FLOW ENVIRONMENT
    RADIVOJEVIC, IP
    HERATH, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (10) : 1028 - 1041
  • [3] FineDIFT: Fine-Grained Dynamic Information Flow Tracking for Data-Flow Integrity Using Coprocessor
    Chen, Kejun
    Arias, Orlando
    Deng, Qingxu
    Oliveira, Daniela
    Guo, Xiaolong
    Jin, Yier
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2022, 17 : 559 - 573
  • [4] Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
    He, Dongjie
    Gui, Yujiang
    Gao, Yaoqing
    Xue, Jingling
    PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 101 - 113
  • [5] Seeking Flow from Fine-Grained Log Data
    Cowley, Benjamin Ultan
    Hellas, Arto
    Ihantola, Petri
    Leinonen, Juho
    Spape, Michiel
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET 2022), 2022, : 247 - 253
  • [6] Fine-Grained Urban Flow Inference With Incomplete Data
    Li, Jiyue
    Wang, Senzhang
    Zhang, Jiaqiang
    Miao, Hao
    Zhang, Junbo
    Yu, Philip S.
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (06) : 5851 - 5864
  • [7] Fine-grained Data Partitioning Framework for Distributed Database Systems
    Xu, Ning
    Cui, Bin
    WWW'14 COMPANION: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON WORLD WIDE WEB, 2014, : 57 - 61
  • [8] TMDFI: Tagged Memory Assisted for Fine-grained Data-Flow Integrity towards Embedded Systems against Software Exploitation
    Liu, Tong
    Shi, Gang
    Chen, Liwei
    Zhang, Fei
    Yang, Yaxuan
    Zhang, Jihu
    2018 17TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (IEEE TRUSTCOM) / 12TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (IEEE BIGDATASE), 2018, : 545 - 550
  • [9] Creating a Privacy-aware framework for fine-grained Data Access
    Salant, Eliot
    ERCIM NEWS, 2023, (133): : 16 - 17
  • [10] Privacy-preserving and Fine-grained Data Aggregation Framework for Crowdsourcing
    Zhuo, Gaoqiang
    2017 TENTH INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND UBIQUITOUS NETWORK (ICMU), 2017, : 93 - 98
12345