Projects in Awesome Lists tagged with static-analysis

https://github.com/adobe/orc

ORC is a tool for finding violations of C++'s One Definition Rule on the OSX toolchain.

cplusplus dwarf mach-o one-definition-rule static-analysis

Last synced: 09 Nov 2024

https://github.com/j3ssie/codeql-docker

Ready to use docker image for CodeQL

codeql codeql-cli codeql-docker codql-cli docker sast static-analysis

Last synced: 27 Oct 2024

https://github.com/gostaticanalysis/sqlrows

Analyzer: helps uncover bugs by reporting a diagnostic for mistakes of *sql.Rows usage.

code-analysis database go golang mysql sql static-analysis static-code

Last synced: 17 Nov 2024

https://github.com/TomasVotruba/class-leak

Find leaking classes that you never use... and get rid of them.

dead-code php static-analysis unused-classes

Last synced: 08 Nov 2024

https://github.com/blocksecteam/rustle

A static analyzer for NEAR smart contract in Rust

nearprotocol smart-contract-security static-analysis

Last synced: 30 Nov 2024

https://github.com/mfvanek/pg-index-health-sql

pg-index-health-sql is a set of sql-queries for analyzing and maintaining indexes and tables health in Postgresql databases.

hacktoberfest indexes postgres postgresql sql static-analysis

Last synced: 21 Jan 2025

https://github.com/robotdana/leftovers

Find unused ruby methods and constants and etc

linter rails ruby static-analysis unused-code unused-constants unused-methods

Last synced: 15 Jan 2025

https://github.com/dominikh/staticcheck-action

Staticcheck's official GitHub Action

actions golang linter linters static-analysis staticcheck

Last synced: 18 Jan 2025

https://github.com/cpp-linter/cpp-linter-action

A Github Action for linting C/C++ code integrating clang-tidy and clang-format to collect feedback provided in the form of file-annotations, thread-comments, workflow step-summary, and Pull Request reviews.

clang-format clang-tidy github-actions hacktoberfest lint linter pull-requests push static-analysis

Last synced: 21 Jan 2025

https://github.com/php-stubs/woocommerce-stubs

WooCommerce function and class declaration stubs for static analysis

definitions phpstan static-analysis stubs woocommerce wordpress

Last synced: 19 Jan 2025

https://github.com/xfhg/intercept

INTERCEPT / Policy as Code Auditing & Compliance

audit auditing compliance devsecops enforcement policy policy-as-code policy-engine policy-evaluation policy-monitoring sast scanner secconf security security-audit security-automation security-tools static-analysis

Last synced: 25 Oct 2024

https://github.com/nakabonne/golintui

A simple terminal UI for Go linters

go golang golang-tools golangci-lint linter static-analysis terminal tui

Last synced: 22 Oct 2024

https://github.com/ergrelet/cpplumber

Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects

anti-reversing c clang continuous-integration cpp devsecops obfuscation rust static-analysis

Last synced: 11 Nov 2024

https://github.com/phpstan/phpstan-mockery

PHPStan extension for Mockery

mockery php php7 phpstan static-analysis static-code-analysis

Last synced: 18 Jan 2025

https://github.com/slackhq/hakana

Another typechecker for Hack, built by Slack

hack static-analysis

Last synced: 10 Jan 2025

https://github.com/glyphack/enderpy

WIP: Experimental Python Type Checker and LSP 🔎

auto-com auto-complete language-server lsp python rust static-analysis type-checker type-inference

Last synced: 15 Jan 2025

https://github.com/ayoubfaouzi/binary-auditing-solutions

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

binary-analysis decompilation disassembly ida-pro malware reverse-engineering static-analysis unpacking

Last synced: 10 Dec 2024

https://github.com/cyrus-and/comb

Interactive code auditing and grep tool in Emacs Lisp

emacs emacs-lisp find grep static-analysis

Last synced: 22 Oct 2024

https://github.com/quasilyte/go-perfguard

CPU-guided performance analyzer for Go

autofix dynamic-rules go go-analysis golang linter performance quickfix ruleguard static-analysis

