cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code. (by GaloisInc)
Review program-analysis Static Analysis pointer-analysis souffle Datalog Llvm
Source Code
galoisinc.github.io
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Cclyzerpp Alternatives

Similar projects and alternatives to cclyzerpp

GaloisInc
cclyzerpp

  1. codeql

    23 cclyzerpp VS codeql

    CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. percival

    12 cclyzerpp VS percival

    đź“ť Web-based, reactive Datalog notebooks for data analysis and visualization

  4. c-semantics

    4 cclyzerpp VS c-semantics

    Semantics of C in K

  5. SVF

    1 cclyzerpp VS SVF

    Static Value-Flow Analysis Framework for Source Code

  6. crab

    1 cclyzerpp VS crab

    A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev. (by seahorn)

  7. Gymbo

    2 cclyzerpp VS Gymbo

    gradient-based symbolic execution engine implemented from scratch

  8. ikos

    16 cclyzerpp VS ikos

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

  9. SaaSHub

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

    SaaSHub logo

  10. souffle

    12 cclyzerpp VS souffle

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better cclyzerpp alternative or higher similarity.
Suggest an alternative to cclyzerpp

cclyzerpp discussion

Log in or Post with

cclyzerpp reviews and mentions

Posts with mentions or reviews of cclyzerpp. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-30.

Stats

Basic cclyzerpp repo stats
1
144
1.5
4 months ago

GaloisInc/cclyzerpp is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of cclyzerpp is C++.

Popular Comparisons

  1. cclyzerpp VS SVF
  2. cclyzerpp VS crab
  3. cclyzerpp VS Gymbo
  4. cclyzerpp VS c-semantics
  5. cclyzerpp VS percival
  6. cclyzerpp VS codeql
  7. cclyzerpp VS ikos
  8. cclyzerpp VS souffle

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
Loading...