error27 / smatchLinks
Static Analyser for C
☆154Updated 2 weeks ago
Alternatives and similar repositories for smatch
Users that are interested in smatch are comparing it to the libraries listed below
Sorting:
- A collection of analysis tools for Kconfig and Kbuild constraints.☆67Updated last week
- Containers for building the Linux kernel or other software with many different compilers☆256Updated last week
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Source code of ASAN--☆104Updated last year
- Lists of must-read papers (mainly security papers)☆32Updated last year
- Examples for: Learning KVM - implement your own kernel☆380Updated 2 years ago
- minivm based on kvm☆157Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- ☆21Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 8 months ago
- CVEs for the Rust standard library☆59Updated 4 years ago
- Information about Linux system calls on different architectures☆174Updated last month
- ☆211Updated 3 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆55Updated 4 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Updated last year
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- Whole Program LLVM: wllvm ported to go☆332Updated last year
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆29Updated last week
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated 2 years ago
- ☆38Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Updated last week
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- Juliet C/C++ Dynamic Test Suite☆34Updated 2 years ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- An easy way to virtualize the running system☆351Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated 2 months ago