All Projects → codelion → Pathgrind

codelion / Pathgrind

Licence: gpl-3.0
Path based Dynamic Analysis

Programming Languages

c
50402 projects - #5 most used programming language

Projects that are alternatives of or similar to Pathgrind

Dynamic Analysis
A curated list of dynamic analysis tools for all programming languages, binaries, and more.
Stars: ✭ 340 (+211.93%)
Mutual labels:  dynamic-analysis
Habomalhunter
HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.
Stars: ✭ 627 (+475.23%)
Mutual labels:  dynamic-analysis
Kieker
Kieker's main repository
Stars: ✭ 42 (-61.47%)
Mutual labels:  dynamic-analysis
Engine
Droidefense: Advance Android Malware Analysis Framework
Stars: ✭ 386 (+254.13%)
Mutual labels:  dynamic-analysis
Crosshair
An analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (+437.61%)
Mutual labels:  dynamic-analysis
Jackhammer
Jackhammer - One Security vulnerability assessment/management tool to solve all the security team problems.
Stars: ✭ 633 (+480.73%)
Mutual labels:  dynamic-analysis
Wasabi
A dynamic analysis framework for WebAssembly programs.
Stars: ✭ 279 (+155.96%)
Mutual labels:  dynamic-analysis
Mobile Security Framework Mobsf
Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
Stars: ✭ 10,212 (+9268.81%)
Mutual labels:  dynamic-analysis
R2frida
Radare2 and Frida better together.
Stars: ✭ 610 (+459.63%)
Mutual labels:  dynamic-analysis
Phantom Evasion
Python antivirus evasion tool
Stars: ✭ 997 (+814.68%)
Mutual labels:  dynamic-analysis
Symbolic Execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Stars: ✭ 395 (+262.39%)
Mutual labels:  dynamic-analysis
Fromjs
See where each character on the screen came from in code.
Stars: ✭ 537 (+392.66%)
Mutual labels:  dynamic-analysis
Fsmon
monitor filesystem on iOS / OS X / Android / FirefoxOS / Linux
Stars: ✭ 635 (+482.57%)
Mutual labels:  dynamic-analysis
Enlightn
Your performance & security consultant, an artisan command away.
Stars: ✭ 378 (+246.79%)
Mutual labels:  dynamic-analysis
Intellidroid
A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-57.8%)
Mutual labels:  dynamic-analysis
Medusa
Binary instrumentation framework based on FRIDA
Stars: ✭ 258 (+136.7%)
Mutual labels:  dynamic-analysis
Awesome Symbolic Execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Stars: ✭ 634 (+481.65%)
Mutual labels:  dynamic-analysis
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+1170.64%)
Mutual labels:  dynamic-analysis
Frida Snippets
Hand-crafted Frida examples
Stars: ✭ 1,081 (+891.74%)
Mutual labels:  dynamic-analysis
Mjolner
Cycript backend powered by Frida.
Stars: ✭ 11 (-89.91%)
Mutual labels:  dynamic-analysis

pathgrind Build Status

DOI

Path based Dynamic Analysis (Works for 32-bit programs only)

Requirements

  • bzip2
  • autoconf
  • make
  • gcc
  • python
  • gawk
  • 32 bit libraries for ubuntu (sudo apt-get install ia32-libs)
  • 32 bit c library for building c programs for testing with pathgrind (sudo apt-get install libc6-dev-i386)

On ubuntu you can install the dependencies using apt-get, e.g. sudo apt-get install autoconf

Installation

$ ./install.sh

Configuration

Configuration file: fuzz/settings.cfg

Execution

CLI: $ ./fuzz/fuzz.py

GUI: $ ./fuzz/gui.py

Example

$ ./fuzz/fuzz.py test6

New input are created in testcase/input/

Crash files are be saved in testcase/crash/

You can also read a fairly detailed tutorial on Pathgrind at the SRC:CLR blog

Publications

Exploiting Undefined Behaviors for Efficient Symbolic Execution, ICSE 2014

An Empirical Study of Path Feasibility Queries, CoRR 2013

A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution, Technical Report NUS 2012

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].