Soufflé: A Datalog Synthesis Tool for Static Analysis

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com
featured
  1. percival

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

    I've worked on percival a bit, it compiles (transpiles?) the datalog ast into javascript code on demand and executes it to get the results, see [1]. Percival's creator, Eric, also submitted a 10m presentation about the project [2] to the HYTRADBOI 'virtual conference' earlier this year [2]. They also submitted a Show HN that received a couple comments [3]. The Have You Tried Rubbing A Database On It conference included several awesome presentations featuring datalog, which readers may find interesting [4].

    [1]: https://github.com/ekzhang/percival/blob/main/crates/perciva...

    [2]: https://www.hytradboi.com/2022/percival-a-reactive-language-...

    [3]: https://news.ycombinator.com/item?id=29521975

    [4]: https://www.hytradboi.com/

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. cclyzerpp

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

  4. codeql

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

  5. c-semantics

    Semantics of C in K

    https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Learn Datalog Today

    8 projects | news.ycombinator.com | 21 Jan 2024
  • Ask HN: Code should be stored in a database. Who has tried this?

    4 projects | news.ycombinator.com | 2 Apr 2025
  • Tools to Automate GitHub Projects

    2 projects | dev.to | 29 Mar 2025
  • Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL

    2 projects | news.ycombinator.com | 22 Oct 2024
  • CodeQL

    1 project | news.ycombinator.com | 17 Aug 2024