45 citations · 127 across the 13 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis
Over the past two decades, two different types of static analyses have emerged as dominant paradigms both in academia and industry: value-flow analysis (e.g., data-flow analysis or…
cs.SE2025
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
Anastasios Antoniadis, Ilias Tsatiris, Nevill Grech +1
In this work, we present a simple, uniform, and elegant solution to the problem, with stunning practical effectiveness and application to virtually any Datalog-based analysis. The…