WALA

Code analyzer

A toolset for static analysis of Java and JavaScript code.

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

GitHub

766 stars
30 watching
224 forks
Language: Java
last commit: over 1 year ago
androidcallgraphdataflow-analysisjavajavascriptpointer-analysisprogram-analysisslicingstatic-analysisstatic-code-analysis

Related projects:

Repository Description Stars
tushartushar/designitejava A tool for assessing the quality and structure of Java code by detecting design and implementation smells and computing various object-oriented metrics. 175
wycats/looper Analyzes ES6 code to make transpiled output smaller and more efficient by identifying scopes in the code 16
analysis-tools-dev/dynamic-analysis A curated list of tools and linters to analyze and improve code quality in various programming languages and environments. 956
sonarsource/sonar-java Analyzes Java code quality and security issues to help developers write cleaner code 1,144
codacy/codacy-scalameta A tool for static code analysis in Scala 34
mumuki/mulang Analyzes source code structure and syntax to detect potential issues and errors 124
clj-commons/kibit A static code analyzer for Clojure and other languages that suggests improvements to make code more idiomatic and efficient. 1,763
angular-architects/detective Analyzes code structure and patterns to identify potential issues and areas for improvement. 90
davidm/lua-inspect Analyzes Lua code and provides features such as variable identification, type inference, function signature checking, and refactoring support. 173
vincentcox/stacoan A tool for static code analysis on mobile applications to identify security vulnerabilities and bugs 830
flatt-security/shisho A tool that analyzes code for security vulnerabilities and provides feedback to developers 369
clj-kondo/clj-kondo A tool for analyzing and improving the quality of Clojure code 1,722
kowainik/stan Analyzes Haskell code to identify potential errors and areas for improvement 572
ilyaumanets/improve_your_code A tool that analyzes Ruby code for common design flaws and suggests improvements. 0
nasa-sw-vnv/ikos A static analysis tool for C/C++ programs based on Abstract Interpretation theory. 2,746