Awesome Open Source

Programming Languages

Search results for static analysis datalog

static-analysis x

10 search results found

Codeql Go ⭐ 455

The CodeQL extractor and libraries for Go.

Datalog compiler embedded in Rust as a procedural macro

Securify2 ⭐ 208

Securify ⭐ 168

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

Cclyzerpp ⭐ 89

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

A precise and scalable pointer analysis for LLVM, written in Ascent

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Fixing static analysis violations in Java source code using Datalog

Souffle Lsp Plugin ⭐ 11

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

Related Searches

Golang Static Analysis (118)

Security Static Analysis (102)

C Plus Plus Static Analysis (82)

C Static Analysis (77)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.