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