Last synced: 27 Oct 2024

https://github.com/bvobart/mllint

`mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis of the project's repository.

ai artificial-intelligence best-practices engineering golang-application lint linter machine-learning machinelearning machinelearning-python pip python static-analysis

Last synced: 12 Nov 2024

https://github.com/orsinium-labs/infer-types

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

annotations code-formatter code-generation mypy pyannotate python python3 pytype static-analysis type-annotations type-checking type-inference typing

Last synced: 16 Nov 2024

https://github.com/diommsantos/qtreanalyzer

QtREAnalyzer, a Ghidra extension to reverse-engineer Qt binaries.

ghidra ghidra-analyzer ghidra-plugin qt qt5 reverse-engineering static-analysis

Last synced: 16 Jan 2025

https://github.com/Colton1skees/Dna

Static analysis & deobfuscation framework for x86/x64

analysis binary decompiler deobfuscation instruction-semantics lifter llvm llvm-ir program-analysis static-analysis symbolic-execution triton x86 x86-64

Last synced: 06 Oct 2024

https://github.com/semgrep/semgrep-action

This project is deprecated. Use https://github.com/returntocorp/semgrep instead

ci ci-cd github-actions sast semgrep static-analysis

Last synced: 27 Dec 2024

https://github.com/iamtorsten/sherlockelf

SherlockElf is a powerful tool designed for both static and dynamic analysis of Android ELF binaries and dynamic iOS Macho-O binaries (experimental).

android android-app android-emulator deobfuscation deobfuscator dynamic-analysis elf elf-parser emulator frida ios ios-reverse libart libc libso memory memory-injection native-library reverse-engineering static-analysis

Last synced: 15 Jan 2025

https://github.com/owenrumney/go-sarif

Go library for sarif - Static Analysis Results Interchange Format

hacktoberfest reporting-tools sarif sarif-report security security-tools static-analysis tfsec

Last synced: 18 Jan 2025

https://github.com/jetbrains/spotbugs-intellij-plugin

The SpotBugs Plugin for IntelliJ IDEA

bytecode intellij-idea intellij-plugin java spotbugs static-analysis

Last synced: 19 Jan 2025

https://github.com/anchore/grant

Search an SBOM for licenses and the packages they belong to

compliance golang license sbom static-analysis

Last synced: 16 Jan 2025

https://github.com/r9295/panoptisch

A recursive dependency scanner for Python projects

audit depedency-checker python security security-tools static-analysis

Last synced: 27 Oct 2024

https://github.com/alexkohler/unimport

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

go golang static-analysis static-analyzer static-code-analysis

Last synced: 14 Nov 2024

https://github.com/slamdunk/phpstan-extensions

Extensions for PHPStan

php phpstan static-analysis yii2

Last synced: 19 Jan 2025

https://github.com/jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

ics iec61131-3 industrial-automation ocaml plc program-analysis static-analysis structured-text

Last synced: 16 Jan 2025

https://github.com/azohra/shell-linter

A Github Action for ShellCheck

developer-tools github-actions lint static-analysis

Last synced: 29 Dec 2024

https://github.com/fergarrui/custom-bytecode-analyzer

Java bytecode analyzer customizable via JSON rules

analysis analyzer bughunting bytecode callgraph java json security static-analysis

Last synced: 09 Nov 2024

https://github.com/wolframresearch/codeinspector

Find and report problems in Wolfram Language code

codeinspector codetools lint linter linting mathematica static-analysis wolfram-language wolfram-mathematica

Last synced: 08 Dec 2024

https://github.com/ghik/zerowaste

Scala compiler plugin to detect unused expressions

compiler-plugin purely-functional scala static-analysis

Last synced: 16 Jan 2025

https://github.com/izvolov/mylib

Шаблон кросплатформенного CMake-проекта для языка C++ 🇬🇧 Modern CMake crossplatform project template for C++

ci cmake coverage cplusplus cpp crossplatform doxygen github-actions static-analysis template

Last synced: 28 Oct 2024

https://github.com/php-actions/phpstan

PHP Static Analysis in Github Actions.

continuous-integration php phpstan quality-assurance static-analysis

Last synced: 20 Jan 2025

https://github.com/langston-barrett/treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

datalog souffle static-analysis tree-sitter

Last synced: 18 Jan 2025

https://github.com/erik/squabble

An extensible linter for SQL queries and migrations.

linter postgres sql static-analysis

Last synced: 08 Nov 2024

https://github.com/wilfred/elisp-def

Find Emacs Lisp definitions

emacs emacs-lisp go-to-definition static-analysis

Last synced: 08 Nov 2024

https://github.com/WolframResearch/codeinspector

Find and report problems in Wolfram Language code

codeinspector codetools lint linter linting mathematica static-analysis wolfram-language wolfram-mathematica

Last synced: 20 Nov 2024

https://github.com/Wilfred/elisp-def

Find Emacs Lisp definitions

emacs emacs-lisp go-to-definition static-analysis

Last synced: 09 Nov 2024

https://github.com/seclab-ucr/suture

Precise and high-order static points-to/taint analysis based on LLVM IR.

static-analysis

Last synced: 22 Nov 2024

https://github.com/embarcadero/sonardelphi

Embarcadero's official version of the Sonar-Delphi plugin for use to analyze Delphi projects with SonarQube. Working to collect updates and contributions from other versions into this one and move if forward with new features.

delphi sonarqube static-analysis

Last synced: 08 Nov 2024

https://github.com/comcast/dialyzex

A Mix task for type-checking your Elixir project with dialyzer

dialyzer elixir mix static-analysis

Last synced: 17 Jan 2025

https://github.com/codacy/codacy-analysis-cli-action

GitHub Action for the codacy-analysis-cli

automation github-actions static-analysis

Last synced: 19 Jan 2025

https://github.com/codeclimate/codeclimate-rubocop

Code Climate Engine for Rubocop

code-quality codeclimate codeclimate-engine complexity linter linting metrics performance quality rails rubocop ruby security static-analysis static-code-analysis

Last synced: 31 Dec 2024

https://github.com/blockspacer/CXXCTP

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

clang cling cmake codestyle conan cplusplus cpp cpp11 cpp14 cpp17 libtooling llvm metaclasses preprocessor refactoring reflection serialization source-to-source static-analysis transpiling

Last synced: 20 Nov 2024

https://github.com/thewhiteninja/deobshell

Powershell script deobfuscation using AST in Python

abstract-syntax-tree ast blueteam deobfuscation dfir malware-analysis optimization poc powershell python security simplification static-analysis

Last synced: 21 Nov 2024

https://github.com/go-simpler/sloglint

🪵 Ensure consistent code style when using log/slog

go linter logging slog static-analysis tool

Last synced: 20 Nov 2024

https://github.com/antonboom/nilnil

The Golang linter that checks that there is no simultaneous return of `nil` error and an invalid value.

go golang linter static-analysis

Last synced: 19 Jan 2025

https://github.com/blockspacer/cxxctp

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

clang cling cmake codestyle conan cplusplus cpp cpp11 cpp14 cpp17 libtooling llvm metaclasses preprocessor refactoring reflection serialization source-to-source static-analysis transpiling

Last synced: 19 Jan 2025

https://github.com/aquasecurity/cfsec

Static analysis for CloudFormation templates to identify common misconfiguration

aws aws-cloudformation aws-sam aws-sam-cli cloudformation cloudsecurity go golang hacktoberfest static-analysis

Last synced: 02 Nov 2024

https://github.com/fatih/addlint

An example linter written with go/analysis for tutorial purposes

golang linter linting static-analysis tooling

Last synced: 21 Oct 2024

https://github.com/nickng/gospal

Go static program analyser

research static-analysis

Last synced: 05 Nov 2024

https://github.com/junkdog/sift

A CLI tool to analyze and reverse model software system designs from JVM bytecode.

cli introspection java-bytecode jvm-bytecode kotlin project-analysis reverse-engineering static-analysis

Last synced: 08 Nov 2024

https://github.com/mozilla/code-review

Automated static analysis & linting bot for Mozilla repositories

code-review mozilla python3 static-analysis

Last synced: 20 Jan 2025

https://github.com/detekt/detekt-compiler-plugin

Experimental support for detekt as a Kotlin compiler plugin

compilers detekt detekt-plugin gradle gradle-plugin hacktoberfest kotlin kotlin-compiler kotlin-compiler-plugin linter linters static-analysis

Last synced: 07 Nov 2024

https://github.com/mcandre/stank

stank: analyzers for determining whether files smell like rotten POSIX shell scripts, or faintly rosy like Ruby and Python scripts

golang shell-scripts static-analysis

Last synced: 19 Dec 2024

https://github.com/sslab-gatech/apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking

api-misuse cross-checkig static-analysis symbolic-execution

Last synced: 05 Nov 2024

https://github.com/pq/surveyor

📐 Tools for surveying Dart packages

dart dart-language dart-package static-analysis

Last synced: 14 Oct 2024

https://github.com/voku/phpdoctor

🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.

hacktoberfest php phpdoc static-analysis types

Last synced: 01 Nov 2024

https://github.com/rubocop/rubocop-factory_bot

Code style checking for factory_bot files.

factory-bot hacktoberfest lint rubocop ruby static-analysis testing

Last synced: 19 Jan 2025

https://github.com/SquidDev/illuaminate

Very WIP static analysis for Lua

linter lua static-analysis

Last synced: 25 Nov 2024

https://github.com/ispras/futag

FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек

addresssanitizer automated-testing code-generator crash fuzzing llvm static-analysis

Last synced: 24 Nov 2024

https://github.com/SonarSource/sonar-html

Static analyzer for HTML used in Sonar ecosystem

clean-code html language-team sonarcloud sonarlint sonarqube static-analysis

Last synced: 04 Nov 2024

https://github.com/silverrainz/go-ssaviz

Visualize Go SSA function using Graphviz

golang graphviz linter ssa static-analysis

Last synced: 02 Nov 2024

https://github.com/squiddev/illuaminate

Very WIP static analysis for Lua

linter lua static-analysis

Last synced: 19 Dec 2024

https://github.com/erev0s/apkinspector

apkInspector is a tool designed to provide detailed insights into the zip structure of APK files, offering the capability to extract content and decode the AndroidManifest.xml file.

android evasion static-analysis

Last synced: 19 Jan 2025

https://github.com/Antonboom/nilnil

The Golang linter that checks that there is no simultaneous return of `nil` error and an invalid value.

go golang linter static-analysis

Last synced: 12 Nov 2024

https://github.com/ice3man543/malscan

A Simple PE File Heuristics Scanners

analysis malware malware-analysis malware-static-anlysis python-malware-analysis static-analysis

Last synced: 28 Oct 2024

https://github.com/yamadashy/phpstan-friendly-formatter

🤝 A friendly error formatter extension for PHPStan that provides more readable and informative output, including code snippets and color highlighting.

code-quality developer-tools php php8 phpstan phpstan-extension static-analysis static-code-analysis testing

Last synced: 21 Jan 2025

https://github.com/racodond/sonar-css-plugin

SonarQube CSS / SCSS / Less Analyzer

code-quality css guidelines less linter scss sonarqube sonarqube-plugin static-analysis static-analyzer styleguide stylelint

Last synced: 27 Oct 2024

https://github.com/sbt/sbt-cpd

Copy & Paste Detector plugin using PMD for sbt.

cpd pmd sbt sbt-plugin scala static-analysis

Last synced: 09 Nov 2024

https://github.com/lprat/static_file_analysis

Analysis of file (doc, pdf, exe, ...) in deep (emmbedded file(s)) with clamscan and yara rules

analysis clamav defensive-security docker malware-analysis security security-tools sigma static-analysis yara yara-rules

Last synced: 13 Nov 2024

https://github.com/tokiwa-software/fuzion

The Fuzion Language Implementation

compiler functional-programming fuzion object-oriented-programming programming-language safety-critical-systems static-analysis

Last synced: 07 Nov 2024

https://github.com/nickzuber/infrared

:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.

cli compiler configurable es6 fast javascript parser productivity static-analysis tool type-checking zero-configuration

Last synced: 02 Nov 2024

https://github.com/ktsn/vue-sfc-parser

Vue.js single file component parser for static analysis

parser single-file-component static-analysis vue

Last synced: 25 Nov 2024

https://github.com/sbt/sbt-findbugs

FindBugs static analysis plugin for sbt.

analysis findbugs java sbt sbt-plugin static-analysis

Last synced: 09 Nov 2024

https://github.com/wata727/pahout

A pair programming partner for writing better PHP. Pahout means PHP mahout :elephant:

clean-code lint linter php static-analysis

Last synced: 01 Nov 2024

https://github.com/williamfzc/srctx

A library for extracting and analyzing definition/reference graphs from your codebase. Powered by tree-sitter and LSIF/SCIP.

callgraph diff golang lsif lsp sourcegraph static-analysis

Last synced: 17 Jan 2025

https://github.com/grantseltzer/go-disass

A suite of tools for disassembly, ROP, and binary analysis written in Go

binary-analysis disassembler disassembly go golang rop static-analysis syscalls

Last synced: 12 Oct 2024

https://github.com/halleck45/ast-metrics

AST Metrics is a language-agnostic static code analyzer.

quality static-analysis

Last synced: 27 Oct 2024

https://github.com/giacomoferretti/paranoid-deobfuscator

Deobfuscate "paranoid" protected apps

android deobfuscation deobfuscator lsparanoid paranoid python python3 reverse-engineering static-analysis string-deobfuscator string-obfuscation string-obfuscator

Last synced: 15 Jan 2025

https://github.com/ulrichb/implicitnullability

Extends ReSharper's static nullability analysis by changing specific, configurable elements to be [NotNull] by default

c-sharp default-nullability notnull nullability nullability-analysis resharper static-analysis

Last synced: 09 Nov 2024

https://github.com/gqlgo/gqlanalysis

gqlanalysis makes easy to develop static analysis tools for GraphQL in Go.

golang graphql static-analysis

Last synced: 02 Nov 2024

https://github.com/mucoze/Umay

IoT Malware Similarity Analysis Platform

django infosec iot malware malware-analysis reverse-engineering static-analysis

Last synced: 21 Nov 2024

https://github.com/acieroid/wassail

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

static-analysis webassembly

Last synced: 09 Nov 2024

https://github.com/camfort/fortran-src

Fortran parsing and static analysis infrastructure

automated-refactoring fortran haskell parser static-analysis

Last synced: 27 Dec 2024

https://github.com/koliveira15/nx-sonarqube

A Nx plugin that scans projects using SonarQube / SonarCloud.

code-quality coverage jest monorepo nodejs nrwl nrwl-nx nx nx-workspace sonarcloud sonarqube static-analysis typescript

Last synced: 25 Nov 2024

https://github.com/kkent030315/razy_importer

Rust implementation of lazy_importer

anti-reversing malware obfuscation reverse-engineering rust static-analysis

Last synced: 27 Oct 2024

https://github.com/VulnPlanet/l3x

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

ai ethereum ethereum-contract gpt gpt-4 llm rust rust-security sast sast-rust smart-contracts smart-contracts-audit smart-contracts-security solana solana-audit solidity solidity-contracts static-analysis static-analyzer-for-rust static-analyzer-for-solana

Last synced: 03 Nov 2024

https://github.com/rubocop/rubocop-capybara

Code style checking for Capybara files.

capybara lint rubocop ruby static-analysis testing

Last synced: 18 Jan 2025

https://github.com/nakabonne/nestif

Detect deeply nested if statements in Go source code

complexity go golang golang-tools linter static-analysis

Last synced: 15 Jan 2025

https://github.com/blockspacer/flextool

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

clang cling codestyle cplusplus cpp cpp11 cpp14 introspection libtooling llvm metaclass preprocessor refactoring reflection serialization source-to-source static-analysis transpiling