524 Open source projects that are alternatives of or similar to iec-checker

Extension for VS Code to support Structured Text language.

SeaHorn Verification Framework

Opnionated code formatter for TwinCAT.

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Performant type-checking for python.

Binary Analysis Platform

Program for determining types of files for Windows, Linux and MacOS.

ISF(Industrial Control System Exploitation Framework)，a exploitation framework based on Python

Program analysis playground for a simple, imperative language

News and publication on cybersecurity in industry

Static Analysis Compiler Plugin for Scala

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

The CodeQL extractor and libraries for Go.

TIRO - A hybrid iterative deobfuscation framework for Android applications

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A LLVM-based static analysis framework.

Application framework for industrial automation built on top of TwinCAT3 and .NET.

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

ICS/SCADA Security Resource（整合工控安全相关资源）

ISAF aims to be a framework that provides the necessary tools for the correct security audit of industrial environments. This repo is a mirror of https://gitlab.com/d0ubl3g/industrial-security-auditing-framework.

Program that makes it possible to automate runs of TcUnit unit tests

Static Analyzer for LLVM bitcode based on Abstract Interpretation

T.J. Watson Libraries for Analysis

Semgrep rules registry

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Security scanner for your Terraform code

A plug-in for Google's Protocol Buffers (protobufs) compiler to lint .proto files for style violations.

Quality Police for Java projects

A Speculation-Aware Collaborative Dependence Analysis Framework

A reviewed list of useful PHP static analysis tools

Automatically generates FORtran Documentation from comments within the code.

Bolt is a language with in-built data-race freedom!

LibScout: Third-party library detector for Java/Android apps

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

Policeman's Forbidden API Checker

Awesome Java Security Resources 🕶☕🔐

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

Duplicate code finder for Elixir

PHPUnit extensions and rules for PHPStan

Intellisense for PHP

Python script to detect vulnerabilities inside PHP source code using static analysis, based on regex

The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

An app for parsing and publishing the JPL Space Calendar in JSON and ICalendar formats.

Jenkins Warnings Plugin - Next Generation

Custom Python linting through AST expressions

Strict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs

Prevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.

✊ Detect non-inclusive language in your source code.

markdown tools, libraries & scripts

Efficient and Precise Pointer-Tracking Data-Flow Framework

Automated static analysis & linting bot for Mozilla repositories

The modern Java bytecode editor

Code Climate CLI

Code metrics for Java code by means of static analysis

Detect uses of legacy Java APIs

SBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs). 🌈

🦩 Tools for Go projects

Inline syscalls made easy for windows on clang