Review of Static Analyzer Service Models

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

Conference
SYRCoSE-2021