Incremental analysis - procedure name

[geetali13]

Infer version v1.2.0 Command : infer run --incremental-analysis --changed-files-index changed_files.txt -- javac file.java

Is it possible to get the name of the procedures analyzed by infer for incremental analysis??

Terminal output is as following:

Capturing in javac mode... Incremental analysis: invalidating potentially-affected analysis results. Incremental analysis: Invalidated 3 of 14 procedure summaries, and file-level analyses for 2 distinct files [traversal 715μs] [db 502μs] Found 1 (out of 2) source file to analyze in /home/user1/NewInferJava/Incremental_Analysis/Files/infer-out Pointers.java starting Analysing block of 200 procs, starting with Pointers.() Analysing block of 200 procs, starting with void Pointers.C() Analysing block of 200 procs, starting with Pointers$A Pointers.mayReturnNull(int) Analysing block of 200 procs, starting with Pointers$A.() Analysing block of 200 procs, starting with void Pointers$A.method() Analysing block of 200 procs, starting with Pointers$A Pointers.mayCauseNPE() Analysing block of 200 procs, starting with void Pointers.doesNotCauseNPE() Pointers.java DONE Pointers.java starting Pointers.java DONE Pointers.java starting Pointers.java DONE Pointers.java starting Pointers.java DONE Incremental analysis: Computed 2 procedure summaries.

No issues found

Or are they stored in infer-out or soemthing ?? Please help