Cclyzerpp Alternatives

Similar projects and alternatives to cclyzerpp

• codeql

  16 7,115 10.0 CodeQL cclyzerpp VS codeql

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

  

• percival

  12 571 0.0 Rust cclyzerpp VS percival

  📝 Web-based, reactive Datalog notebooks for data analysis and visualization

• InfluxDB

  www.influxdata.com featured

  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.

  

• c-semantics

  4 301 1.8 C cclyzerpp VS c-semantics

  Semantics of C in K

  

• crab

  1 218 5.8 C++ cclyzerpp VS crab

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

  

• SVF

  1 1,300 9.6 C++ cclyzerpp VS SVF

  Static Value-Flow Analysis Framework for Source Code

• Gymbo

  2 34 8.8 C++ cclyzerpp VS Gymbo

  gradient-based symbolic execution engine implemented from scratch

• souffle

  11 865 7.6 C++ 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.

  

• SaaSHub

  www.saashub.com featured

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

  

• ikos

  14 1,986 7.5 C++ cclyzerpp VS ikos

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