mchalupa / Dg
Licence: mit
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242
Labels
Projects that are alternatives of or similar to Dg
Codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+399.59%)
Mutual labels: static-analysis, analysis, llvm, static-analyzer
Sonar Java
☕️ SonarSource Static Analyzer for Java Code Quality and Security
Stars: ✭ 745 (+207.85%)
Mutual labels: static-analysis, analysis, static-code-analysis, static-analyzer
lints
Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-94.21%)
Mutual labels: analysis, static-code-analysis, static-analysis, static-analyzer
Phpdoc Parser
Next-gen phpDoc parser with support for intersection types and generics
Stars: ✭ 569 (+135.12%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Sonar Dotnet
Code analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html
Stars: ✭ 466 (+92.56%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Phasar
A LLVM-based static analysis framework.
Stars: ✭ 503 (+107.85%)
Mutual labels: static-analysis, llvm, program-analysis
Phpstan Doctrine
Doctrine extensions for PHPStan
Stars: ✭ 338 (+39.67%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Crab Llvm
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-40.91%)
Mutual labels: static-analysis, llvm, program-analysis
Phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Stars: ✭ 5,194 (+2046.28%)
Mutual labels: static-analysis, analysis, static-code-analysis
Pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+751.65%)
Mutual labels: static-analysis, program-analysis, static-code-analysis
Cfmt
cfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-88.43%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Static Analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Stars: ✭ 9,310 (+3747.11%)
Mutual labels: static-analysis, static-code-analysis, analysis
Tajs
Type Analyzer for JavaScript
Stars: ✭ 150 (-38.02%)
Mutual labels: program-analysis, static-code-analysis, static-analyzer
Prealloc
prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.
Stars: ✭ 419 (+73.14%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
Stars: ✭ 550 (+127.27%)
Mutual labels: static-analysis, analysis, static-code-analysis
Wala
T.J. Watson Libraries for Analysis
Stars: ✭ 395 (+63.22%)
Mutual labels: static-analysis, program-analysis, static-code-analysis
Sonarjs
SonarSource Static Analyzer for JavaScript and TypeScript
Stars: ✭ 696 (+187.6%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (+11.57%)
Mutual labels: static-analysis, llvm, program-analysis
Chronos
Chronos - A static race detector for the go language
Stars: ✭ 272 (+12.4%)
Mutual labels: static-analysis, analysis, static-code-analysis
Phpstan
PHP Static Analysis Tool - discover bugs in your code without running it!
Stars: ✭ 10,534 (+4252.89%)
Mutual labels: static-analysis, static-code-analysis, static-analyzer
DG
DG is a library containing various bits for program analysis. However, the main motivation of this library is program slicing. The library contains implementation of a pointer analysis, data dependence analysis, control dependence analysis, and an analysis of relations between values in LLVM bitcode. All of the analyses target LLVM bitcode, but most of them are written in a generic way, so they are not dependent on LLVM in particular.
Further, DG contains an implementation of dependence graphs and a static program slicer for LLVM bitcode. Some documentation can be found in the doc/ directory.
You can find a high-level description of DG in DG: a program analysis library or DG: Analysis and slicing of LLVM bitcode papers. More detailed information about dg is in the doc/ folder or in my master thesis.
You can write e-mails with issues to [email protected] (or file issue in github).
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].