Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Latest commit 0c94390 Apr 10, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin inital commit Apr 10, 2019
inspectorgadget inital commit Apr 10, 2019
scripts
tests inital commit Apr 10, 2019
LICENSE.txt added license Apr 10, 2019
README.md updated readme Apr 10, 2019
ig.sh inital commit Apr 10, 2019

README.md

What is inspector gadget?

Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analysts in exploit development. It discovers gadgets, chains gadgets together, and ensures that side effects such as register dereferences do not crash the program.

It relies on the notion of gadget summaries , a compact representation of the effects a gadget or a chain of gadgets has on memory and registers These semantic summaries enable analysts to quickly determine the usefulness of long, complex gadgets that use a lot of aliasing or involve memory accesses.

If you use inspector-gadget in your research, please cite the following paper:

Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer, Eric Bodden: PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution, in Security and Trust Management Workshop (STM@ESORICS), Heraklion, Greece, 2016 [bib] [pdf] [www]

Requirements

  1. pyvex:
# pip install pyvex
  1. capstone:
# apt-get install python-capstone
  1. z3
$ git clone https://github.com/Z3Prover/z3
$ python scripts/mk_make.py --python
$ ./configure --prefix=$HOME/mylibs/
$ cd build
$ make
# sudo make install

Note: you may have to update PYTHONPATH by adding /path/to/z3.git/build/

  1. pefile
$ git clone https://github.com/erocarrera/pefile
$ setup.py build
$ setup.py install
  1. pyelftools
# apt-get install python-pyelftools
  1. dill
# pip install dill

Output

Inspector-gadget produces four files:

  • filename.pkl is a blob containing all discovered gadgets. It can be read by Inspector-gadget, so gadget discovery has to be done only once.
  • filename_all_gadgets is a textfile containing all gadgets, even the ones Inspector-gadget cannot analyse properly due to jumps etc.
  • filename_gadgets is a textfile containing gadgets Inspector-gadget analyzed and uses for autochaining.
  • filename_summary is a textfile containing a summary of the analysis.

Usage

$ ./ig.sh <parameters>
  • -b path and name of the binary (we support ELF and PE for now)
  • -maxlen maximum length of gadgets (in instructions)
  • -minlen minimum length of gadgets (in instructions)
  • -arg number of registers to initialize by the auto-chainer (Linux: 2 to 6; Windows: 2 to 4)
  • -p number of threads (greatly enhances gadget discovery and summaries! If you have a multicore CPU, use this)
  • -spm show effects on memory in output files
  • -a architecture (default is x86-64, x86 is experimental and only works for gadget discovery, not chaining)
  • -o output directory

Examples

$ ./ig.sh -b /usr/bin/comm -maxlen 10 -arg 3 -o /output/dir/

This finds all gadgets that contain up to 10 instructions in file "comm" stored in /usr/bin and creates a chain to initialize rdi, rsi, and rcx.

$ ./ig.sh -b /usr/bin/comm.pkl -arg 4 -o /output/dir/

Uses the file generated in the previous step (comm.pkl), so gadget discovery is skipped and a chain to initialize rdi, rsi, rcx, and rdx is generated.

You can’t perform that action at this time.