718 Open source projects that are alternatives of or similar to Domtresat

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

A Speculation-Aware Collaborative Dependence Analysis Framework

A LLVM-based static analysis framework.

Program analysis playground for a simple, imperative language

SeaHorn Verification Framework

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

STatic (LLVM) Object file Analysis Tool

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

OCCAM: Object Culling and Concretization for Assurance Maximization

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

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

Static Value-Flow Analysis Framework for Source Code

Supplementary material for my talk

Docker image that provides static analysis tools for PHP

a tool to perform static analysis of known vulnerabilities, trojans, viruses, malware & other malicious threats in docker images/containers and to monitor the docker daemon and running docker containers for detecting anomalous activities

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

DATuner Repository

A curated list of awesome Go linters. More than 60 linters and tools!

Static code analyzer for TypeScript

a Compileable statically typed Functional programming Language

Embedded language for high-performance array computations

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

An open format definition for static analysis tools

SonarQube Java Properties Analyzer

LLVM, clang, ninja, dyld and others.

Linting tool for CloudFormation templates

programming language compiler w/ llvm

A Dynamic Binary Instrumentation framework based on LLVM.

LLVM IR → WLA DX (ASM 65c816) → SNES Rom

NumPy aware dynamic Python compiler using LLVM

Port of http_parser to llparse

Static Analyzer for Solidity

☕️ SonarSource Static Analyzer for Java Code Quality and Security

Woboq CodeBrowser

Awesome Python Security resources 🕶🐍🔐

A static analysis security vulnerability scanner for Ruby on Rails applications

Vulnerability Static Analysis for Containers

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

Compiler for a toy Lisp language

It's a New Kind of Wrapper for Exposing LLVM (Safely)

🚦 An extensible linter for the TypeScript language

The LLVM-based D Compiler.

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

Example of using Rust to Extend Python

A statically-typed strictly-evaluated garbage-collected readable programming language.

A collection of out-of-tree LLVM passes for teaching and learning

SonarSource Static Analyzer for JavaScript and TypeScript

A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.

🐳 📡 Docker way of running SonarQube + any DB

scalastyle

Library for interacting with LLVM IR in pure Go.

based on llvm 5.0.1 release with ollvm