Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis
| Title: | Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis |
|---|---|
| Authors: | Van der Plas, Jens; Stievenart, Quentin; De Roover, Coen |
| Source: | 2025 IEEE International Conference on Source Code Analysis & Manipulation (SCAM) SCAM Source Code Analysis & Manipulation (SCAM), 2025 IEEE International Conference on. :13-24 Sep, 2025 |
| Relation: | 2025 IEEE International Conference on Source Code Analysis & Manipulation (SCAM) |
| Database: | IEEE Xplore Digital Library |