siddhesh / fortify-metricsLinks
Get build time statistics of _FORTIFY_SOURCE coverage for programs
☆12Updated last year
Alternatives and similar repositories for fortify-metrics
Users that are interested in fortify-metrics are comparing it to the libraries listed below
Sorting:
- Standalone portable header-based implementation of FORTIFY_SOURCE=3☆34Updated 2 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆29Updated 6 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated 10 months ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- gcc plugin to discover optimization passes used during compilation☆20Updated 4 years ago
- proof-of-concept tty hijacking via TIOCSTI or TIOCLINUX☆35Updated 7 months ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆31Updated 5 years ago
- Automatically spawn gdb on error.☆69Updated 3 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 5 years ago
- Register Allocator for 8086☆76Updated 2 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated this week
- Pascal to C translator☆13Updated 5 years ago
- LLVM backend for m88k architecture☆51Updated 3 months ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last month
- libslirp for Linux made easy peasy☆31Updated 2 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Updated last year
- Self-hosting C toolchain, from scratch☆36Updated 9 months ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- A minimal, resource-friendly syslog daemon for embedded Linux☆27Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆78Updated this week
- Convert ELF executables to DOS executables☆31Updated 6 years ago
- A disassembler and decompiler for 8086 DOS Binaries☆44Updated 11 months ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆66Updated last year
- grep for C/C++ source files.☆30Updated 3 months ago
- Context-free grammar parsing library☆10Updated last year
- A Shell to parse ELF files☆19Updated 2 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- Formally verified x86-64 decompilation☆44Updated this week