error27 / smatchLinks
Static Analyser for C
☆134Updated 3 months 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.☆57Updated 5 months ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Containers for building the Linux kernel or other software with many different compilers☆228Updated last month
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- Source code of ASAN--☆100Updated last year
- To visualize function call flow for a C/C++ program using gdb and python☆101Updated last year
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆170Updated 3 years ago
- Examples for: Learning KVM - implement your own kernel☆378Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 10 months ago
- Information about Linux system calls on different architectures☆168Updated last week
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated 2 years ago
- ☆36Updated 3 years ago
- ☆20Updated 3 years ago
- minivm based on kvm☆154Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- Main repository of KEDR project☆119Updated 4 months ago
- Explore a live Linux kernel's memory using GDB☆117Updated 2 years ago
- Experiments with the gcc plugin mechanism☆112Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆28Updated 3 weeks ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆52Updated 3 years ago
- Simple Intel CPU processor tracing on Linux☆350Updated 2 years ago
- Whole Program LLVM: wllvm ported to go☆326Updated last year
- ☆70Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 2 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago