ivan-magda/ifmo-swift-static-analyzer

A command line tool to enforce Swift style and conventions.

Language: Swift - Size: 34.2 KB - Last synced: about 12 hours ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

tracehubpm/jivan

Experimental neural static analyzer for Java programs, based on ML and LLM

Size: 16.6 KB - Last synced: about 15 hours ago - Pushed: about 16 hours ago - Stars: 2 - Forks: 0

SonarSource/sonar-dotnet

Code analyzer for C# and VB.NET projects

Language: C# - Size: 131 MB - Last synced: about 22 hours ago - Pushed: about 23 hours ago - Stars: 720 - Forks: 222

vbpf/ebpf-verifier

eBPF verifier based on abstract interpretation

Language: C++ - Size: 4.59 MB - Last synced: about 13 hours ago - Pushed: about 18 hours ago - Stars: 345 - Forks: 39

Correia-jpv/fucking-static-analysis

⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴

Language: Rust - Size: 40.1 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 8 - Forks: 0

SVF-tools/SVF

Static Value-Flow Analysis Framework for Source Code

Language: C++ - Size: 17.9 MB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 1,305 - Forks: 417

llvm-mirror/clang 📦

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

Language: C++ - Size: 213 MB - Last synced: 2 days ago - Pushed: about 4 years ago - Stars: 3,038 - Forks: 1,666

phpmd/phpmd

PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.

Language: PHP - Size: 6.86 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 2,291 - Forks: 345

phpstan/phpstan-dibi

Dibi class reflection extension for PHPStan

Language: PHP - Size: 88.9 KB - Last synced: about 9 hours ago - Pushed: 21 days ago - Stars: 15 - Forks: 9

florianschanda/miss_hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

Language: Python - Size: 4.15 MB - Last synced: 2 days ago - Pushed: 9 months ago - Stars: 148 - Forks: 21

jborgers/sonar-pmd

☕️ PMD Plugin for SonarQube

Language: Java - Size: 4.34 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 252 - Forks: 151

SonarSource/SonarJS

SonarSource Static Analyzer for JavaScript and TypeScript

Language: TypeScript - Size: 110 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 995 - Forks: 175

integrated-application-development/sonar-delphi

Delphi language plugin for SonarQube

Language: Java - Size: 14.9 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 75 - Forks: 8

insidersec/insider

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

Language: Go - Size: 4.39 MB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 487 - Forks: 80

SoftSec-KAIST/Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

Language: F# - Size: 4.44 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 131 - Forks: 20

kowainik/stan

🕵️ Haskell STatic ANalyser

Language: Haskell - Size: 540 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 556 - Forks: 47

phpmetrics/PhpMetrics

Beautiful and understandable static analysis tool for PHP

Language: PHP - Size: 28.2 MB - Last synced: 10 days ago - Pushed: 3 months ago - Stars: 2,435 - Forks: 260

e-m-b-a/emba

EMBA - The firmware security analyzer

Language: Shell - Size: 20.5 MB - Last synced: 10 days ago - Pushed: 12 days ago - Stars: 2,426 - Forks: 210

idrinth-api-bench/duplicate-style-check

Language: TypeScript - Size: 26.4 KB - Last synced: 5 days ago - Pushed: 8 days ago - Stars: 2 - Forks: 0

Code-Inspect/flowr

A program slicer and dataflow analyzer for the R programming language.

Language: TypeScript - Size: 7.42 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 13 - Forks: 2

LucasLarson/XcodeWarnings.xcconfig

🛠 before warned, be forewarned with a pedantic 𝚡𝚌𝚌𝚘𝚗𝚏𝚒𝚐 file for Xcode

Size: 109 KB - Last synced: 9 days ago - Pushed: 18 days ago - Stars: 1 - Forks: 0

thyrlian/SonarOnDocker

🐳 📡 Docker way of running SonarQube + any DB

Language: Java - Size: 194 KB - Last synced: 10 days ago - Pushed: over 2 years ago - Stars: 25 - Forks: 15

Beliavsky/Fortran-Tools

Links to Fortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.

Size: 1.14 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 75 - Forks: 7

fkie-cad/cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language: Rust - Size: 12.9 MB - Last synced: 8 days ago - Pushed: 30 days ago - Stars: 1,056 - Forks: 115

rizsotto/scan-build

Clang's scan-build re-implementation in python

Language: Python - Size: 1020 KB - Last synced: 8 days ago - Pushed: over 1 year ago - Stars: 346 - Forks: 33

janwilmans/OpenCanary

A set of scripts for aggregation, analysis and reporting of build and static analysis results.

