• Home
  • Search
  • Fast Graph Simplification for Interleaved-Dyck Reachability
  • Cite Icon10
  • https://doi.org/10.1145/3492428Copy DOI Icon

Fast Graph Simplification for Interleaved-Dyck Reachability

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Many program-analysis problems can be formulated as graph-reachability problems. Interleaved Dyck language reachability ( InterDyck -reachability) is a fundamental framework to express a wide variety of program-analysis problems over edge-labeled graphs. The InterDyck language represents an intersection of multiple matched-parenthesis languages (i.e., Dyck languages). In practice, program analyses typically leverage one Dyck language to achieve context-sensitivity, and other Dyck languages to model data dependencies, such as field-sensitivity and pointer references/dereferences. In the ideal case, an InterDyck -reachability framework should model multiple Dyck languages simultaneously . Unfortunately, precise InterDyck -reachability is undecidable. Any practical solution must over-approximate the exact answer. In the literature, a lot of work has been proposed to over-approximate the InterDyck -reachability formulation. This article offers a new perspective on improving both the precision and the scalability of InterDyck -reachability: we aim at simplifying the underlying input graph G . Our key insight is based on the observation that if an edge is not contributing to any InterDyck -paths, we can safely eliminate it from G . Our technique is orthogonal to the InterDyck -reachability formulation and can serve as a pre-processing step with any over-approximating approach for InterDyck -reachability. We have applied our graph simplification algorithm to pre-processing the graphs from a recent InterDyck -reachability-based taint analysis for Android. Our evaluation of three popular InterDyck -reachability algorithms yields promising results. In particular, our graph-simplification method improves both the scalability and precision of all three InterDyck -reachability algorithms, sometimes dramatically.

Similar Papers
  • Research Article

SP Mean E-Cordial Labeling

  • Feb 26, 2025
  • Communications on Applied Nonlinear Analysis
  • M Aishwarya
  • Research Article
  • Citations2

On friendly index and product-cordial index sets of Möbius-liked graph

  • Apr 03, 2018
  • Journal of Discrete Mathematical Sciences and Cryptography
  • Zhen-Bin Gao +2
  • Research Article
  • Citations23

The computational complexity of cordial and equitable labelling

  • Apr 01, 2000
  • Discrete Mathematics
  • Niall Cairnie +1
  • PDF
  • Research Article
  • Citations2

Local Inclusive Distance Vertex Irregular Graphs

  • Jul 16, 2021
  • Mathematics
  • Kiki Ariyanti Sugeng +3
  • PDF
  • Research Article
  • Citations3

Handicap Labelings of 4-Regular Graphs

  • Jul 20, 2017
  • Advances in Electrical and Electronic Engineering
  • Petr Kovar +3
  • Research Article

THE L(2,1)-LABELING OF MONGOLIAN TENT, LOBSTER, TRIANGULAR SNAKE, AND KAYAK PADDLE GRAPH

  • Jun 28, 2024
  • Journal of Fundamental Mathematics and Applications (JFMA)
  • Lisa Damayanti Ningrum +1
  • Book Chapter

Connections with Combinatorics

  • Jan 01, 2018
  • W Frank Moore +2
  • Research Article

MMD labeling of complete tripartite graphs

  • Mar 01, 2021
  • Journal of Physics: Conference Series
  • R Revathi +2
  • Research Article
  • Citations4

Computing the total edge irregularity strength for quintet snake graph and related graphs

  • May 07, 2021
  • Journal of Discrete Mathematical Sciences and Cryptography
  • F Salama
  • Book Chapter
  • Citations135

Learning of Simple Conceptual Graphs from Positive and Negative Examples

  • Jan 01, 1999
  • Sergei O Kuznetsov
  • Research Article
  • Citations3

Super local edge anti-magic total coloring of paths and its derivation

  • Jan 31, 2020
  • Indonesian Journal of Combinatorics
  • Fawwaz Fakhrurrozi Hadiputra +2
  • Conference Article

P- adic distance labeling of graphs

  • Jan 01, 2022
  • AIP conference proceedings
  • J Uma +2
  • Conference Article
  • Citations2

Using Data-Driven Approach for Modeling Timing Parameters of American Sign Language

  • Oct 02, 2018
  • Sedeeq Al-Khazraji
  • Research Article
  • Citations47

An analysis of machine learning models for sentiment analysis of Tamil code-mixed data

  • May 28, 2022
  • Computer Speech & Language
  • Kogilavani Shanmugavadivel +6
  • Research Article
  • Citations9

Graph Connectivity in Log Steps Using Label Propagation

  • Dec 01, 2021
  • Parallel Processing Letters
  • Paul Burkhardt
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.