Static Value-Flow Analysis Framework for Source Code
$ npx skills add SVF-tools/SVFAlternatives
Compare similar skills by workflow fit, trust score, quality, GitHub adoption, maintenance, and install readiness.
Current skill
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Static Value-Flow Analysis Framework for Source Code
$ npx skills add SVF-tools/SVFπ A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
$ npx skills add WerWolv/ImHexA LLVM-based static analysis framework.
$ npx skills add secure-software-engineering/phasarValidate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
$ npx skills add sverweij/dependency-cruiserStatic code analysis for Kotlin
$ npx skills add detekt/detektAnalyze ELF binaries like a boss πΌπ΅οΈββοΈ
$ npx skills add orhun/binsiderPhan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
$ npx skills add phan/phanCodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
$ npx skills add Ericsson/codecheckerWork-in-progress tool to reverse unity's IL2CPP toolchain.
$ npx skills add SamboyCoding/Cpp2ILstatic analysis of C/C++ code
$ npx skills add cppcheck-opensource/cppcheckHorusec is an open source tool that improves identification of vulnerabilities in your project with just one command.
$ npx skills add ZupIT/horusecStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
$ npx skills add NASA-SW-VnV/ikos:coffee: SonarSource Static Analyzer for Java Code Quality and Security
$ npx skills add SonarSource/sonar-javaAn extremely fast Python linter and code formatter, written in Rust.
$ npx skills add astral-sh/ruffShellCheck, a static analysis tool for shell scripts
$ npx skills add koalaman/shellcheckMobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
$ npx skills add MobSF/Mobile-Security-Framework-MobSFHow to choose
Use an alternative when it has a clearer install path, higher trust score, fresher maintenance, or better platform fit for your current agent stack. Keep Dg if it already passes your workflow test and repository review.
Next step
Open the compare page, test the install commands in a sandbox, and check each repository before using a skill in production.