Skip to content

Pintool example and PoC for dynamic binary analysis

Notifications You must be signed in to change notification settings

morellic/PinTools

 
 

Repository files navigation

Pin Tools

I just decided to centralize my old and next Pin tools about program analysis in this repo. Be careful, these pintool are not reliable. They are here just as PoC and to provide some ideas.

Timeline

Timeline
Name date
Talks/SSTIC-2015 Triton a Pin-based DSE framewok Jun 03, 2015
Talks/StHack-2015 Dynamic Behavior Analysis using DBI Mar 27, 2015
Talks/SecurityDayLille-2015 Dynamic Symbolic Execution Jan 17, 2015
FormatStringDetection Nov 11, 2014
OverflowDetection Oct 10, 2013
ConcolicExecution Aug 28, 2013
InMemoryFuzzing Aug 17, 2013
LoopDetectionInstCounter Aug 13, 2013
ObsoleteStackFrameAccessDetection Aug 08, 2013
ClassicalUseAfterFreePatternMatching Aug 08, 2013
PointerWithoutCheckDetection Aug 08, 2013
TaintAnalysis Aug 08, 2013

Related blog post

Talks/SSTIC-2015 Triton a Pin-based concolic execution framework

Talks/StHack-2015 Dynamic Behavior Analysis Using Dynamic Binary Instrumentation

  • n/a

Talks/SecurityDayLille-2015 Dynamic Symbolic Execution

FormatStringDetection

  • n/a

OverflowDetection

ConcolicExecution

InMemoryFuzzing

LoopDetectionInstCounter

  • n/a

ObsoleteStackFrameAccessDetection

ClassicalUseAfterFreePatternMatching

PointerWithoutCheckDetection

TaintAnalysis

About

Pintool example and PoC for dynamic binary analysis

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 83.6%
  • C 10.4%
  • Makefile 5.4%
  • Shell 0.6%