search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.9k stars 2.01k forks source link

How Infer decides Cross-function depth? #1073

Open minshi123 opened 5 years ago

minshi123 commented 5 years ago

How Infer decides Cross-function depth to customize inter-procedural analysis? User can customize this argument for performance?

like function a -> b -> c-> d, the depth is 3

   func a(){

    b();

}

func b(){

    c();

}

func c(){

    d();

}
ngorogiannis commented 5 years ago

Infer does not limit call depth. You could hack this is by changing Ondemand.ml and friends, if you want to have a go at it.