Repository Index

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

• static-analysis
• static-code-analysis
• java
• go

The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.

• ruby-on-rails
• activerecord
• tool
• database

Lightweight analysis tool for detecting mutability in Java classes

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action