reprogrammer keshmesh issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Dump the call and heap graph in a deterministic way

#75 reprogrammer opened 10 years ago
0
Report the name of project

#74 reprogrammer opened 10 years ago
0
Fix the bug in the released version of Keshmesh

#73 reprogrammer closed 10 years ago
0
Release on 12/11/2013

#72 reprogrammer closed 10 years ago
2
Report the entry points

#71 reprogrammer closed 10 years ago
0
Make it possible to debug Keshmesh

#70 reprogrammer closed 10 years ago
0
Make Keshmesh report the running time of detectors on Cassandra

#69 reprogrammer closed 10 years ago
0
Add the option to skip dumping the call and heap graphs

#68 reprogrammer closed 10 years ago
0
Release on 12/10/2013

#67 reprogrammer closed 10 years ago
1
Report the number of CGNodes for different class loaders

#66 reprogrammer closed 10 years ago
0
Release on 12/9/2013

#65 reprogrammer closed 10 years ago
1
Support type-based context sensitivity

#64 reprogrammer closed 10 years ago
0
Release on 11/30/2013

#63 reprogrammer closed 10 years ago
1
Allow infinite object sensitivity

#62 reprogrammer closed 10 years ago
0
Rename *.md to *.txt

#61 reprogrammer closed 10 years ago
0
Release on 11/29/2013

#60 reprogrammer closed 10 years ago
1
Dump the call and heap graphs

#59 reprogrammer closed 10 years ago
0
Don't create the Keshmesh home folder if it doesn't exist

#58 reprogrammer closed 10 years ago
0
Report the number of entry points

#57 reprogrammer closed 10 years ago
0
Release on 11/27/2013

#56 reprogrammer closed 10 years ago
1
Do not use the same stopwatch for multiple measurements

#55 reprogrammer closed 10 years ago
0
Close the configuration file after reading it

#54 reprogrammer closed 10 years ago
0
Bundle guava in the update site

#53 reprogrammer closed 10 years ago
0
Release on 11/25/2013

#52 reprogrammer closed 10 years ago
1
Keshmesh fails to report LCK06J, LCK03J, LCK02J and VNA00J

#51 Lonzak closed 11 years ago
7
Make keshmesh compatible with the latest eclipse 4.2/4.3

#50 Lonzak opened 11 years ago
1
Release on 5/7/2013

#49 reprogrammer closed 11 years ago
1
Accesses to final fields are visible

#48 reprogrammer closed 11 years ago
0
Profiling Keshmesh

#47 reprogrammer closed 10 years ago
0
Report dependencies of markers

#46 reprogrammer opened 11 years ago
0
Accesses to lock objects by a synchronized block should be considered safe

#45 reprogrammer opened 11 years ago
0
Keshmesh is not compatible with latest FindBugs

#44 ash2k opened 12 years ago
1
Release on 11/23/2011

#43 reprogrammer closed 12 years ago
2
Report more information about instances of VNA00J

#42 reprogrammer opened 13 years ago
1
Keshmesh fails to report instances of VNA00J in inner classes

#41 reprogrammer closed 10 years ago
0
Is the use of getClass in a final class an instance of LCK02J?

#40 reprogrammer opened 13 years ago
0
Wrap the subject lines of Git commit messages at 72 characters

#39 reprogrammer closed 10 years ago
1
Set up an Eclipse update site for Keshmesh

#38 reprogrammer closed 12 years ago
5
Make Keshmesh scale on large projects

#37 reprogrammer closed 12 years ago
4
Improve the bug reports for LCK06J

#36 Wanderer777 opened 13 years ago
0
Test number 11 of LCK02J fails

#35 samira-t closed 13 years ago
2
VNA00J doesn't compute unprotected accesses of methods correctly

#34 reprogrammer opened 13 years ago
2
Detect LCK01J

#33 reprogrammer closed 12 years ago
1
Provide a fixer for LCK03J

#32 samira-t closed 13 years ago
1
The detector for LCK06J doesn't propagate unsafe instructions correctly.

#31 reprogrammer closed 13 years ago
2
Does WALA handle nested monitors correctly?

#30 reprogrammer closed 13 years ago
1
Add a detector for LCK03J

#29 samira-t opened 13 years ago
2
Keshmesh ignores modifications to parts of static fields

#28 samira-t closed 13 years ago
3
The tool tip for the quick fix of LCK02J is wrong

#27 reprogrammer closed 12 years ago
1
Do not provide a fixer in the UI when there are multiple fixes for a bug pattern

#26 samira-t opened 13 years ago
0