867 Open source projects that are alternatives of or similar to Sea Dsa

SeaHorn Verification Framework

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

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

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

Dominator Tree LLVM Pass to Test Satisfiability

Links to tools by subject

Program analysis playground for a simple, imperative language

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SMACK Software Verifier and Verification Toolchain

Bringing clang-tidy magic to Visual Studio C++ developers.

A LLVM-based static analysis framework.

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

OCCAM: Object Culling and Concretization for Assurance Maximization

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

A Speculation-Aware Collaborative Dependence Analysis Framework

Read-only mirror of the Klever Git repository

Automatic verification of LLVM optimizations

Alive: Automatic LLVM's Instcombine Verifier

Static checker for Java

Static Value-Flow Analysis Framework for Source Code

STatic (LLVM) Object file Analysis Tool

Run a security scan on your terraform with the very nice https://github.com/liamg/tfsec

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

M68K LLVM Port

Cross platform IDE and Shell

PHP_CodeSniffer is a set of two PHP scripts; the main phpcs script that tokenizes PHP, JavaScript and CSS files to detect violations of a defined coding standard, and a second phpcbf script to automatically correct coding standard violations. PHP_CodeSniffer is an essential development tool that ensures your code remains clean and consistent.

Demonstration of LLVM's opt-viewer tool

🐞 Primitive Erlang Security Tool

The official GitHub mirror of https://gitlab.com/pycqa/flake8

Various code metrics for Python code

The Whack Programming Language

zapcc is a caching C++ compiler based on clang, designed to perform faster compilations

Mal (Make A Lisp) compiler

Language server for PHP, with powerful static analysis and type inference.

A service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification

Security-focused static analysis for the Phoenix Framework

Methods to compute sets of states reachable by dynamical systems

KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.

Interactive code auditing and grep tool in Emacs Lisp

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

The Sparrow programming language

A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accomplish a complete project for FPGA High-Level Synthesis with it.

Verifying concurrent crash-safe systems

Yet Another JVM/LLVM Dynamic Language (LLVM Backend WIP)

A linter for Clojure code that sparks joy.

GDB Pretty Printers for libc++ of Clang/LLVM

MSBuild 15.0 Toolset integration for multiple LLVM (From v5 to v8)

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

A compiler for a simple language, built with Python and LLVM

PySonar2: an advanced semantic indexer for Python

C to Go Assembly

C IDE for iOS

Examples for Haskell bindings to LLVM

D bindings for LLVM

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

Statically recompiling CHIP8 to Windows and macOS using LLVM

CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.