SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX

Lboro final year project code base

The Z3 Theorem Prover

Write like a high-level language, run like C.

A program analysis, verification, and optimization framework

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

A template for Software Design Description based on IEEE 1016-2009 and ISO/IEC/IEEE:42010

IEEE System Requirements Specification Template

An LLM-based fuzzing framework for C compilers testing.

Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps

just solve it - a CLI utility to run a portfolio of SMT solvers in parallel

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