Safe-Inferred Safe-Inferred Safe-Inferred staticanalysis-0.0.0.1StaticAnalysis.AnalysisStaticAnalysis.AnnotatedStaticAnalysis.AllAnalysis unanalyzed Annotatedannotate annotation