jdaridis / souffle-lsp-plugin
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for souffle-lsp-plugin
- ☆31Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆60Updated last week
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- A linter for Soufflé Datalog☆12Updated 7 months ago
- CClyzer port to souffle lang☆18Updated 9 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- ☆13Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆61Updated last week
- Mutation-guided mutation-based fuzz testing☆41Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆35Updated 7 months ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- ☆25Updated this week
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆14Updated 6 months ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆12Updated 3 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆9Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 2 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 2 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 2 months ago
- Search, check, and autofix your BibTex files!☆25Updated 6 months ago
- ☆91Updated 2 years ago
- A symbolic execution engine for EVM smart contract binaries.☆75Updated last week
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆45Updated 6 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆15Updated 7 months ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆46Updated last year
- EF/CF - Extremely Fast smart Contract Fuzzing☆63Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- The ISLa (Input Specification Language) language & solver.☆60Updated 4 months ago