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 dependences, 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 paper offers a new perspective on improving both the precision and the scalability of InterDyck -reachability: we aim to simplify 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 on 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.

Improvement of Connectivity Sieve Algorithms for Disassembly AND/OR Graph

A New Method for Construction of Connectivity Sieve of Disassembly AND-OR Graph

Estimate of Sieving Rate of Connectivity Sieve Used in Disassembly AND/OR Graph

Disassembly And/Or Graph Model For "Disassembly For Recycling"

Modeling and Planning for Dual-Objective Selective Disassembly Using And/or Graph and Discrete Artificial Bee Colony

Disassemblability Sieve in Disassembly AND/OR Graph for Disassembly Process Planning

A General Approach to Optimize Disassembly Sequence Planning Based on Disassembly Network: A Case Study from Automotive Industry

Sequence Planning for Selective Disassembly Aiming at Reducing Energy Consumption Using a Constraints Relation Graph and Improved Ant Colony Optimization Algorithm

Low-Carbon Disassembly Sequence Planning with Improved Moth-Flame Optimizer by Considering Non-homogeneous Information in Industry 5.0

Generation and Evaluation of Disassembly Sequences in Green Design

AND/OR graph generation for disassembly analysis: Deeply-nested subassemblies represented by a hypergraph

Disassembly Sequence Planning Using a Fast and Effective Precedence-Based Disassembly Subset-Generation Method

2-D Hierarchical Compaction Algorithm for VLSI Layout Reuse

A Hierarchical Approach to Disassembly Sequence Planning for Mechanical Product

An Efficient Spectral Graph Sparsification Approach to Scalable Reduction of Large Flip-Chip Power Grids

An Intelligent Product Disassembly Planning Method

A Hybrid Heuristic Approach for Disassembly/Recycle Applications

Fast Graph Simplification for Interleaved-Dyck Reachability

Disassembly stability planning method in and-or graph model

Improved Tree-seed Algorithm for Disassembly Line Balancing Problem Considering Ergonomics

Improving node connectivity by optimized dual tree-based effective node consolidation