The heart & core of Privado code scanner
☆32Nov 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
Sorting:
- ☆29Mar 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…☆77Oct 14, 2024Updated last year
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,014Updated this week
- A Golang implementation of the AES-FFX Format-Preserving Encryption Scheme☆10Mar 14, 2015Updated 11 years ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆29Jan 22, 2025Updated last year
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 2 years ago
- A static analysis tool for Java programs, based on the theory of code property graphs.☆19Mar 27, 2023Updated 2 years ago
- SBT Plugins For ZIO Projects☆12Updated this week
- Pentium II microcode (dis)assembler and (de)scrambler☆21Feb 11, 2021Updated 5 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 3 months ago
- Artifact for ICSE 2023☆50Sep 24, 2022Updated 3 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆11Nov 7, 2025Updated 4 months ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 4 years ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆40Apr 30, 2025Updated 10 months ago
- A Confidential Computing-Aware Certificate Authority☆11Nov 22, 2025Updated 3 months ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- ☆10Aug 14, 2019Updated 6 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 7 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☆15Mar 11, 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
- A knowledge base of Dotty internals and all things related☆20Jul 25, 2019Updated 6 years ago
- Collection of useful Ghidra utilities and references☆14Apr 9, 2024Updated last year
- This library is intended to solve the use case of getting the erased types of a (generic) parameter. Something which was possible in Scal…☆11Updated this week
- This repository is to maintain all hypersign repositories and documentations☆10Mar 20, 2020Updated 6 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆88Mar 13, 2023Updated 3 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 9 months ago
- IntelliJ Platform Plugin Template with Proguard config☆16Oct 26, 2023Updated 2 years ago
- An automated ROP generation work☆12Mar 5, 2025Updated last year
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 3 years ago
- Tone detector for node.js. Detect monotone sounds such as alarms or whistles.☆14Dec 3, 2017Updated 8 years ago
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆21Sep 1, 2025Updated 6 months ago
- Code Property Graph: specification, query language, and utilities☆565Mar 12, 2026Updated last week