# program analysis

Published articles for program analysis.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Binary rewriting with syzygy, Pt. I

DevFeed: [Binary rewriting with syzygy, Pt. I](<https://devfeed.tech/articles/binary-rewriting-with-syzygy-pt-i-39702.md>)

Original publisher: [Read original article](<https://doar-e.github.io/blog/2017/08/05/binary-rewriting-with-syzygy/>)

Author: Axel "0vercl0k" Souchet

Published: 2017-08-05T23:08:00Z

Content type: tutorial

Language: en

Sources: [Diary of a reverse-engineer](<https://devfeed.tech/sources/diary-of-a-reverse-engineer.md>)

Topics: [Instrumentation](<https://devfeed.tech/topics/instrumentation.md>), [toolchain](<https://devfeed.tech/topics/toolchain.md>), [MSVC](<https://devfeed.tech/topics/msvc.md>), [x86](<https://devfeed.tech/topics/x86.md>), [C++](<https://devfeed.tech/topics/c-plus-plus.md>), [function](<https://devfeed.tech/topics/function.md>), [Chromium](<https://devfeed.tech/topics/chromium.md>)

Tags: [binaries](<https://devfeed.tech/tags/binaries.md>), [binary-rewriting](<https://devfeed.tech/tags/binary-rewriting.md>), [c-plus-plus](<https://devfeed.tech/tags/c-plus-plus.md>), [chromium](<https://devfeed.tech/tags/chromium.md>), [dynamic-binary-instrumentation](<https://devfeed.tech/tags/dynamic-binary-instrumentation.md>), [instrumentation](<https://devfeed.tech/tags/instrumentation.md>), [intel](<https://devfeed.tech/tags/intel.md>), [misc](<https://devfeed.tech/tags/misc.md>), [msvc](<https://devfeed.tech/tags/msvc.md>), [program-analysis](<https://devfeed.tech/tags/program-analysis.md>), [syzygy](<https://devfeed.tech/tags/syzygy.md>)

### AI overview

This introductory article presents Syzygy, Google's transformation tool chain for statically instrumenting PE images. It outlines the framework's capabilities and limitations and introduces analysis and transformation passes, including call-graph generation and rewriting functions in /GS-protected binaries.

### Source excerpt

Introduction Binary instrumentation and analysis have been subjects that I have always found fascinating. At compile time via clang, or at runtime with dynamic binary instrumentation frameworks like Pin or DynamoRIO. One thing I have always looked for though, is a framework able to statically instrument a PE image. A ...