Similar repositories to scarv/miracle:

• scarv/miracle github similar
• thufv/CMinor-Verifier github similar
• spoto/it-univr-bcel github similar
• saucec0de/sifu github similar
• secure-software-engineering/SootFX github similar
• jgru/vmi-gui-reconstruction github similar
• rprichard/pcboot github similar
• tetrane/tetrane-oss github similar
• kupl/MicSE github similar
• TrenchBoot/landing-zone github similar
• anhvvcs/corana github similar
• kaled-alshmrany/FuSeBMC github similar
• pvvx/TlsrTools github similar
• LauraWartschinski/VulnerabilityDetection github similar
• Yossioren/pp0 github similar
• rbaron/m6-reveng github similar
• RedBalloonShenanigans/BADFET github similar
• fugue-re/fugue-core github similar
• garrettgu10/ghidra-wasm-plugin github similar
• specs-feup/clava github similar
• likakn/StrawFuzzer github similar
• joernio/ghidra2cpg github similar
• plume-oss/plume github similar
• StanfordPL/strata github similar
• gligli/tools github similar
• ShiftLeftSecurity/llvm2cpg github similar
• libyal/libfsrefs github similar
• davewathaverford/the-omega-project github similar
• xyzz/ghidra-mep github similar
• antoinemine/apron github similar
• pnfsoftware/jeb-androsig github similar
• quic/gunyah-hypervisor github similar
• Iskuri/Samsung-NFC-Controller-Reverse-Engineering github similar
• google/binja-hexagon github similar
• fkie-cad/dewolf github similar
• buptsseGJ/VulSeeker github similar
• adelapie/ghidra-evm github similar
• luigifcruz/pico-stuff github similar
• cellebrite-labs/FunctionInliner github similar
• prismmodelchecker/prism github similar