sarnold / cyclo
Computes cyclomatic complexity metrics on C cource code
☆20Updated last year
Alternatives and similar repositories for cyclo:
Users that are interested in cyclo are comparing it to the libraries listed below
- simple static source code analysis tool for C code, with user-definable properties☆27Updated 8 months ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆47Updated 5 months ago
- Linux kernel library functions formally verified.☆51Updated 4 years ago
- ☆40Updated 2 weeks ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Read-only mirror of the Klever Git repository☆22Updated last week
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆29Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆17Updated last year
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- Minimal and fast regular expression library for C.☆18Updated 11 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Updated 8 years ago
- Memory slices for C99☆48Updated 2 weeks ago
- Sample programs for comparison of different VM interpretation techniques☆33Updated 4 months ago
- tinysh: minimal shell☆29Updated 13 years ago
- Json For Embedded Systems (JFES)☆71Updated 5 years ago
- Snowman decompiler☆13Updated 2 years ago
- re1, the unbloated regexp engine by Russ Cox, elaborated to be useful for real-world applications☆42Updated 5 years ago
- uClibc mirror☆54Updated 2 months ago
- Self-hosting C toolchain, from scratch☆34Updated last month
- KLEE's version of uClibc☆52Updated 9 months ago
- a simple and human readable binary diff format and implementation☆17Updated last year
- Public snapshots of "ACSL by Example"☆107Updated 3 years ago
- Out-of-tree version of Linux' kconfig tool☆15Updated 9 months ago
- example repo showing the debugging capabilities offered by Cosmopolitan Libc☆13Updated 2 years ago
- Generating the call graph from elf binary file☆35Updated last year
- Examples of self-modifying x86 linux assembly☆10Updated 3 years ago
- Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.☆11Updated 5 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago
- A C peg parser generator (a fork of peg/leg)☆23Updated 2 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago