1. local inference for methods
2. fix to mark variables as safe
3. fixed error message in case when tainted value returned from untainted method
GitOrigin-RevId: 2398b6c10883616a505d2443543528e6cc96e9dc
1. moved SourceToSinkFlowInspection to jvm-analysis-impl
2. resused annos names from UntaintedAnnotationProvider
3. javadoc for public methods
4. renamed inspection to "Unsafe string is passed to safe method"
5. do not suggest to annotate element if it is already annotated with @PolyTainted
GitOrigin-RevId: 6121aa41cf72d1fe258a8ced0752d22370d18c54