C++ Static Analysis

Open-source C++ projects categorized as Static Analysis

Top 16 C++ Static Analysis Projects

Static Analysis
  • ImHex

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

    Project mention: ImHex: Free and Open Source Hex Editor for All OSes and the Web | news.ycombinator.com | 2024-06-30
  • 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
  • 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.

  • 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)

  • analyze

    NaiveSystems Analyze is a static analysis tool for code security and compliance.

    Project mention: NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc. | news.ycombinator.com | 2023-12-17

    How do you conclude that? The instructions here:

    https://github.com/naivesystems/analyze/wiki/How-to-run-on-m...

    say docker is required.

  • 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)

  • 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 discussion

Log in or Post with

C++ Static Analysis related posts

  • Static analyzer IKOS 3.2 Released

    1 project | news.ycombinator.com | 28 Dec 2023
  • NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.

    2 projects | news.ycombinator.com | 17 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
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 14 Jul 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 40,844
2 Cppcheck 5,565
3 ikos 2,009
4 lazy_importer 1,550
5 SVF 1,352
6 inline_syscall 638
7 psychec 526
8 Cerberus 281
9 sleighcraft 246
10 crab 227
11 analyze 161
12 cclyzerpp 111
13 minimalloc 105
14 orc 90
15 Gymbo 35
16 ayanami-nemesis-analyzer 7

Sponsored
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.
www.influxdata.com

Did you konow that C++ is
the 6th most popular programming language
based on number of metions?