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

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

OverflowDetection

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

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/

FormatStringDetection

• n/a