Language: Python - Size: 384 KB - Last synced: 9 days ago - Pushed: 11 days ago - Stars: 7 - Forks: 0

RightCapitalHQ/php-parser

TypeScript types for PHP Parser JSON representation

Language: TypeScript - Size: 379 KB - Last synced: 13 days ago - Pushed: 15 days ago - Stars: 3 - Forks: 1

RightCapitalHQ/phpdoc-parser

Next-gen PHPDoc parser with support for intersection types and generics(TypeScript version)

Language: TypeScript - Size: 895 KB - Last synced: 13 days ago - Pushed: 15 days ago - Stars: 16 - Forks: 1

MartinWitt/infer-train

A github action to run infer for java code

Language: Java - Size: 516 KB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 3 - Forks: 0

cogumbreiro/setup-faial

Setup the Faial static code analyzer for CUDA kernels

Language: JavaScript - Size: 562 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 3 - Forks: 1

ajinabraham/njsscan

njsscan is a semantic aware SAST tool that can find insecure code patterns in your Node.js applications.

Language: JavaScript - Size: 396 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 344 - Forks: 75

ajinabraham/libsast

Generic SAST Library

Language: Python - Size: 286 KB - Last synced: 9 days ago - Pushed: 7 months ago - Stars: 118 - Forks: 17

moves-rwth/attestor

A Shape Analysis Tool based on Graph Grammars

Language: Java - Size: 38.4 MB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 10 - Forks: 4

BurtonQin/lockbud

Statically detect Rust deadlocks bugs

Language: Rust - Size: 461 KB - Last synced: 16 days ago - Pushed: 7 months ago - Stars: 346 - Forks: 20

socketz/Unified_Code_Count Fork of RMax2015/Unified_Code_Count

Unified Code Count is a Software Metrics Tool that parses over 20 different programming languages to find Logical and Physical source lines of code, counts keywords and various operators, math function names, etc. and cyclomatic complexity for a given language and then generates various reports. This release includes significant performance enhancements and capability for multiple Threads. Written in cross platform C++

Language: C++ - Size: 7.37 MB - Last synced: 21 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

cristianassaiante/toxotidae

A prototype API monitor for malware analysis based on deeper hooking.

Size: 10.7 KB - Last synced: 22 days ago - Pushed: 24 days ago - Stars: 2 - Forks: 0

kalessil/phpinspectionsea

A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)

Language: Java - Size: 127 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 1,426 - Forks: 118

Ericsson/codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Language: Python - Size: 37.3 MB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 2,082 - Forks: 347

dannypsnl-fork/code-analyzer

Racket code analysis

Language: Racket - Size: 57.6 KB - Last synced: 25 days ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 1

phpstan/phpstan

PHP Static Analysis Tool - discover bugs in your code without running it!

Language: PHP - Size: 4.7 GB - Last synced: 27 days ago - Pushed: 29 days ago - Stars: 12,521 - Forks: 857

collab-uniba/pynblint

Pynblint is a linter for Python Jupyter notebooks.

Language: Python - Size: 1.95 MB - Last synced: 21 days ago - Pushed: 6 months ago - Stars: 35 - Forks: 1

JohannesBuchner/pystrict3

pystrict3 analyses code for sanity and plausibility. Checks whether function calls are plausible and docstrings match function signatures.

Language: Python - Size: 2.38 MB - Last synced: 25 days ago - Pushed: about 2 months ago - Stars: 1 - Forks: 2

SonarSource/sonar-java

:coffee: SonarSource Static Analyzer for Java Code Quality and Security

Language: Java - Size: 61.8 MB - Last synced: 27 days ago - Pushed: 29 days ago - Stars: 1,088 - Forks: 661

phpstan/phpstan-doctrine

Doctrine extensions for PHPStan

Language: PHP - Size: 915 KB - Last synced: 27 days ago - Pushed: about 1 month ago - Stars: 555 - Forks: 91

sleekbyte/tailor

Cross-platform static analyzer and linter for Swift.

Language: Java - Size: 2.66 MB - Last synced: 2 days ago - Pushed: about 3 years ago - Stars: 1,398 - Forks: 51

phpstan/phpdoc-parser

Next-gen phpDoc parser with support for intersection types and generics

Language: PHP - Size: 824 KB - Last synced: 27 days ago - Pushed: about 1 month ago - Stars: 1,231 - Forks: 60

ECSIM/opem

OPEM (Open Source PEM Fuel Cell Simulation Tool)

