dgellow/gixy-docker-image 📦

Size: 1000 Bytes - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 2 - Forks: 1

dwat3r/slicer

Slicing tool for c++ programs using clang AST.

Language: C++ - Size: 36.7 MB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 16 - Forks: 2

elliotchance/switch-check

Validate switch statements contain all enum values.

Language: Go - Size: 30.3 KB - Last synced: 11 months ago - Pushed: about 4 years ago - Stars: 4 - Forks: 1

Houzz/tap 📦

Tap (Type Analyzer for PHP) is a static analyzer for PHP. Based on the optional PhpDoc of functions, methods and properties, Tap will try to deduce local variables' types and check the compatibility. It can reveal potential bugs before the code is really running on production.

Language: C++ - Size: 3.93 MB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 1

bamless/pulsar

Static analyzer for the J* language

Size: 108 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 3 - Forks: 0

EvgenyOrekhov/lints 📦

Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command

Language: JavaScript - Size: 1.35 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 15 - Forks: 7

kitaah/vgel_sonarqube

Scan SonarQube dans le cadre du projet du site fictif videgrenierenligne.fr

Language: CSS - Size: 10.7 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

kevinmbeaulieu/star Fork of thumbtack/star

(Primary fork replacing thumbtack/star) Generate reports on how frequently specified Swift types are being used in your iOS codebase

Language: Swift - Size: 62.5 KB - Last synced: 13 days ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

dsheiko/jscodesniffer

⛔️ [DEPRECATED] Tool to ensure that your JavaScript code does not violate the specified coding standard (Idiomatic Style Manifesto or JQuery Core Style Guidelines)

Language: HTML - Size: 1.17 MB - Last synced: 26 days ago - Pushed: about 3 years ago - Stars: 42 - Forks: 8

mvondracek/jQuery-XSS

Static analyser for unsafe use of jQuery methods which are vulnerable to XSS attack. Also available as a Coala Bear.

Language: JavaScript - Size: 118 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

O72/JS_SAST

Static Application Security Testing Analyzer for JavaScript Source Code

Language: Python - Size: 60.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 5 - Forks: 1

marodev/EagleRepair

EagleRepair fixes static analysis warnings in C# programs. Easy to use. Blazing fast. Based on research.

Language: C# - Size: 2.69 MB - Last synced: 20 days ago - Pushed: about 1 year ago - Stars: 10 - Forks: 2

sorra/TraceSonar

Call graph analyzer for Java

Language: Java - Size: 79.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 29 - Forks: 9

dns-groot/groot

Static verification tool for DNS zone files

Language: C++ - Size: 1.45 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 73 - Forks: 7

DeGraciaMathieu/php-arguments-detector

Keep control over the complexity of your methods by checking that they do not have too many arguments.

Language: PHP - Size: 66.4 KB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 13 - Forks: 1

StaticDependencyAnalyzer/dean

Static (DE)pendency (AN)alyzer

Language: Rust - Size: 570 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

jonmest/Positron

Static analyser to help developers working in Electron avoid the most common and serious security risks within the framework. It will not detect all issues, and like most static analysis tools it will have a high rate of false positives, but it is automatic and may lighten your load a bit

Language: Python - Size: 139 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

evhub/undebt Fork of Yelp/undebt

Massive, automated code refactoring done better.

Language: Python - Size: 130 KB - Last synced: 23 days ago - Pushed: almost 5 years ago - Stars: 5 - Forks: 0

x213212/Static-analyzer-in-gccplugin

Try to build a static analyzer in Gcc Plugin, the main application scenario is to detect memory-leak,double-free,use-after-free.

Language: C++ - Size: 96.4 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Zeta611/gisa

GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'

Language: C - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

yugr/parmatch

A simple script for finding unbound parameters in Verilog module instantiations.

Language: Perl - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 3 - Forks: 0

yugr/gatecheck

Yet another Verilog static analyzer

Language: Perl - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

marcoantoniocorallo/VSA

Thesis project on the development of a framework for Value-Set Analysis

Language: F# - Size: 163 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 0

kestreltechnology/ktadvance

KT Advance Memory Safety Analyzer for C

Language: C++ - Size: 1.66 GB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 6 - Forks: 3

catseye/Unlikely

A language that conflates objects with continuations, among other things

Language: Python - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

IagoAbal/eba

EBA is a static bug finder for C.

Language: OCaml - Size: 1.38 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 14 - Forks: 2

ahmad-khalili/Python-Static-Analyzer

Static Analyzer Group Assignment for the course (Software Testing & Quality Assurance)

Language: Python - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 2

cj-xu/GuideForceJava

A static analyzer for enforcing programming guidelines to Java programs

Language: Java - Size: 1.04 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

mrseanryan/eslint-plugin-ts-ban-snippets

:no_entry_sign: A custom eslint rule to ban configurable lists of TypeScript code snippets. examples: "return void reject", "it.only", "debugger".

Language: TypeScript - Size: 1.22 MB - Last synced: 29 days ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

multiparty/carousels

Library for concisely defining abstract metrics over JavaScript syntax.

Language: JavaScript - Size: 296 MB - Last synced: 26 days ago - Pushed: about 1 year ago - Stars: 5 - Forks: 1

guillaumealgis/XcodeWarningsAsXcconfig

Generate a xcconfig including all Xcode compilation warnings with sensible defaults

Language: Python - Size: 120 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 8 - Forks: 2

SRI-CSL/bixie

Inconsistent code detection for Java.

Language: Java - Size: 32 MB - Last synced: 5 months ago - Pushed: over 6 years ago - Stars: 14 - Forks: 6

thom-sch/XMCStaticStackAnalyzer

Static stack analyser for Infineon XMC4 µControllers based on assembler list file

Language: Pascal - Size: 3.04 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

bbc2/mini-android

Static analyzer for Android-like applications

Language: OCaml - Size: 215 KB - Last synced: about 1 month ago - Pushed: over 9 years ago - Stars: 6 - Forks: 0

dibyendu/unrelyzer

Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

Language: C - Size: 10.7 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 4 - Forks: 1

Agrabski/MoreStaticAnalisis

Package providing static analysis for simple to diagnose C# errors

Language: C# - Size: 31.3 KB - Last synced: 27 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

zhoudaxia233/py-wtf

A static analyzer of Python which forces you to write comments, and write them in a well-mannered way.

Language: Python - Size: 31.3 KB - Last synced: 23 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1

awk-kazmin/sonar-1C

Language: Java - Size: 216 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 13 - Forks: 4

jboillot/analyser

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.

Language: OCaml - Size: 110 KB - Last synced: 11 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

sajedjalil/Java-Metrica

Language: Java - Size: 137 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

Pure-D/symbol-search

D symbol indexer & search service for all dub packages

Language: D - Size: 12.7 KB - Last synced: 23 days ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

urbanjs/urbanjs-tools

Development stack for JavaScript

Language: TypeScript - Size: 627 KB - Last synced: 3 days ago - Pushed: over 6 years ago - Stars: 8 - Forks: 1