417 Open source projects that are alternatives of or similar to logifix

This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.

Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.

A static analysis and linter tool for Lua

Efficient and Precise Pointer-Tracking Data-Flow Framework

Type-safe Lua IDE Plugin for IntelliJ IDEA

Phantom types for Python.

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

Custom sniffs for PHP_CodeSniffer

Quality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs

Duplicate code finder for Elixir

A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).

Static and dynamic Android application security analysis

A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs

No description or website provided.

The SECBIT Static Analysis Extension to Solidity Compiler

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

The missing CMake project initializer

Sturdy is a library for developing sound static analyses in Haskell.

SonarQube CSS / SCSS / Less Analyzer

A set of opinionated and useful lint checks

Inline your lint messages

🦩 Tools for Go projects

WordPress extensions for PHPStan ⛏️

Analysing source code locally with SonarQube in a Docker environment.

Quality Police for Java projects

An open source script to perform malware static analysis on Portable Executable

Python subsets

PhpSpec extension for PHPStan

A Datalog compiler and library

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

[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.

persistent monitor (for static source code analysis, GCC based)

Go static program analyser

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

FindBugs static analysis plugin for sbt.

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

A health checkup for your project.

A Small C Compiler

Static analysis of IEC 61131-3 programs

A High-performance, High-extensibility and High-portability APR System

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

A Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.

Extensions for PHPStan

simplified query engine based on logic programming paradigm

A Speculation-Aware Collaborative Dependence Analysis Framework

CPU-guided performance analyzer for Go

Automated static analysis & linting bot for Mozilla repositories

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

Scalpel: The Python Static Analysis Framework

PHPUnit extensions and rules for PHPStan

A Ruby code quality reporter

汽车/安卓/固件/代码安全测试工具集

Automatically generates FORtran Documentation from comments within the code.

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

A Clojure implementation of the logic programming language from chapter 4 of SICP

Cluster-based cloud mechanism for running SAVE framework

Detect deeply nested if statements in Go source code

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

RAML Linter

Read-only mirror of the Klever Git repository