The heart & core of Privado code scanner
☆33Nov 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:
- ☆29May 12, 2026Updated last 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☆18Dec 14, 2022Updated 3 years ago
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆13Dec 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,148May 12, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gradle Plugin for Tigergraph☆11Mar 16, 2023Updated 3 years 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 2 years ago
- Pentium II microcode (dis)assembler and (de)scrambler☆22Feb 11, 2021Updated 5 years ago
- Interpreter for a small subset of the Haskell programming language☆16May 9, 2026Updated last week
- Artifact for ICSE 2023☆52Sep 24, 2022Updated 3 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆29Jan 27, 2025Updated last year
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆12Nov 7, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Compile-time expression evaluation for Scala 2☆17May 9, 2026Updated last week
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago
- A log4shell detector using ProGuardCORE☆10Aug 5, 2022Updated 3 years ago
- Convert Scala Language Specification markdown files to pdf / epub format☆12Oct 6, 2019Updated 6 years ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆45Apr 13, 2026Updated last month
- Microscope: Enabling Microarchitectural Replay Attacks☆20Jun 26, 2020Updated 5 years ago
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- Hands-on experiments to demonstrate the exploitability of insecure TLS configurations in Android apps☆14Jan 18, 2022Updated 4 years ago
- ☆12Nov 12, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Generates LLVM IR for Xcode Projects☆10Mar 30, 2026Updated last month
- ☆10Aug 14, 2019Updated 6 years ago
- Generate type mappers for your own type class☆13May 11, 2023Updated 3 years ago
- peda like debugger script for windbg/windbgx and mingw-gdb☆11Dec 31, 2021Updated 4 years ago
- Corrects @ScalaSignature annotations in shaded jars☆13Oct 30, 2015Updated 10 years ago
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆13Nov 24, 2019Updated 6 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- ☆13Jun 2, 2020Updated 5 years ago
- MySQL-compatible database for GDPR compliance by construction.☆32Dec 5, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆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☆15May 12, 2026Updated last week
- 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
- ☆17Oct 30, 2023Updated 2 years ago