C++ program-analysis

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

Top 9 C++ program-analysis Projects

  • x64dbg

    An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

    • Project mention: we need a 2015E revival. | /r/oldrobloxrevivals | 2023-12-07

  • Triton

    Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. (by JonathanSalwan)

  • 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

  • DIE-engine

    DIE engine

  • 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

  • psychec

    A compiler frontend for the C programming language

  • vast

    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.

    • Project mention: Print(“lol”) doubled the speed of my Go function | news.ycombinator.com | 2023-08-23

    Most languages target C or LLVM, and C and LLVM have a fundamentally lossy compilation processes.

    To get around this, you'd need a hodge podge of pre compiler directives, or take a completely different approach.

    I found a cool project that uses a "Tower of IRs" that can restablish source to binary provenance, which, seems to me, to be on the right track:

    https://github.com/trailofbits/vast

    I'd definitely like to see the compilation processes be more transparent and easy to work with.

  • crab

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

  • SaaSHub

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

    SaaSHub logo

  • cclyzerpp

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

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

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++ program-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

  • [P] Let's Debug Your Neural Network: Gradient-based Symbolic Execution for NN

    1 project | /r/MachineLearning | 4 Dec 2023

  • Print(“lol”) doubled the speed of my Go function

    2 projects | news.ycombinator.com | 23 Aug 2023

  • Veles – A new age tool for binary analysis

    5 projects | news.ycombinator.com | 4 Aug 2023

  • Does anyone use IKOS for static analysis?

    1 project | /r/embedded | 1 May 2023

  • Astrée Static Analyzer for C and C++

    1 project | news.ycombinator.com | 2 Feb 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 17 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 program-analysis projects in C++? This list will help you:

Project Stars
1 x64dbg 43,298
2 Triton 3,325
3 DIE-engine 2,131
4 ikos 1,991
5 psychec 497
6 vast 342
7 crab 220
8 cclyzerpp 111
9 Gymbo 35

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