The heart & core of Privado code scanner
☆34Nov 21, 2024Updated last year
Alternatives and similar repositories for privado-core
Users that are interested in privado-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Updated this week
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆79Oct 14, 2024Updated last year
- Files used for the evaluation of uiCA☆19Dec 14, 2022Updated 3 years ago
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆14Dec 30, 2022Updated 3 years ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,279Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- Gradle Plugin for Tigergraph☆11Mar 16, 2023Updated 3 years ago
- Source code graph RAG (GraphRAG) for C/C++ development based on clang/clangd☆52Apr 25, 2026Updated 2 months ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆30Jan 22, 2025Updated last year
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 3 years ago
- Oracle Code One 2019 - Star Trek Java Challengers presentation☆15Oct 10, 2022Updated 3 years ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated last month
- Artifact for ICSE 2023☆52Sep 24, 2022Updated 3 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆29Jan 27, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆12May 28, 2026Updated last month
- ☆32Jul 27, 2020Updated 5 years ago
- A log4shell detector using ProGuardCORE☆10Aug 5, 2022Updated 3 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated last month
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆14Nov 13, 2025Updated 7 months ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 9 months ago
- A Python implementation of the SIEVE eviction algorithm☆19Jan 15, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Generates LLVM IR for Xcode Projects☆10Mar 30, 2026Updated 2 months ago
- ☆10Aug 14, 2019Updated 6 years ago
- Generate type mappers for your own type class☆12Jun 22, 2026Updated last week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆15Jan 2, 2022Updated 4 years ago
- peda like debugger script for windbg/windbgx and mingw-gdb☆11Dec 31, 2021Updated 4 years ago
- Generates strings that match a regular expression☆12Updated this week
- Corrects @ScalaSignature annotations in shaded jars☆13Oct 30, 2015Updated 10 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jun 18, 2026Updated last week
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Sep 7, 2023Updated 2 years ago
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 8 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated 3 weeks ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Sep 4, 2022Updated 3 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- Bytecode Analysis Toolkit.☆18Oct 28, 2022Updated 3 years ago