Review of Static Analyzer Service Models Research

Which service models can be used in static analyzers? Is it possible to develop model suitable for more use cases?

Date: 2021

Conference: SYRCoSE-2021