Orchestration of the Backend Analyses

Important modules:

• Backend.InferAnalyze
• Backend.Ondemand
• Backend.RegisterCheckers
• Backend.Summary

All modules: Backend