C++ Static Analysis

Open-source C++ projects categorized as Static Analysis
Edit details
Topics: program-analysis Llvm Reverse Engineering Windows C
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 16 C++ Static Analysis Projects

  • ImHex

    🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

    • Project mention: wxHexEditor — a Free Hex Editor / Disk Editor for Huge Files or Devices | news.ycombinator.com | 2024-05-18

    A good replacement is ImHex (https://github.com/WerWolv/ImHex). Which does the job really well.

  • Cppcheck

    static analysis of C/C++ code

    • Project mention: Configuring Cppcheck, Cpplint, and JSON Lint | dev.to | 2024-03-04

    I dedicated Sunday morning to going over the documentation of the linters we use in the project. The goal was to understand all options and use them in the best way for our project. Seeing their manuals side by side was nice because even very similar things are solved differently. Cppcheck is the most configurable and best documented; JSON Lint lies at the other end.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    • Project mention: Static analyzer IKOS 3.2 Released | news.ycombinator.com | 2023-12-28

  • lazy_importer

    library for importing functions from dlls in a hidden, reverse engineer unfriendly way

  • SVF

    Static Value-Flow Analysis Framework for Source Code

  • inline_syscall

    Inline syscalls made easy for windows on clang

  • psychec

    A compiler frontend for the C programming language

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • Cerberus

    A C++ tool to unstrip Rust/Go binaries (ELF and PE) (by h311d1n3r)

    • Project mention: Cerberus: A C++ tool to unstrip Rust/Go binaries (ELF and PE) | /r/blueteamsec | 2023-09-24

  • sleighcraft

    sleigh craft!

  • crab

    A library for building abstract interpretation-based analyses (by seahorn)

  • cclyzerpp

    cclyzer++ is a precise and scalable pointer analysis for LLVM code.

  • minimalloc

    A lightweight memory allocator for hardware-accelerated machine learning

    • Project mention: MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated ML | news.ycombinator.com | 2024-01-30

  • orc

    ORC is a tool for finding violations of C++'s One Definition Rule on the OSX toolchain. (by adobe)

  • llvm-project

    The home of the clang-based implementation of lifetime safety warnings. (by mgehre)

  • Gymbo

    gradient-based symbolic execution engine implemented from scratch

    • Project mention: [P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN | /r/MachineLearning | 2023-12-04

    I have developed Gymbo, a proof of concept for a Gradient-based Symbolic Execution Engine implemented from scratch.

  • ayanami-nemesis-analyzer

    A C/C++ Staitc Analyzer for Now.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

C++ Static Analysis related posts

  • Static analyzer IKOS 3.2 Released

    1 project | news.ycombinator.com | 28 Dec 2023

  • Static analyzer IKOS 3.2-rc1 published – Request for testers

    1 project | news.ycombinator.com | 17 Dec 2023

  • The NSA advises move to memory-safe languages

    2 projects | news.ycombinator.com | 12 Dec 2023

  • Cerberus: A C++ tool to unstrip Rust/Go binaries (ELF and PE)

    1 project | /r/blueteamsec | 24 Sep 2023

  • Cppcheck/Releasenotes.txt

    1 project | news.ycombinator.com | 11 Sep 2023

  • Enforcing Memory Safety?

    3 projects | /r/cpp | 7 Jun 2023

  • Does anyone use IKOS for static analysis?

    1 project | /r/embedded | 1 May 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 29 May 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

What are some of the best open-source Static Analysis projects in C++? This list will help you:

Project Stars
1 ImHex 33,295
2 Cppcheck 5,502
3 ikos 1,998
4 lazy_importer 1,508
5 SVF 1,315
6 inline_syscall 609
7 psychec 507
8 Cerberus 277
9 sleighcraft 245
10 crab 221
11 cclyzerpp 111
12 minimalloc 94
13 orc 90
14 llvm-project 38
15 Gymbo 35
16 ayanami-nemesis-analyzer 7

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com