Soufflé: A Datalog Synthesis Tool for Static Analysis

1. percival

   1 12 610 0.0 Rust

   📝 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 featured

   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.

   

3. cclyzerpp

   2 1 141 1.5 C++

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

   

4. codeql

   3 22 8,230 10.0 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

   4 4 309 1.8 C

   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

Suggest a related project