Language: Python - Size: 17.7 MB - Last synced: about 5 hours ago - Pushed: 4 days ago - Stars: 185 - Forks: 57

alexkohler/prealloc

prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.

Language: Go - Size: 59.6 KB - Last synced: 30 days ago - Pushed: 30 days ago - Stars: 615 - Forks: 25

racodond/sonar-gherkin-plugin

SonarQube Cucumber Gherkin Analyzer

Language: Java - Size: 549 KB - Last synced: 21 days ago - Pushed: almost 2 years ago - Stars: 36 - Forks: 20

alexkohler/cfmt

cfmt is a tool to wrap Go comments over a certain length to a new line.

Language: Go - Size: 32.2 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 27 - Forks: 3

herloct/docker-phpmetrics

Docker image for PhpMetrics.

Size: 3.91 KB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 5 - Forks: 3

JetBrains/ReSharper-InspectCode

C# static analysis on GitHub Actions using JetBrains ReSharper InspectCode.

Size: 40 KB - Last synced: 28 days ago - Pushed: 10 months ago - Stars: 9 - Forks: 1

forefy/eburger

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

Language: Python - Size: 13 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 19 - Forks: 1

phpstan/phpstan-nette

Nette Framework class reflection extension for PHPStan & framework-specific rules

Language: PHP - Size: 228 KB - Last synced: 27 days ago - Pushed: 3 months ago - Stars: 99 - Forks: 34

philippefichet/sonarlint4netbeans

SonarLint integration for Apache Netbeans

Language: Java - Size: 324 MB - Last synced: 24 days ago - Pushed: 3 months ago - Stars: 32 - Forks: 7

alexkohler/nakedret

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.

Language: Go - Size: 1.2 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 115 - Forks: 13

cs-au-dk/TIP

Static program analysis for TIP

Language: Scala - Size: 3.03 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 270 - Forks: 120

phagenlocher/braincheck

A static and dynamic analyzer for Brainfuck

Language: C++ - Size: 46.9 KB - Last synced: 13 days ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

VincenzoArceri/rust-lisa

Rust frontend for LiSA

Language: Java - Size: 20.6 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 8 - Forks: 0

alexkohler/unimport

unimport is a Go static analysis tool to find unnecessary import aliases.

Language: Go - Size: 14.6 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 68 - Forks: 2

tristanisham/icy

A static analysis tool for PHP focused on developer experience

Language: PHP - Size: 50.8 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 3 - Forks: 0

pauliusm/pronto-yamllint

Pronto runner for YAMLlint

Language: Ruby - Size: 10.7 KB - Last synced: 12 days ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 4

mchalupa/dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language: C++ - Size: 5.72 MB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 456 - Forks: 137

FRI-DAY/sonar-gosu-plugin

Gosu Programming Language Plugin for SonarQube

Language: Java - Size: 843 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 2

best-doctor/mr_proper

Static Python code analyzer, that tries to check if functions in code are pure or not and why.

Language: Python - Size: 250 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 16 - Forks: 3

knsh14/gocc

check cyclomatic complexity of go functions

Language: Go - Size: 17.6 KB - Last synced: 9 days ago - Pushed: almost 3 years ago - Stars: 20 - Forks: 1

cs-au-dk/TAJS

Type Analyzer for JavaScript

Language: Java - Size: 76.4 MB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 186 - Forks: 41

lisa-analyzer/lisa

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

Language: Java - Size: 7.61 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 35 - Forks: 29

DeGraciaMathieu/php-git-insights-analyzer

Analyze the Git history of your PHP files

Language: PHP - Size: 17.9 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 1

DeGraciaMathieu/php-wording-detector

Simple tool to analyze and split the words contained in your code to check your DDD approach.

Language: PHP - Size: 53.8 MB - Last synced: 13 days ago - Pushed: 10 months ago - Stars: 13 - Forks: 0

KeenSecurityLab/BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries

Language: Java - Size: 813 KB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 1,487 - Forks: 217

whisperity/CodeChecker-Action

Execute static analysis through CodeChecker in the CI.

Language: Shell - Size: 72.3 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 13 - Forks: 3

fdiaz/SwiftInspector 📦

SwiftInspector is a command line tool built on top of SwiftSyntax to help inspect usage of Swift code

Language: Swift - Size: 429 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 38 - Forks: 5

phpstan/phpstan-php-parser 📦

PHP-Parser extension for PHPStan

Language: Makefile - Size: 81.1 KB - Last synced: 27 days ago - Pushed: 8 months ago - Stars: 23 - Forks: 9

cr0hn/dockerfile-security

Static security checker for Dockerfiles

