1 paper · 1 filter
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…