unmarshal / protocol-informaticsLinks
Reverse engineering tool using bioinformatics sequence alignment algorithms
☆26Updated 4 years ago
Alternatives and similar repositories for protocol-informatics
Users that are interested in protocol-informatics are comparing it to the libraries listed below
Sorting:
- Protocol Inspection and State Machine Analysis☆24Updated 7 years ago
- Some VxWorks fuzzing examples using Cisco-Kitty and WDBDbg framework☆20Updated 9 years ago
- Network and USB protocol fuzzing toolkit.☆69Updated 6 years ago
- ☆53Updated 6 years ago
- Dynamic security analysis of embedded systems’ firmwares☆82Updated 8 years ago
- ☆36Updated 12 years ago
- An Extensible Dynamic Analysis Framework for IoT Devices☆21Updated 6 years ago
- ☆43Updated 3 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 6 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Updated 10 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26Updated 9 years ago
- Very WIP taint analysis for DynamoRIO (ARM)☆18Updated 7 years ago
- IKE fuzzer☆29Updated 10 years ago
- A research tool to identify the version of shared library files.☆22Updated 8 years ago
- a 802.11 wireless fuzzer☆92Updated 12 years ago
- Cisco MIPS debugger☆59Updated 7 years ago
- ☆25Updated 2 years ago
- RTSPhuzz - An RTSP Fuzzer written using the Boofuzz framework☆47Updated 2 years ago
- Examples demonstrating the usage of avatar²☆28Updated last year
- This python/jython script is used as plugin to BinNavi tool to analyze a x86 binanry file to find buffer overflow prone functions. Such f…☆28Updated 12 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 6 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 4 years ago
- IDA plugin for software complexity metrics assessment☆60Updated 7 years ago
- Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository☆106Updated 8 years ago
- Structural Analysis and Detection of Android Malware☆78Updated last year
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆28Updated last year
- Symbolic Execution of Android Framework☆15Updated 8 years ago
- Automatically exported from code.google.com/p/wifuzz☆35Updated 10 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 6 years ago