Alternatives and similar repositories for sstic-2021:

Users that are interested in sstic-2021 are comparing it to the libraries listed below

• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• andreafioraldi / idb2gdb
  Load function names from an IDA Pro database inside GDB
  ☆20Updated 6 years ago
• yrp604 / bdump
  ☆47Updated 2 years ago
• interruptlabs / heimdallr-ida
  A IDA plugin to enable linking to locations in an IDB with a disas:// URI
  ☆32Updated last year
• aguinet / miasm-bootloader
  x86 bootloader emulation with Miasm (case of NotPetya)
  ☆41Updated 5 years ago
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 3 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 3 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• hugsy / gef-binja
  Interface GDB-GEF with Binary Ninja
  ☆58Updated 4 years ago
• AndrewFasano / tenet_tracer
  PANDA-powered tracing engine for tenet
  ☆11Updated 3 years ago
• shamrockhoax / mazedecoder
  ☆28Updated 4 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆35Updated last month
• patois / FuncScanner
  Collects extended function properties from IDA Pro databases
  ☆93Updated 4 years ago
• piotrflorczyk / cve-2018-8174_analysis
  Analysis of VBS exploit CVE-2018-8174
  ☆31Updated 6 years ago
• vmware-archive / HexRaysDeob
  Hex-Rays microcode API plugin for breaking an obfuscating compiler
  ☆83Updated 5 years ago
• reb311ion / emerald
  Import DynamoRIO drcov code coverage data into Ghidra
  ☆43Updated last year
• synacktiv / vmx_intrinsics
  VMX intrinsics plugin for Hex-Rays decompiler
  ☆70Updated 5 years ago
• atxsinn3r / BinjaHLILDump
  Binary Ninja plugin that decompiles the whole binary and saves them in a directory.
  ☆22Updated 2 years ago
• v-p-b / rabbithole
  Cumulative cyclomatic complexity calculation for Ghidra
  ☆20Updated 4 years ago
• bluefrostsecurity / Meltdown-KVA-Shadow-Leak
  ☆45Updated 4 years ago
• JonathanSalwan / X-Tunnel-Opaque-Predicates
  IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
  ☆52Updated 5 years ago
• SinaKarvandi / windbg2ida
  Windbg2ida lets you dump each step in Windbg then shows these steps in IDA
  ☆75Updated 10 months ago
• RceNinja / Re-Scripts
  ☆34Updated 3 years ago
• AndrewFasano / ghidra-unicorn
  Export a binary from ghidra to emulate with unicorn
  ☆26Updated 5 years ago
• hasherezade / flareon2019
  Flare-On solutions
  ☆36Updated 5 years ago
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆30Updated 4 years ago
• Vector35 / OpaquePredicatePatcher
  ☆64Updated 5 months ago