muchang

muchang's Stars

• ecnusse/Kea

  Property-based Testing for Mobile GUI Apps

  Language:Python272

• analysis-tools-dev/static-analysis

  ⚙️ 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.

  Language:Rust13.3k1.4k

• NASA-SW-VnV/ikos

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

  Language:C++2k153

• RobustNLP/DeRTa

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

  Language:Python51

• UniCodeSphere/Creal

  Language:Python252

• 0vercl0k/wtf

  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-mode (experimental!).

  Language:C++1.5k132

• antlr/grammars-v4

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

  Language:ANTLR10.2k3.7k

• pascal-lab/Tai-e

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

  Language:Java1.4k173

• nccgroup/fuzzowski

  the Network Protocol Fuzzer that we will want to use.

  Language:Python725111

• hephaestus-compiler-project/thalia

  A framework for testing compilers' type checkers

  Language:Python171

• srg-imperial/GrayC

  GrayC: Greybox Fuzzing of Compilers and Analysers for C

  Language:C++561

• aclements/latexrun

  A 21st century LaTeX wrapper

  Language:Python61864

• sqlstandardsproject/sqlacidtest

  The SQL Standards Project aims to create consensus in SQL semantics

  Language:Python426

• shao-hua-li/UBGen

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

  Language:C555

• facebookresearch/nougat

  Implementation of Nougat Neural Optical Understanding for Academic Documents

  Language:Python8.9k563

• AFLplusplus/LibAFL

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

  Language:Rust2k313

• krychu/llama

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

  Language:Python7811

• meta-llama/llama

  Inference code for Llama models

  Language:Python56.1k9.5k

• meta-llama/codellama

  Inference code for CodeLlama models

  Language:Python16k1.9k

• google/cpp-smt-wrapper

  Language:C++4

• microsoft/playwright

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

  Language:TypeScript66.4k3.6k

• RangerNJU/Static-Program-Analysis-Book

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

  1.6k175

• test-jitcomp/Artemis

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

  Language:Java471

• tokay-lang/tokay

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

  Language:Rust2397

• CoriolisSP/FuzzBtor2

  Random Generator of Btor2 Files

  Language:C++6

• gdbmeter/gdbmeter

  Automated testing tool to find logic bugs in graph database systems

  Language:Java153

• rohanpadhye/FuzzFactory

  Domain-Specific Fuzzing with Waypoints

  Language:C23432

• Baekalfen/PyBoy

  Game Boy emulator written in Python

  Language:Python4.6k474

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k89

• never1andwxy/GenshinImpactDMGvisualizer_WEB

  Language:JavaScript934