A Flexible and Efficient Proof Checker for SMT Solvers

Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems

Property-based Testing for Mobile GUI Apps

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

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

A novel approach to improve the safety of large language models, enabling them to transition effectively from unsafe to safe state.

wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kernel-mode targets running on Microsoft Windows and Linux user-m…

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

An easy-to-learn/use static analysis framework for Java

the Network Protocol Fuzzer that we will want to use.

A framework for testing compilers' type checkers

GrayC: Greybox Fuzzing of Compilers and Analysers for C

A 21st century LaTeX wrapper

The SQL Standards Project aims to create consensus in SQL semantics

UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)

Implementation of Nougat Neural Optical Understanding for Academic Documents

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Inference code for LLaMA models on CPU and Mac M1/M2 GPU

Inference code for Llama models

Inference code for CodeLlama models

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

Getting started with static program analysis. 静态程序分析入门教程。

A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)

Tokay is a programming language designed for ad-hoc parsing, inspired by awk.

Random Generator of Btor2 Files

Automated testing tool to find logic bugs in graph database systems

Domain-Specific Fuzzing with Waypoints

Game Boy emulator written in Python