cslarsen / lyn

Related projects: ⓘ

• endeav0r / hsvm
  Haxathon Supremacy Virtual Machine
  ☆31Updated 7 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆22Updated 9 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• 0x2Adr1 / gcov
  gnu gcov like tool
  ☆12Updated 9 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 7 years ago
• jbremer / pyasm2
  An easy and powerful assembler engine in python.
  ☆53Updated 5 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆29Updated 8 years ago
• frdwarf / dwarf-synthesis
  ☆24Updated 4 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆9Updated 8 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 9 years ago
• endeav0r / rdis
  A binary analysis tool for linux
  ☆69Updated 4 years ago
• formalmethods / smtlectures
  A collection of slides of the SMT course I held at University of Milan in fall 2011
  ☆7Updated 9 years ago
• endeav0r / bt
  binary toolkit
  ☆12Updated 7 years ago
• VectraThreatLab / ida2neo
  ☆14Updated 8 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆75Updated 6 years ago
• xorpd / fcatalog_server
  Functions Catalog
  ☆28Updated 5 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆24Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 8 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆31Updated 5 years ago
• ANSSI-FR / picon
  Picon
  ☆38Updated 7 years ago
• schieb / ELFManip
  Modify ELF executables
  ☆16Updated 5 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆29Updated 10 years ago
• feliam / pysmtlib
  A python layer to interface with several SMTLIBv2 enabled SMT solvers
  ☆16Updated 9 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 8 years ago
• mbikovitsky / AssemblyBot
  Telegram bot for assembling and disassembling on-the-go.
  ☆21Updated last year
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆72Updated 9 years ago