572 Open source projects that are alternatives of or similar to KRFAnalysis

Constraint solver based on coverage-guided fuzzing

LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)

Julia wrapper for the LLVM C API

Kernel fuzzer inspired by Syzkaller.

A set of tools for fuzzing SecureROM. Managed to find and trigger checkm8.

Visualization of LLVM IR

Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing tools, and resources that can help us use fuzzer easily.

Get actually nice HTML coverage overview on libfuzzer runs

LLVM C-Api Headers and binaries for Delphi

A collection of special paths linked to major web CVEs, known misconfigurations, juicy APIs ..etc. It could be used as a part of web content discovery, to scan passively for high-quality endpoints and quick-wins.

Network and USB protocol fuzzing toolkit.

Fast, type-safe, object-oriented language by yours truly

🐰 Tool set for fuzz and stress testing your functions!

Compile javascript to LLVM IR, x86 assembly and self interpreting

Brainfuck compiler based on LLVM API

go-sqlancer

Binary code-coverage fuzzer for macOS, based on libFuzzer and LLVM

🌌 Ion language compiler library, powered by LLVM

No description or website provided.

😇 Wholly Adaptive LLVM Optimizer

A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves

Extension library for the Kitty fuzzing framework

Some VxWorks fuzzing examples using Cisco-Kitty and WDBDbg framework

Corpus of crypto formats

Arch Linux performance important packages

Automatic Exploit Generation Paper

The Vist programming language

Easy fuzzing with go-fuzz

source code audit tool

Program analysis playground for a simple, imperative language

Python bindings for calling radamsa mutators

Here lies the code for the Snow* programming language, currently being rewritten.

A scalable High-Level Synthesis framework on MLIR

Experiemental userspace eBPF library

Ocamlgraph overlay for llvm

Fork of LLVM with modifications to support a program repository

Research papers on ML for security

qcc is a small toy C compiler

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

Summary of online learning materials

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.

ClusterFuzzLite - Simple continuous fuzzing that runs in CI.

Fuzzing Unification Framework

My fuzzing corpus

CERE: Codelet Extractor and REplayer

dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends

The x86 processor fuzzer

Tough Fuzzer is an obstacle course for go-fuzz composed of a series of small code samples which encapsulate the most common obstacles to code-coverage the fuzzer will encounter. In each case, the obstacle is insurmountable in a reasonable period of time using random inputs or even coverage-guided mutation.

Customizable TCP fuzzing tool to test for remote buffer overflows.

Software Papers as Software Modules: Towards a Culture of Reusable Results

Runtime support for LLVM's GC Statepoints

Obfuscator based on LLVM 12.0.1

Compiler for LightGBM gradient-boosted trees, based on LLVM. Speeds up prediction by ≥10x.

Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)

Interactive CLI Web Crawler

自定义检查规范的 Clang 插件

Simple imperative programming language created for fun.

Formally verified implementation of Alive in Lean

Clang-Format Editor is a tool that helps you find the best Clang-Format Style for your C++, C#, Java, JavaScript, and Objective-C code.

📚 An ultimate collection wordlists of the best-known CMS