SkillAgentSearch skills...

Keshmesh

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

Install / Use

/learn @reprogrammer/Keshmesh
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

Keshmesh

Keshmesh is an interactive tool for detecting and fixing concurrency bugs in Java programs. Keshmesh looks for certain bug patterns that are common in concurrent Java programs and offers automated fixes for some of the bug patterns.

Keshmesh uses WALA to analyze programs for complex concurrency bug patterns that span multiple methods and involve aliases. Keshmesh uses FindBugs to report bugs and offer automated fixes to the users of Eclipse.

Keshmesh has been developed at the University of Illinois and is licensed under the Illinois/NCSA Open Source License. See LICENSE.TXT for more details.

You can find more information about Keshmesh at its homepage.

Related Skills

View on GitHub
GitHub Stars16
CategoryDevelopment
Updated1y ago
Forks5

Languages

Java

Security Score

60/100

Audited on Apr 22, 2024

No findings