sophoslabs / WebAssemblyLinks
Research on WebAssembly
☆40Updated 3 years ago
Alternatives and similar repositories for WebAssembly
Users that are interested in WebAssembly are comparing it to the libraries listed below
Sorting:
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆36Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆60Updated 5 years ago
- Binary Ninja Syscall Annotator☆45Updated 3 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆34Updated 7 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆55Updated 5 years ago
- crauEmu is an uEmu extension for developing and analyzing payloads for code-reuse attacks☆110Updated 5 years ago
- Clone of the IDAPython repo☆24Updated 10 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- Programmatic disassembly and patching☆68Updated 8 years ago
- IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform☆115Updated 7 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- Rewriting functions in compiled binaries using McSema☆89Updated 5 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 6 years ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆69Updated 5 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- ☆92Updated 6 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆88Updated 2 years ago
- ☆74Updated 4 years ago
- A DBI tool to discover heap memory related bugs☆125Updated 7 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Updated 6 years ago
- Uncovering Class Hierarchies in C++ Programs☆127Updated 2 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 6 years ago
- ☆21Updated 5 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Updated 4 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 10 months ago