Soufflé: A Datalog Synthesis Tool for Static Analysis

• percival

  0 551 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/

• cclyzerpp

  0 100 10.0 C++

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

  

• Onboard AI

  getonboard.dev

  sponsored

  Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  

• codeql

  6 6,577 10.0 CodeQL

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

  

• c-semantics

  0 295 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