Language: Python - Size: 43.9 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 93 - Forks: 11

stoyicker/android-check-2 Fork of noveogroup/android-check

Static code analysis plugin for next-generation Android projects.

Language: XSLT - Size: 699 KB - Last synced: 9 days ago - Pushed: over 5 years ago - Stars: 19 - Forks: 5

DeGraciaMathieu/php-smelly-code-detector

PHP code smell detector

Language: PHP - Size: 40.2 MB - Last synced: 14 days ago - Pushed: 10 months ago - Stars: 24 - Forks: 1

VPRLab/SoMo

A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

Language: Python - Size: 62.5 KB - Last synced: 18 days ago - Pushed: 2 months ago - Stars: 2 - Forks: 0

Wireforce-LLC/taser

Taser is a Python-based system designed for automatic analysis, rating, comparison, and parsing of Android source code. It provides a command-line interface (CLI) for easy interaction with the system.

Language: Python - Size: 120 MB - Last synced: 3 days ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

shramos/pyc-cfg

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

Language: Python - Size: 58.6 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 45 - Forks: 13

Cyber-Buddy/APKHunt

APKHunt is a comprehensive static code analysis tool for Android apps that is based on the OWASP MASVS framework. Although APKHunt is intended primarily for mobile app developers and security testers, it can be used by anyone to identify and address potential security vulnerabilities in their code.

Language: Go - Size: 19.4 MB - Last synced: 6 months ago - Pushed: 10 months ago - Stars: 616 - Forks: 59

catseye/yucca

MIRROR of https://codeberg.org/catseye/yucca : A dialect-agnostic static analyzer for 8-bit BASIC programs

Language: Python - Size: 27.3 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

catseye/Dieter

MIRROR of https://codeberg.org/catseye/Dieter : An experimental language conflating type qualifiers with modules

Language: Python - Size: 49.8 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 1

insidersec/insider-action

:octocat: Official Github Action for Insider

Language: TypeScript - Size: 612 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 10 - Forks: 4

mohammadnassiri/YAASA

Yet Another APK Static Analyzer

Language: Python - Size: 6.54 MB - Last synced: 7 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

sorra/Exia

Million-scale code analysis and refactoring toolkit for Java

Language: Java - Size: 10.7 MB - Last synced: 7 months ago - Pushed: almost 5 years ago - Stars: 43 - Forks: 28

ropas/sparrow

The Sparrow Static Analyzer

Language: OCaml - Size: 307 KB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 118 - Forks: 26

racodond/sonar-css-plugin

SonarQube CSS / SCSS / Less Analyzer

Language: Java - Size: 5.67 MB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 49 - Forks: 27

racodond/sonar-jproperties-plugin

SonarQube Java Properties Analyzer

Language: Java - Size: 738 KB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 13 - Forks: 8

alexkohler/identypo

identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).

Language: Go - Size: 263 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 26 - Forks: 0

racodond/sonar-json-plugin

SonarQube JSON Analyzer

Language: Java - Size: 408 KB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 11 - Forks: 18

schanur/cycle-breaker

Find cyclic references in code modules

Language: Python - Size: 30.3 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

synth-me/putnam

Haskell's static code analyser with dsl manipulator

Language: LiveScript - Size: 30.3 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

kalidasya/sonar-css-plugin

SonarQube CSS / SCSS / Less Analyzer

Language: Java - Size: 4.83 MB - Last synced: 26 days ago - Pushed: about 6 years ago - Stars: 6 - Forks: 1

GiacomoFerro/information-systems-analysis

Tasks for the information systems analysis course. University of Verona.

Language: Python - Size: 307 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

herrBez/Jandom Fork of jandom-devel/Jandom

An abstract-interpretation based static analyzer written in Scala.

Language: Scala - Size: 3.48 MB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 1

AJenbo/php-tracer-weaver Fork of troelskn/phpweaver

A combined runtime/static code-analysis tool, that can trace parameter types

Language: PHP - Size: 261 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

foospidy/GrepBugs

A regex based source code scanner.

Language: Python - Size: 1.6 MB - Last synced: 6 months ago - Pushed: about 7 years ago - Stars: 126 - Forks: 29

DeGraciaMathieu/php-line-length-detector

A simple way to analyze the line length of your PHP files.

Language: PHP - Size: 8.63 MB - Last synced: 13 days ago - Pushed: 10 months ago - Stars: 4 - Forks: 0

BottCode/Jandom Fork of herrBez/Jandom

An abstract-interpretation based static analyzer written in Scala.

Language: Scala - Size: 3.57 MB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0