Awesome Open Source

Programming Languages

Search results for c program analysis

program-analysis x

21 search results found

Rizin ⭐ 2,290

UNIX-like reverse engineering framework and command-line toolset.

A LLVM-based static analysis framework.

Psychec ⭐ 486

A compiler frontend for the C programming language

Seahorn ⭐ 391

SeaHorn Verification Framework

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.

Analyzer ⭐ 143

Static analysis framework for C

Malware Behavior Analyzer

Vs Code Config ⭐ 111

VS Code Setting (Live input output) to make competitive programming easy and program analysis !

A precise and scalable pointer analysis for LLVM, written in Ascent

Evocatio ⭐ 35

Programanalysiscourse ⭐ 24

COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University

Sortcheck ⭐ 22

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis

TSAR (Traits Static AnalyzeR)

Provide tips and corrections for C programs

WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.

Create single-executable models of distributed systems.

Sighandlercheck ⭐ 8

Proof-of-concept tool for checking signal handlers for reentrancy issues.

A shared memory dependence tracing tool for dynamic concurrent program analysis

Dynamic analysis of multithreaded C programs

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (3,641)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-21 of 21 search results

Privacy | About | Terms | Follow Us On Twitter

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