Allow infinite object sensitivity

reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.

http://keshmesh.cs.illinois.edu/

Other

16 stars 5 forks source link

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

Make it possible to specify infinite object sensitivity in the configuration file, e.g., object_sensitivity_level=inf.