Soufflé: A Datalog Synthesis Tool for Static Analysis

1. percival

   1 12 634 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. SaaSHub

   www.saashub.com featured

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

   

3. cclyzerpp

   2 1 150 1.5 C++

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

   

4. codeql

   3 29 9,692 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 324 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