reprogrammer / keshmesh

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

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

reprogrammer/keshmesh Issues

Dump the call and heap graph in a deterministic way
Updated 11 years ago
Report the name of project
Updated 11 years ago
Release on 12/11/2013
Closed 11 years ago2
Fix the bug in the released version of Keshmesh
Closed 11 years ago
Add the option to skip dumping the call and heap graphs
Closed 11 years ago
Make Keshmesh report the running time of detectors on Cassandra
Closed 11 years ago
Make it possible to debug Keshmesh
Closed 11 years ago
Report the entry points
Closed 11 years ago
Keshmesh fails to report instances of VNA00J in inner classes
Closed 11 years ago
Report the number of CGNodes for different class loaders
Closed 11 years ago
Release on 12/10/2013
Closed 11 years ago1
Release on 12/9/2013
Closed 11 years ago1
Support type-based context sensitivity
Closed 11 years ago
Rename *.md to *.txt
Closed 11 years ago
Release on 11/30/2013
Closed 11 years ago1
Allow infinite object sensitivity
Closed 11 years ago
Don't create the Keshmesh home folder if it doesn't exist
Closed 11 years ago
Dump the call and heap graphs
Closed 11 years ago
Release on 11/29/2013
Closed 11 years ago1
Report the number of entry points
Closed 11 years ago
Do not use the same stopwatch for multiple measurements
Closed 11 years ago
Close the configuration file after reading it
Closed 11 years ago
Release on 11/27/2013
Closed 11 years ago1
Wrap the subject lines of Git commit messages at 72 characters
Closed 11 years ago1
Profiling Keshmesh
Closed 11 years ago
Bundle guava in the update site
Closed 11 years ago
Release on 11/25/2013
Closed 11 years ago1
Keshmesh is not compatible with latest FindBugs
Updated 11 years ago1
Keshmesh fails to report LCK06J, LCK03J, LCK02J and VNA00J
Closed 11 years ago7
Release on 5/7/2013
Closed 11 years ago1
Accesses to final fields are visible
Closed 11 years ago
Make keshmesh compatible with the latest eclipse 4.2/4.3
Updated 11 years ago1
Report dependencies of markers
Updated 12 years ago
Accesses to lock objects by a synchronized block should be considered safe
Updated 12 years ago
Report more information about instances of VNA00J
Updated 12 years ago1
Release on 11/23/2011
Closed 13 years ago2
The tool tip for the quick fix of LCK02J is wrong
Closed 13 years ago1
Detect LCK01J
Closed 13 years ago1
Add a detector for LCK03J
Updated 13 years ago2
Set up an Eclipse update site for Keshmesh
Closed 13 years ago5
Make Keshmesh scale on large projects
Closed 13 years ago4
Do not provide a fixer in the UI when there are multiple fixes for a bug pattern
Updated 13 years ago
VNA00J doesn't compute unprotected accesses of methods correctly
Updated 13 years ago2
Improve the bug reports for LCK06J
Updated 13 years ago
Is the use of getClass in a final class an instance of LCK02J?
Updated 13 years ago
Keshmesh ignores modifications to parts of static fields
Closed 14 years ago3
Does WALA handle nested monitors correctly?
Closed 14 years ago1
The detector for LCK06J doesn't propagate unsafe instructions correctly.
Closed 14 years ago2
Provide a fixer for LCK03J
Closed 13 years ago1
Test number 11 of LCK02J fails
Closed 14 years ago2