I just decided to centralize my old and next Pin tools about program analysis in this repo.

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

• n/a

Talks/SecurityDayLille-2015 Dynamic Symbolic Execution

• http://securitydaylille1.github.io/#djo

FormatStringDetection

• n/a

OverflowDetection

• http://shell-storm.org/blog/Stack-and-heap-overflow-detection-at-runtime-via-behavior-analysis-and-PIN/

ConcolicExecution

• http://shell-storm.org/blog/Binary-analysis-Concolic-execution-with-Pin-and-z3/

InMemoryFuzzing

• http://shell-storm.org/blog/In-Memory-fuzzing-with-Pin/

LoopDetectionInstCounter

• n/a

ObsoleteStackFrameAccessDetection

• http://shell-storm.org/blog/Taint-analysis-and-pattern-matching-with-Pin/#5.1

ClassicalUseAfterFreePatternMatching

• http://shell-storm.org/blog/Taint-analysis-and-pattern-matching-with-Pin/#5.2

PointerWithoutCheckDetection

• http://shell-storm.org/blog/Taint-analysis-and-pattern-matching-with-Pin/#6

TaintAnalysis

• http://shell-storm.org/blog/Taint-analysis-and-pattern-matching-with-Pin/