Similar repositories to fvrmatteo/oracle-synthesis-meets-equality-saturation:
fvrmatteo/oracle-synthesis-meets-equality-saturation
github
similar
aquynh/capstone
github
similar
AntoineBlaud/EasyRe
github
similar
chip-red-pill/glm_ucode_patch_parser
github
similar
therealdreg/symseghelper
github
similar
andreafioraldi/angr-win64-wheels
github
similar
KiFilterFiberContext/warbird-obfuscator
github
similar
therealdreg/linux_kernel_debug_disassemble_ida_vmware
github
similar
vusec/safeinit
github
similar
romainthomas/droidguard-samples
github
similar
ainfosec/ecr_toolkit
github
similar
blubtxt/elfcrypter
github
similar
lifting-bits/vmill
github
similar
HyperDbg/awesome
github
similar
revng/vscode-llvm-ir
github
similar
therealdreg/ida_vmware_windows_gdb
github
similar
peperunas/pasticciotto
github
similar
namazso/x86
github
similar
Vector35/tanto
github
similar
fkie-cad/dewolf
github
similar
therealdreg/ida_bochs_windows
github
similar
sariaki/amd-hypervisor
github
similar
hfiref0x/Misc
github
similar
x64dbg/InterObfu
github
similar
zyantific/zydis-rs
github
similar
pietroborrello/ghidra-atom-microcode
github
similar
intel/vbh
github
similar
lcashdol/UPX
github
similar
zandi/eBPF_processor
github
similar
btbd/ddma
github
similar
cappsule/cappsule-hypervisor
github
similar
86hh/POC-viruses
github
similar
therealdreg/cgaty
github
similar
zerotypic/wilhelm
github
similar
m417z/global-inject-demo
github
similar
ShiftLeftSecurity/llvm2cpg
github
similar
hypervisor/kli
github
similar
mrT4ntr4/MODeflattener
github
similar
weak1337/SystemThreadFinder
github
similar
AngleHony/WKTools
github
similar