Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 C Program Analysis Open Source Projects

Open source projects categorized as C Program Analysis
Categories > Security > Program Analysis
Rizin ⭐ 2,290
UNIX-like reverse engineering framework and command-line toolset.
most recent commit 3 months ago
Phasar ⭐ 857
A LLVM-based static analysis framework.
most recent commit 3 months ago
Psychec ⭐ 486
A compiler frontend for the C programming language
most recent commit 3 months ago
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago
Vast ⭐ 315
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
most recent commit 3 months ago
Analyzer ⭐ 143
Static analysis framework for C
most recent commit 3 months ago
Mba ⭐ 125
Malware Behavior Analyzer
most recent commit 7 years ago
Vs Code Config ⭐ 111
VS Code Setting (Live input output) to make competitive programming easy and program analysis !
most recent commit 4 months ago
Yapall ⭐ 38
A precise and scalable pointer analysis for LLVM, written in Ascent
most recent commit 5 months ago
Evocatio ⭐ 35
most recent commit 9 months ago
Programanalysiscourse ⭐ 24
COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
most recent commit 6 months ago
Sortcheck ⭐ 22
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
most recent commit 2 years ago
Intflow ⭐ 15
IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
most recent commit 9 years ago
Tsar ⭐ 13
TSAR (Traits Static AnalyzeR)
most recent commit a year ago
Tipsy ⭐ 11
Provide tips and corrections for C programs
most recent commit 6 years ago
Wasp ⭐ 9
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.
most recent commit 9 months ago
Weldr ⭐ 9
Create single-executable models of distributed systems.
most recent commit 3 years ago
Sighandlercheck ⭐ 8
Proof-of-concept tool for checking signal handlers for reentrancy issues.
most recent commit 4 years ago
Rwtrace ⭐ 7
A shared memory dependence tracing tool for dynamic concurrent program analysis
most recent commit 9 years ago
Blackbox ⭐ 7
most recent commit 8 years ago
Dpu ⭐ 5
Dynamic analysis of multithreaded C programs
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.