Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jonathansalwan/pintools
Pintool example and PoC for dynamic binary analysis
https://github.com/jonathansalwan/pintools
binary-analysis dbi pintool
Last synced: 7 days ago
JSON representation
Pintool example and PoC for dynamic binary analysis
- Host: GitHub
- URL: https://github.com/jonathansalwan/pintools
- Owner: JonathanSalwan
- Created: 2014-11-07T20:32:33.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2022-02-15T14:47:04.000Z (almost 3 years ago)
- Last Synced: 2024-12-28T17:12:52.047Z (14 days ago)
- Topics: binary-analysis, dbi, pintool
- Language: C++
- Homepage:
- Size: 1.99 MB
- Stars: 581
- Watchers: 44
- Forks: 155
- Open Issues: 5
-
Metadata Files:
- Readme: README.rst
Awesome Lists containing this project
README
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**
- http://shell-storm.org/blog/Triton-under-the-hood/
**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/