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