Configuring Keshmesh

You can configure the behavior of Keshmesh by providing a configuration file at $HOME/keshmesh/keshmesh.properties. This configuration file should follow the standard format of Java .properties files. Currently, Keshmesh accepts the following configuration options in this file:

• Object Sensitivity Level By default, Keshmesh employs 2-object context sensitive for its points-to analysis. You can override the level of object sensitivity by setting the configuration option object_sensitivity_level, e.g.

object_sensitivity_level=1

If object_sensitivity_level=0, Keshmesh will use type-sensitivity instead of object-sensitivity. If object_sensitivity_level=inf, Keshmesh will use Integer.MAX_VALUE as the its level of object-sensitivity.

• Dumping Call and Heap Graphs By default, if folder $HOME/keshmesh exists, Keshmesh dumps the call and heap graphs in it. To prevent Keshmesh from generating these files, use the following configuration options.

dump_call_graph=false
dump_heap_graph=false