Lists (25)
AI Security
2 repositories
algoCollection
1 repository
CFI Research
1 repository
Collection
22 repositories
Compiler
6 repositories
CTF
18 repositories
Decompiler
2 repositories
Exploitation
6 repositories
Firmware
2 repositories
FirmwareAnalysis
All firmware analysis projects ...4 repositories
Fuzzing
11 repositories
Kernel
7 repositories
MemCorruption
5 repositories
meta
15 repositories
Obfuscation
21 repositories
Profile
1 repository
Program Analysis
2 repositories
reverseEngineering
3 repositories
Rust
22 repositories
Rust Fuzzing
7 repositories
SQL
2 repositories
SymEngine
5 repositories
Teaching Materials
4 repositories
TEE
6 repositories
Tools
20 repositories
Starred repositories
Sysinternals jcd (jump change directory) is a Rust-based command-line tool that provides enhanced directory navigation with substring matching and smart selection. It's like the cd command, but wit…
Adds static typing to JavaScript to improve developer productivity and code quality.
A STARK prover and verifier for arbitrary computations
Welcome to the Meta Threat Research Indicator Repository, a dedicated resource for the sharing of Indicators of Compromise (IOCs) and other threat indicators with the external research community
A framework for finding JavaScript memory leaks and analyzing heap snapshots
A virtual machine for executing programs written in Hack.
Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange be…
A Scalable, User-Friendly Source Control System.
A security focused static analysis tool for Android and Java applications.
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Post Processor for Facebook Static Analysis Tools.
A fast type checker and language server for Python
A collection of awesome security hardening guides, tools and other resources
Collection of resources about Virtualization
Simple, unified interface to multiple Generative AI providers
📊 An infographics generator with 30+ plugins and 300+ options to display stats about your GitHub account and render them as SVG, Markdown, PDF or JSON!
Rust examples for all 23 classic GoF design patterns, and even a little more
Repository for the book "Crafting Interpreters"
A curated list of awesome security tools, experimental case or other interesting things with LLM or GPT.
FuzzBench - Fuzzer benchmarking as a service.
😎 A curated list of awesome GitHub Profile which updates in real time
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
A small collection of vulnerable code snippets
A Collection of Hacks in IoT Space so that we can address them (hopefully).