Minimal example of a standalone program that depends on Joern
☆12Feb 14, 2025Updated last year
Alternatives and similar repositories for standalone-ext
Users that are interested in standalone-ext are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A static analysis tool for Java programs, based on the theory of code property graphs.☆23Mar 27, 2023Updated 3 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆43Jun 17, 2024Updated 2 years ago
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆15Dec 30, 2022Updated 3 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Nov 18, 2022Updated 3 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- ☆10Nov 22, 2024Updated last year
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- A use-after-free checker based on SVF.☆21Nov 29, 2017Updated 8 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆69Dec 10, 2024Updated last year
- ShiftLeft OverflowDB☆139May 22, 2025Updated last year
- A tool to help adapting code bases to NullAway type system.☆19Sep 22, 2026Updated last month
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆470Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Gradle Plugin for Tigergraph☆11Mar 16, 2023Updated 3 years ago
- Code for TASE 2022 paper: MSDetector: A Static Php Webshell Detection System based on Deep-Learning☆10Jul 12, 2022Updated 4 years ago
- ☆16Jan 10, 2024Updated 2 years ago
- A benchmark to evaluate taint analysis☆28Jun 20, 2022Updated 4 years ago
- ☆12Mar 5, 2026Updated 7 months ago
- A python library to build graphs for programs written in different programming languages.☆12May 6, 2022Updated 4 years ago
- Lightweight property scraper with database and notification capabilities☆18Aug 10, 2020Updated 6 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆93Sep 18, 2025Updated last year
- Program Slicing. Experimental library.☆14Feb 2, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆20Feb 9, 2024Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆37Oct 18, 2026Updated 2 weeks ago
- Artifact for ICSE 2023☆53Sep 24, 2022Updated 4 years ago
- OWASP Benchmark Project Utilities - Provides scorecard generation and crawling tools for Benchmark style test suites.☆26Oct 26, 2026Updated last week
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆18Feb 7, 2024Updated 2 years ago
- ☆22Nov 17, 2021Updated 4 years ago
- Code Property Graph: specification, query language, and utilities☆692Oct 21, 2026Updated last week
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Jul 8, 2021Updated 5 years ago
- Oracle Code One 2019 - Star Trek Java Challengers presentation☆15Oct 10, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning☆40Jan 4, 2023Updated 3 years ago
- ☆14Aug 18, 2025Updated last year
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- SolidJS + Vite + Electron template☆13Jan 7, 2023Updated 3 years ago
- Command-line script to access global proxy via PKU VPN☆16Sep 10, 2022Updated 4 years ago
- A framework for identifying vulnerabilities in VS Code extensions☆20Jul 9, 2024Updated 2 years ago
- A library for indexing code repositories using Tree-sitter Stack Graphs, designed to be used in MCP servers and other tools.☆16May 7, 2025Updated last year