facebook/infer-Result File Structure description

Structure of the Results folder tree structure

Take the iOS project as an example.

58demacbook-pro:infer-out wuxian$ tree. ├──bugs.txt├──captured│├──appdelegate.m.d2ac││├──appdelegate.m.cfg││├──appdelegate.m.cg││├─    ─appdelegate.m.stats││└──appdelegate.m.tenv│├──hello.m.d2ac││├──hello.m.cfg││├──hello.m.cg│ │├──hello.m.stats││└──hello.m.tenv│├──viewcontroller.m.d2ac││├──viewcontroller.m.cfg││├ ──viewcontroller.m.cg││├──viewcontroller.m.stats││└──viewcontroller.m.tenv│└──main.m.d2ac│├─ ─main.m.cfg│├──main.m.cg│├──main.m.stats│└──main.m.tenv├──log│├──analyzer_err│└──a Nalyzer_out├──multicore│├──makefile│├──cl1│├──cl2│├──cl3│├──cl4│├──xcl1.cluster│├──xc L2.cluster│├──xcl3.cluster│└──xcl4.cluster├──procs.csv├──report.csv├──report.json├──sources│├──appd Elegate.m.d2ac│├──hello.m.d2ac│├──viewcontroller.m.d2ac│└──main.m.d2ac├──specs│├──aPpdelegate_application:didfinishlaunchingwithoptions:.specs│├──appdelegate_applicationdidbecomeactive:.specs│ ├──appdelegate_applicationdidenterbackground:.specs│├──appdelegate_applicationwillenterforeground:.specs│├──ap Pdelegate_applicationwillresignactive:.specs│├──appdelegate_applicationwillterminate:.specs│├──appdelegate_ Memory_leak_bug.specs│├──appdelegate_npe_in_array_literal_bug.specs│├──appdelegate_parameter_not_null_checked_ Block_bug:.specs│├──appdelegate_premature_nil_termination_argument_bug.specs│├──appdelegate_resource_leak_ Bug.specs│├──appdelegate_setwindow:.specs│├──appdelegate_window.specs│├──hello_hello.specs│├──hello_iv    Ar_not_nullable_bug:.specs│├──hello_null_dereference_bug.specs│├──hello_parameter_not_null_checked_bug:.specs│ ├──hello_return_hello.specs│├──hello_s.specs│├──hello_sethello:.specs│├──hello_sets:.specs│├──view Controller_didreceivememorywarning.specs│  ├──viewcontroller_viewdidload.specs│└──main{a662}.specs└──stats.json

 

bug.txt File

Infer txt report captured directory

This directory will create a new directory for each file that infer to analyze, the directory name is the name of the file plus some other symbols, and then generate a file with a different suffix in that directory, such as an iOS project that generates 4 files:

Appdelegate.m.cfg
APPDELEGATE.M.CG
appdelegate.m.stats
appdelegate.m.tenv

These files are media files that are intended to be code files and contain serialized OCAML data structures. Infer the information to be used is stored in different types of files, which are passed to the background when the infer is analyzed.
CFG suffix file: (Control flow graph), containing a function or method of the flow chart
CG suffix File: (call graph), which contains the definition of a method in a file or the invocation diagram of a call
tenv suffix file: Contains all types defined or used in a file
Stats suffix file: After the analysis of the file statistics, you can open the view directly. Log Directory

Driver files for the analysis process

This directory contains 2 files:

Analyzer_err
Analyzer_out

Analyzer_out: Output information for the analysis process
Analyzer_err: Analysis of error messages multicore directory

For driver Analyzer procs.csv file

Debugging information during execution report.csv file

Infer report Report.json file in CSV format

Infer report sources directory in JSON format

source file, parsing process driver file specs

Each method that is analyzed has a mirror in the directory. Stats.json File

Debugging information during execution