basavesh
Follow
-
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedNov 26, 2025 -
-
-
bashbap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
OCaml MIT License UpdatedAug 25, 2024 -
-
VIBES Public
Forked from draperlaboratory/VIBESVerified, Incremental, Binary Editing with Synthesis
OCaml MIT License UpdatedMar 7, 2023 -
FaCT Public
Forked from PLSysSec/FaCTFlexible and Constant Time Programming Language
OCaml BSD 3-Clause "New" or "Revised" License UpdatedMar 29, 2022 -
-
-
safeside Public
Forked from google/safesideUnderstand and mitigate software-observable side-channels
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 11, 2021 -
jakstab Public
Forked from jkinder/jakstabThe Jakstab static analysis platform for binaries
Java GNU General Public License v2.0 UpdatedDec 10, 2019 -
os-tutorial Public
Forked from cfenollosa/os-tutorialHow to create an OS from scratch
C BSD 3-Clause "New" or "Revised" License UpdatedJan 8, 2019 -
Hypervisor-From-Scratch Public
Forked from SinaKarvandi/Hypervisor-From-ScratchSource code of a multiple series of tutorials about hypervisor. Available at: https://rayanfam.com/tutorials