Lists (15)
Starred repositories
IDA Pro plugin to assist with complex graphs
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
An awesome & curated list of binary code similarity papers
🧑🚀 Authentication and authorization infrastructure for SaaS and AI apps, built on OIDC and OAuth 2.1 with multi-tenancy, SSO, and RBAC.
Lua Assembly/Bytecode Tools. Has functions for virtually all aspects of LASM, including reading/writing, verifying, stripping debug info, LASM decompilation, and LASM parsing.
The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.
OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
The property-based testing library for Python
Experimental Symbolic Execution Prototype
Lua interpreter modded to support symbolic execution
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
An analysis tool for Python that blurs the line between testing and type systems.
A beautiful yet powerful syntax highlighter
Quickly find differences and similarities in disassembled code