Some tools for binary analyses.

• ASMTool
• Name Rule
• Command
• Binary
  • flags.py
  • check_jcc.py
  • unicorn_eg.py
  • frida/
  • lief/
  • IDA/
  • llvm/
  • fuzz/
• misc
  • misc/vex
  • Crypto
  • DB

• eg = example.
• pycmd = python version of cmd.
• cmd can go with -, but module only go with _; use _ for common case.

• pyawk, easy work awk in python - I hate the awk escape!
• pyhttp, easy start a http server.
• pysocket, simple test for low level socket.
• pygit-user, easy change git local user.
• gen-argparser, give me a argparser statement in python now!
• ascii, show ascii code table.
• value, show value of the given.
• cheatsheet, quick lookup and give the related knowledge.

a script tool to compute x86 asm flag values and relations. input: flag value. output: feasible relations (aka. CC).

using angr (simu exec) and pwntools (asm process), check if the jcc is feasible after spec ins. input: asm in string. output: jcc feasible or infeasible.

simulate asm execution using unicorn.

here is a e.g. but useful too.

All tools base on frida. *

all tools base on LIEF.

IDA

• radamsa Radamsa: a corpus (test case) generator.

Here we keep an linux executable only.

Vex: VEX IR library.

only the original header and simple list of all vex ir.

some special encryption algorithm implement in python.

• ssaes: super simplified AES.

• SQLiteHelper.py