A static analysis tool for shell scripts
Static code analysis
Progressive ESLint config for your React/Vue/TypeScript projects
Call app from h5
Qt Creator Cppcheck integration plugin
Just-In-Time Tool for Achitecture Consistency
Kammerjäger is a debugging tool with integrated correctness proving.