Pin tools for dynamic binary analysis

[Nytro]

[h=1]Pin Tools[/h] I just decided to centralize my old and next Pin tools about program analysis in this repo.

[h=2]Timeline[/h] [TABLE]

[TR]

[TH=colspan: 2]Timeline[/TH]

[/TR]

[TR]

[TH]Name[/TH]

[TH]date[/TH]

[/TR]

[TR]

[TD]FormatStringDetection[/TD]

[TD]Nov 11, 2014[/TD]

[/TR]

[TR]

[TD]OverflowDetection[/TD]

[TD]Oct 10, 2013[/TD]

[/TR]

[TR]

[TD]ConcolicExecution[/TD]

[TD]Aug 28, 2013[/TD]

[/TR]

[TR]

[TD]InMemoryFuzzing[/TD]

[TD]Aug 17, 2013[/TD]

[/TR]

[TR]

[TD]LoopDetectionInstCounter[/TD]

[TD]Aug 13, 2013[/TD]

[/TR]

[TR]

[TD]ObsoleteStackFrameAccessDetection[/TD]

[TD]Aug 08, 2013[/TD]

[/TR]

[TR]

[TD]ClassicalUseAfterFreePatternMatching[/TD]

[TD]Aug 08, 2013[/TD]

[/TR]

[TR]

[TD]PointerWithoutCheckDetection[/TD]

[TD]Aug 08, 2013[/TD]

[/TR]

[TR]

[TD]TaintAnalysis[/TD]

[TD]Aug 08, 2013[/TD]

[/TR]

[/TABLE]

[h=2]Related blog post[/h] FormatStringDetection

• n/a
  

OverflowDetection

• shell-storm | Stack and heap overflow detection at runtime via behavior analysis and PIN
  

ConcolicExecution

• shell-storm | Binary analysis: Concolic execution with Pin and z3
  

InMemoryFuzzing

• shell-storm | In-Memory fuzzing with Pin
  

LoopDetectionInstCounter

• n/a
  

ObsoleteStackFrameAccessDetection

• shell-storm | Taint analysis and pattern matching with Pin
  

ClassicalUseAfterFreePatternMatching

• shell-storm | Taint analysis and pattern matching with Pin
  

PointerWithoutCheckDetection

• shell-storm | Taint analysis and pattern matching with Pin
  

TaintAnalysis

• shell-storm | Taint analysis and pattern matching with Pin
  

Sursa: https://github.com/JonathanSalwan/PinTools