String Obfuscation
وقتی رشتهها هم مخفی میشن
تا اینجا درباره Control Flow Flattening و Opaque Predicate صحبت کردیم
حالا بریم سراغ یکی از چیزهایی که توی تحلیل استاتیک خیلی زود باهاش برخورد میکنید
رشتهها
وقتی یک برنامه رو با IDA یا Ghidra باز میکنیم معمولا یکی از اولین کارها اینه که Strings رو بررسی کنیم
چون رشته هایی مثل این خیلی اطلاعات میدن:
Login failed
Access denied
https://example.com
config.json
username
اما Obfuscation میتونه همین رشتهها رو هم از حالت واضح خارج کنه
مثلا به جای اینکه داخل باینری داشته باشیم:
Access denied
ممکنه فقط یک سری بایت ببینیم:
12 37 21 04 55 19 ...
و برنامه موقع اجرا اونها رو به رشته اصلی تبدیل کنه
یک روش ساده برای این کار XOR هست
مثلا رشته اصلی:
HELLO
با یک کلید مشخص XOR میشه و نتیجه داخل فایل قرار میگیره
وقتی برنامه اجرا میشه دوباره همون عملیات انجام میشه و رشته اصلی برمیگرده
در نتیجه اگر فقط Strings رو روی فایل اجرا کنیم ممکنه اصلا HELLO رو نبینیم
اما اینجا یک نکته خیلی مهم وجود داره
هدف ما این نیست که فقط دنبال رشته خوندن بگردیم
باید بفهمهیم رشته کجا ساخته میشه
مثلا ممکنه داخل دیساسمبل ببینیم:
داده رمزگذاریشده
↓
Decode
↓
Buffer
↓
استفاده توسط برنامه
اگر تابع Decode رو پیدا کنیم میتونیم بفهمیم برنامه چطور رشتهها رو در زمان اجرا بازسازی میکنه
بعضی برنامهها حتی رشتهها رو از اول به صورت کامل در حافظه نگه نمیدارن
ممکنه فقط زمانی که لازم دارن رشته رو Decode کنن و بعد دوباره پاکش کنن
برای همین تحلیل داینامیک اینجا خیلی کمک میکنه
میتونیم ببینیم چه زمانی Buffer ساخته میشه و چه زمانی محتوای قابل خوندن داخلش قرار میگیره
یک نکته مهم دیگه هم اینه که هر دادهای که شبیه متن نیست لزوما رمزگذاری نشده
ممکنه فشرده شده باشه ممکنه یک ساختار باینری باشه یا حتی فقط دادهای باشه که با یک Encoding خاص ذخیره شده
پس قبل از اینکه بگیم این رشته رمزگذاری شده باید مسیر استفاده از اون داده رو بررسی کنیم
تمرین:
یک برنامه ساده بسازید که یک رشته مشخص داشته باشه
بعد رشته رو با یک XOR ساده قبل از ذخیره شدن تغییر بدید و در زمان اجرا دوباره Decode کنید
حالا برنامه رو داخل Ghidra باز کنید
اول Strings رو بررسی کنید
بعد تابعی که داده رو Decode میکنه پیدا کنید
در اخر سعی کنید بدون اجرای برنامه الگوریتم Decode رو از روی اسمبلی بازسازی کنید
اینجا یک چیز مهم به دست میارید:
به جای اینکه فقط دنبال چیزی که برنامه نشون میده بگردید یاد میگیرید بفهمید اون داده چطور ساخته شده
@reverseengine
وقتی رشتهها هم مخفی میشن
تا اینجا درباره Control Flow Flattening و Opaque Predicate صحبت کردیم
حالا بریم سراغ یکی از چیزهایی که توی تحلیل استاتیک خیلی زود باهاش برخورد میکنید
رشتهها
وقتی یک برنامه رو با IDA یا Ghidra باز میکنیم معمولا یکی از اولین کارها اینه که Strings رو بررسی کنیم
چون رشته هایی مثل این خیلی اطلاعات میدن:
Login failed
Access denied
https://example.com
config.json
username
اما Obfuscation میتونه همین رشتهها رو هم از حالت واضح خارج کنه
مثلا به جای اینکه داخل باینری داشته باشیم:
Access denied
ممکنه فقط یک سری بایت ببینیم:
12 37 21 04 55 19 ...
و برنامه موقع اجرا اونها رو به رشته اصلی تبدیل کنه
یک روش ساده برای این کار XOR هست
مثلا رشته اصلی:
HELLO
با یک کلید مشخص XOR میشه و نتیجه داخل فایل قرار میگیره
وقتی برنامه اجرا میشه دوباره همون عملیات انجام میشه و رشته اصلی برمیگرده
در نتیجه اگر فقط Strings رو روی فایل اجرا کنیم ممکنه اصلا HELLO رو نبینیم
اما اینجا یک نکته خیلی مهم وجود داره
هدف ما این نیست که فقط دنبال رشته خوندن بگردیم
باید بفهمهیم رشته کجا ساخته میشه
مثلا ممکنه داخل دیساسمبل ببینیم:
داده رمزگذاریشده
↓
Decode
↓
Buffer
↓
استفاده توسط برنامه
اگر تابع Decode رو پیدا کنیم میتونیم بفهمیم برنامه چطور رشتهها رو در زمان اجرا بازسازی میکنه
بعضی برنامهها حتی رشتهها رو از اول به صورت کامل در حافظه نگه نمیدارن
ممکنه فقط زمانی که لازم دارن رشته رو Decode کنن و بعد دوباره پاکش کنن
برای همین تحلیل داینامیک اینجا خیلی کمک میکنه
میتونیم ببینیم چه زمانی Buffer ساخته میشه و چه زمانی محتوای قابل خوندن داخلش قرار میگیره
یک نکته مهم دیگه هم اینه که هر دادهای که شبیه متن نیست لزوما رمزگذاری نشده
ممکنه فشرده شده باشه ممکنه یک ساختار باینری باشه یا حتی فقط دادهای باشه که با یک Encoding خاص ذخیره شده
پس قبل از اینکه بگیم این رشته رمزگذاری شده باید مسیر استفاده از اون داده رو بررسی کنیم
تمرین:
یک برنامه ساده بسازید که یک رشته مشخص داشته باشه
بعد رشته رو با یک XOR ساده قبل از ذخیره شدن تغییر بدید و در زمان اجرا دوباره Decode کنید
حالا برنامه رو داخل Ghidra باز کنید
اول Strings رو بررسی کنید
بعد تابعی که داده رو Decode میکنه پیدا کنید
در اخر سعی کنید بدون اجرای برنامه الگوریتم Decode رو از روی اسمبلی بازسازی کنید
اینجا یک چیز مهم به دست میارید:
به جای اینکه فقط دنبال چیزی که برنامه نشون میده بگردید یاد میگیرید بفهمید اون داده چطور ساخته شده
@reverseengine
ReverseEngineering
String Obfuscation وقتی رشتهها هم مخفی میشن تا اینجا درباره Control Flow Flattening و Opaque Predicate صحبت کردیم حالا بریم سراغ یکی از چیزهایی که توی تحلیل استاتیک خیلی زود باهاش برخورد میکنید رشتهها وقتی یک برنامه رو با IDA یا Ghidra باز میکنیم معمولا…
String Obfuscation
When strings are also hidden
So far we have talked about Control Flow Flattening and Opaque Predicate
Now let's move on to one of the things you will encounter very soon in static analysis
Strings
When we open a program with IDA or Ghidra, one of the first things we usually do is check the Strings
Because strings like this give a lot of information:
Login failed
Access denied
https://example.com
config.json
username
But Obfuscation can also remove these strings from the clear state
For example, instead of having inside the binary:
Access denied
We may only see a series of bytes:
12 37 21 04 55 19 ...
And the program converts them into the original string when it runs
A simple way to do this is XOR
For example, the original string:
HELLO
It is XORed with a specific key and the result is placed in the file takes
When the program is run, the same operation is performed again and the original string is returned
As a result, if we just run Strings on the file, we may not see HELLO at all
But there is a very important point here
Our goal is not to just look for the string to read
We need to understand where the string is created
For example, we may see in the disassembler:
Encrypted data
↓
Decode
↓
Buffer
↓
Used by the program
If we find the Decode function, we can understand how the program reconstructs the strings at runtime
Some programs do not even keep the strings completely in memory from the beginning
They may only need to decode the string and then clear it again
That is why dynamic analysis is very helpful here
We can see when the Buffer is created and when the readable content is placed in it
Another important point is that any data that does not look like text is necessarily encrypted Not
It could be compressed, it could be a binary structure, or even just data stored with a specific encoding
So before we say this string is encrypted, we need to look at how that data is used
Exercise:
Write a simple program that takes a given string
Then modify the string with a simple XOR before saving it and decode it again at runtime
Now open the program in Ghidra
First examine the Strings
Then find the function that decodes the data
Finally, try to recreate the Decode algorithm from assembly without running the program
Here you will learn something important:
Instead of just looking for what the program shows, you will learn to understand how that data is constructed
@reverseengine
When strings are also hidden
So far we have talked about Control Flow Flattening and Opaque Predicate
Now let's move on to one of the things you will encounter very soon in static analysis
Strings
When we open a program with IDA or Ghidra, one of the first things we usually do is check the Strings
Because strings like this give a lot of information:
Login failed
Access denied
https://example.com
config.json
username
But Obfuscation can also remove these strings from the clear state
For example, instead of having inside the binary:
Access denied
We may only see a series of bytes:
12 37 21 04 55 19 ...
And the program converts them into the original string when it runs
A simple way to do this is XOR
For example, the original string:
HELLO
It is XORed with a specific key and the result is placed in the file takes
When the program is run, the same operation is performed again and the original string is returned
As a result, if we just run Strings on the file, we may not see HELLO at all
But there is a very important point here
Our goal is not to just look for the string to read
We need to understand where the string is created
For example, we may see in the disassembler:
Encrypted data
↓
Decode
↓
Buffer
↓
Used by the program
If we find the Decode function, we can understand how the program reconstructs the strings at runtime
Some programs do not even keep the strings completely in memory from the beginning
They may only need to decode the string and then clear it again
That is why dynamic analysis is very helpful here
We can see when the Buffer is created and when the readable content is placed in it
Another important point is that any data that does not look like text is necessarily encrypted Not
It could be compressed, it could be a binary structure, or even just data stored with a specific encoding
So before we say this string is encrypted, we need to look at how that data is used
Exercise:
Write a simple program that takes a given string
Then modify the string with a simple XOR before saving it and decode it again at runtime
Now open the program in Ghidra
First examine the Strings
Then find the function that decodes the data
Finally, try to recreate the Decode algorithm from assembly without running the program
Here you will learn something important:
Instead of just looking for what the program shows, you will learn to understand how that data is constructed
@reverseengine
DWARF as a Shared Reverse Engineering Format
https://lief.re/blog/2025-05-27-dwarf-editor
@reverseengine
https://lief.re/blog/2025-05-27-dwarf-editor
@reverseengine
LIEF
DWARF as a Shared Reverse Engineering Format · LIEF
Create DWARF debug information with the LIEF Extended DWARF editor and share reverse-engineered types and functions between Binary Ninja and Ghidra plugins.
ReverseEngineering
String Obfuscation When strings are also hidden So far we have talked about Control Flow Flattening and Opaque Predicate Now let's move on to one of the things you will encounter very soon in static analysis Strings When we open a program with IDA or Ghidra…
Understanding String Obfuscation
https://medium.com/mobilepeople/understanding-string-obfuscation-8f25f3ff0416
https://medium.com/mobilepeople/understanding-string-obfuscation-8f25f3ff0416
Medium
Understanding String Obfuscation
I love the way of understanding a topic with some background, history, etc. When I came across string obfuscation and searched it over the…
Constant Obfuscation وقتی حتی عدد ها هم مخفی میشن
تا اینجا دیدیم که چطور رشتهها رو میشه مخفی کردولی فقط رشتهها نیستن که Obfuscate میشن عددها و ثابت های برنامه هم میتونن مخفی بشن
فرض کنید برنامه باید مقدار
حالا برنامه نویس یا ابزار Obfuscation میتونه همون مقدار رو به شکل پیچیده تری تولید کنه
مثلا:
در نهایت مقدار
اما یک قدم جلوتر:
نتیجه XOR دوباره میتونه یک مقدار مشخص باشه در این حالت وقتی فقط یک دستور رو میبینید مقدار واقعی ثابت فورا مشخص نمیشه بعصی وقتا حتی محاسبات بیشتری استفاده میشه:
و همه اینها فقط برای تولید یک مقدار ثابت انجام میشن مثلا ممکنه برنامه برای ساختن یک عدد ساده چند تا دستور اجرا کنه
اینجا کاری که ما انجام میدیم اینه که به جای نگاه کردن به تک تک دستورها مسیر تولید مقدار رو دنبال میکنیم
یعنی میپرسیم:
این مقدار از کجا اومد؟
چه عملیاتی روش انجام شده؟
در نهایت کجا استفاده شده؟
مثلا:
مقدار اولیه
اگر بتونید این زنجیره رو ساده کنید مقدار واقعی ثابت دوباره مشخص میشه
این کار مخصوصا وقتی مهم میشه که ثابتها بخشی از یک الگوریتم باشن
مثلا یک برنامه ممکنه یک مقدار ثابت رو برای مقایسه محاسبه یا ساختن یک جدول استفاده کنه اگر مقدار اصلی مخفی شده باشه فهمیدن الگوریتم هم سخت تر میشه
یک نکته جالب اینه که بعضی وقتا Decompiler خودش میتونه این محاسبات رو ساده کنه
مثلا چند دستور اسمبلی رو تبدیل کنه به:
اما همیشه نباید به خروجی Decompiler اعتماد کرد گاهی Obfuscation باعث میشه خروجی چیزی کاملا پیچیده و گمراهکننده باشه
پس یکی از مهارتهای مهم Reverse Engineer اینه که بتونه بین سه چیز حرکت کنه:
تمرین:
این عبارت رو بدون اجرای برنامه ساده کنید:
بعد یک مثال پیچیده تر برای خودتون بسازید که در نهایت به یک عدد مشخص برسه بعد همون برنامه رو Compile کنید و داخل Ghidra ببینید Compiler چه شکلی از اون ساخته
هدف تمرین این نیست که فقط جواب عدد رو پیدا کنید هدف اینه که یاد بگیرید یک مقدار رو از مسیر محاسباتش دنبال کنید
@reverseengine
تا اینجا دیدیم که چطور رشتهها رو میشه مخفی کردولی فقط رشتهها نیستن که Obfuscate میشن عددها و ثابت های برنامه هم میتونن مخفی بشن
فرض کنید برنامه باید مقدار
100 رو استفاده کنه در حالت عادی ممکنه توی اسمبلی چیزی شبیه این ببینید:mov eax, 100
حالا برنامه نویس یا ابزار Obfuscation میتونه همون مقدار رو به شکل پیچیده تری تولید کنه
مثلا:
mov eax, 73
add eax, 27
در نهایت مقدار
eax میشه 100اما یک قدم جلوتر:
mov eax, 0x12345678
xor eax, 0x12345614
نتیجه XOR دوباره میتونه یک مقدار مشخص باشه در این حالت وقتی فقط یک دستور رو میبینید مقدار واقعی ثابت فورا مشخص نمیشه بعصی وقتا حتی محاسبات بیشتری استفاده میشه:
XOR
ADD
SUB
ROL
ROR
و همه اینها فقط برای تولید یک مقدار ثابت انجام میشن مثلا ممکنه برنامه برای ساختن یک عدد ساده چند تا دستور اجرا کنه
اینجا کاری که ما انجام میدیم اینه که به جای نگاه کردن به تک تک دستورها مسیر تولید مقدار رو دنبال میکنیم
یعنی میپرسیم:
این مقدار از کجا اومد؟
چه عملیاتی روش انجام شده؟
در نهایت کجا استفاده شده؟
مثلا:
مقدار اولیه
↓مقدار نهایی
XOR
↓
ADD
↓
SUB
↓
اگر بتونید این زنجیره رو ساده کنید مقدار واقعی ثابت دوباره مشخص میشه
این کار مخصوصا وقتی مهم میشه که ثابتها بخشی از یک الگوریتم باشن
مثلا یک برنامه ممکنه یک مقدار ثابت رو برای مقایسه محاسبه یا ساختن یک جدول استفاده کنه اگر مقدار اصلی مخفی شده باشه فهمیدن الگوریتم هم سخت تر میشه
یک نکته جالب اینه که بعضی وقتا Decompiler خودش میتونه این محاسبات رو ساده کنه
مثلا چند دستور اسمبلی رو تبدیل کنه به:
x = 100;
اما همیشه نباید به خروجی Decompiler اعتماد کرد گاهی Obfuscation باعث میشه خروجی چیزی کاملا پیچیده و گمراهکننده باشه
پس یکی از مهارتهای مهم Reverse Engineer اینه که بتونه بین سه چیز حرکت کنه:
Assembly
Decompiler
منطق واقعی برنامه
تمرین:
این عبارت رو بدون اجرای برنامه ساده کنید:
int x = 73;
x = x + 27;
x = x ^ 0;
بعد یک مثال پیچیده تر برای خودتون بسازید که در نهایت به یک عدد مشخص برسه بعد همون برنامه رو Compile کنید و داخل Ghidra ببینید Compiler چه شکلی از اون ساخته
هدف تمرین این نیست که فقط جواب عدد رو پیدا کنید هدف اینه که یاد بگیرید یک مقدار رو از مسیر محاسباتش دنبال کنید
@reverseengine
ReverseEngineering
Constant Obfuscation وقتی حتی عدد ها هم مخفی میشن تا اینجا دیدیم که چطور رشتهها رو میشه مخفی کردولی فقط رشتهها نیستن که Obfuscate میشن عددها و ثابت های برنامه هم میتونن مخفی بشن فرض کنید برنامه باید مقدار 100 رو استفاده کنه در حالت عادی ممکنه توی اسمبلی…
Constant Obfuscation When Even Numbers Are Hiding
So far we have seen how strings can be hidden, but it is not only strings that are obfuscated, numbers and program constants can also be hidden
Suppose the program needs to use the value 100, in normal case you might see something like this in the assembly:
Now the programmer or the Obfuscation tool can generate the same value in a more complex way
For example:
Finally the value of eax becomes 100
But one step further:
The result of XOR can again be a specific value. In this case, when you see only one instruction, the actual value of the constant is not immediately clear. Sometimes even more calculations are used:
And all this
They are only used to produce a constant value. For example, a program might execute several instructions to generate a simple number. What we do here is that instead of looking at each instruction individually, we follow the path of the value. That is, we ask:
Where did this value come from?
What operation did the method perform?
Where was it finally used?
For example:
Initial value
If you can simplify this chain, the actual value of the constant is revealed again. This is especially important when constants are part of an algorithm. For example, a program might use a constant value to compare calculations or build a table. If the original value is hidden, it becomes harder to understand the algorithm. One interesting thing is that sometimes the decompiler itself can simplify these calculations.
For example, it can convert a few assembly instructions to:
But you shouldn't always trust the output of the Decompiler. Sometimes Obfuscation can make the output of something quite complex and misleading.
So one of the important skills of a Reverse Engineer is to be able to move between three things:
Assembly
Decompiler
The actual logic of the program
Exercise:
Simplify this expression without running the program:
Then create a more complex example for yourself that will eventually reach a specific number. Then compile the same program and see what the Compiler makes of it in Ghidra.
The goal of the exercise is not to just find the answer to the number. The goal is to learn to follow a value through its calculation path.
@reverseengine
So far we have seen how strings can be hidden, but it is not only strings that are obfuscated, numbers and program constants can also be hidden
Suppose the program needs to use the value 100, in normal case you might see something like this in the assembly:
mov eax, 100
Now the programmer or the Obfuscation tool can generate the same value in a more complex way
For example:
mov eax, 73
add eax, 27
Finally the value of eax becomes 100
But one step further:
mov eax, 0x12345678
xor eax, 0x12345614
The result of XOR can again be a specific value. In this case, when you see only one instruction, the actual value of the constant is not immediately clear. Sometimes even more calculations are used:
XOR
ADD
SUB
ROL
ROR
And all this
They are only used to produce a constant value. For example, a program might execute several instructions to generate a simple number. What we do here is that instead of looking at each instruction individually, we follow the path of the value. That is, we ask:
Where did this value come from?
What operation did the method perform?
Where was it finally used?
For example:
Initial value
↓
XOR
↓
ADD
↓
SUB
↓
Final value
If you can simplify this chain, the actual value of the constant is revealed again. This is especially important when constants are part of an algorithm. For example, a program might use a constant value to compare calculations or build a table. If the original value is hidden, it becomes harder to understand the algorithm. One interesting thing is that sometimes the decompiler itself can simplify these calculations.
For example, it can convert a few assembly instructions to:
x = 100;
But you shouldn't always trust the output of the Decompiler. Sometimes Obfuscation can make the output of something quite complex and misleading.
So one of the important skills of a Reverse Engineer is to be able to move between three things:
Assembly
Decompiler
The actual logic of the program
Exercise:
Simplify this expression without running the program:
int x = 73;
x = x + 27;
x = x ^ 0;
Then create a more complex example for yourself that will eventually reach a specific number. Then compile the same program and see what the Compiler makes of it in Ghidra.
The goal of the exercise is not to just find the answer to the number. The goal is to learn to follow a value through its calculation path.
@reverseengine
Pointer
چیه و چرا در Binary Exploitation مهمه؟
تا اینجا دربارهی Heap و باگ هایی مثل UAF Double Free و Heap Overflow صحبت کردیم
اما برای اینکه بفهمیم این باگها چطور میتونن روی رفتار برنامه تاثیر بذارن باید یک مفهوم پایه ای رو خیلی خوب بلد باشیم: Pointer
Pointer
به زبون ساده Pointer متغیریه که به جای خود داده آدرس اون داده در حافظه رو نگه میداره
مثلا:
اینجا:
پس ptr خودش مقدارش 100 نیست
بلکه میدونه 100 کجای حافظه قرار گرفته
چرا Pointer در C و C++ اینقدر مهمه؟
چون خیلی از کارهای سطح پایین با Pointer انجام میشن
مثلا وقتی مینویسیم:
متغیر buffer یک Pointer هست
یعنی malloc() یک بخش از Heap رو در اختیار برنامه قرار میده و آدرس اون بخش داخل buffer قرار میگیره
به شکل ساده:
وقتی Pointer دیگه به یک حافظه ی معتبر اشاره نکنه
مثلا:
بعد از free() استفاده از buffer میتونه مشکلساز باشه
چون Pointer هنوز ممکنه یک آدرس داشته باشه اما حافظهی مربوط به اون دیگه معتبر نیست
این همون مفهومی بود که در Use-After-Free دیدیم
Dangling Pointer
به Pointer ی که به یک ناحیهی حافظهی دیگه معتبر نیست معمولا Dangling Pointer میگیم
مثلا:
اما اون آدرس دیگه نباید به عنوان یک Object معتبر استفاده بشه
Pointer و Heap Overflow
چه ارتباطی دارن
فرض کنید داخل Heap چند Object وجود داره:
یعنی یک خطای نوشتن میتونه در ادامه باعث یک خطای خوندن یا نوشتن در جای دیگری از حافظه بشه
به همین دلیل Pointer ها در تحلیل Memory Corruption اهمیت زیادی دارن
Pointer با آدرس یکیه؟
تقریبا ولی بهتره دقیقتر بگیم:
Pointer
یک متغیر یا مقدار دادهایه که یک آدرس حافظه رو نگه میداره
مثلا:
اینجا ptr یک Pointer هست و مقدارش یک آدرس محسوب میشه
خود Pointer هم در حافظه ذخیره میشه
یعنی:
چرا این موضوع برای Exploitation مهمه؟
چون در Binary Exploitation فقط دنبال خراب کردن دادهها نیستیم
یکی از سوالهای مهم اینه:
آیا میتونیم چیزی رو تغییر بدیم که برنامه بعدا از اون به عنوان یک آدرس استفاده کنه؟
اگر جواب مثبت باشه یک Memory Corruption میتونه اثر خیلی بیشتری از تغییر یک عدد معمولی داشته باشه
به همین دلیل هنگام تحلیل Heap باید به Pointer های موجود در:
Objectها
ساختارهای داده
Heap metadata
جدولها و reference ها
توجه ویژه داشته باشیم
Pointer
متغیریه که یک آدرس حافظه رو نگه میداره در برنامههای C و C++ پوینتر ها نقش بسیار مهمی در مدیریت Heap و دسترسی به Objectها دارن اگر یک Pointer خراب یا نامعتبر بشه ممکنه برنامه بعدا به آدرس اشتباهی دسترسی پیدا کنه به همین دلیل شناخت Pointer ها برای درک UAF Heap Overflow و بسیاری از Memory Corruption ها ضروریه
@reverseengine
چیه و چرا در Binary Exploitation مهمه؟
تا اینجا دربارهی Heap و باگ هایی مثل UAF Double Free و Heap Overflow صحبت کردیم
اما برای اینکه بفهمیم این باگها چطور میتونن روی رفتار برنامه تاثیر بذارن باید یک مفهوم پایه ای رو خیلی خوب بلد باشیم: Pointer
Pointer
به زبون ساده Pointer متغیریه که به جای خود داده آدرس اون داده در حافظه رو نگه میداره
مثلا:
int value = 100;
int *ptr = &value;
اینجا:
value
│
│ 100
▼
[ 100 ]
ptr
│
└──────────► آدرس value
پس ptr خودش مقدارش 100 نیست
بلکه میدونه 100 کجای حافظه قرار گرفته
چرا Pointer در C و C++ اینقدر مهمه؟
چون خیلی از کارهای سطح پایین با Pointer انجام میشن
مثلا وقتی مینویسیم:
char *buffer = malloc(100);
متغیر buffer یک Pointer هست
یعنی malloc() یک بخش از Heap رو در اختیار برنامه قرار میده و آدرس اون بخش داخل buffer قرار میگیره
به شکل ساده:
bufferمشکل از کجا شروع میشه؟
│
▼
Heap
+----------------+
| 100 bytes |
+----------------+
وقتی Pointer دیگه به یک حافظه ی معتبر اشاره نکنه
مثلا:
char *buffer = malloc(100);
free(buffer);
بعد از free() استفاده از buffer میتونه مشکلساز باشه
چون Pointer هنوز ممکنه یک آدرس داشته باشه اما حافظهی مربوط به اون دیگه معتبر نیست
این همون مفهومی بود که در Use-After-Free دیدیم
Dangling Pointer
به Pointer ی که به یک ناحیهی حافظهی دیگه معتبر نیست معمولا Dangling Pointer میگیم
مثلا:
bufferخود buffer هنوز ممکنه مقدار قبلی رو داشته باشه
│
▼
[ Chunk ]
│
free()
│
▼
[ آزاد شده ]
اما اون آدرس دیگه نباید به عنوان یک Object معتبر استفاده بشه
Pointer و Heap Overflow
چه ارتباطی دارن
فرض کنید داخل Heap چند Object وجود داره:
+----------------+اگر یک Memory Corruption باعث تغییر یک Pointer بشه برنامه ممکنه بعدا از اون Pointer برای دسترسی به یک آدرس متفاوت استفاده کنه
| Object A |
+----------------+
| Pointer |
+----------------+
| Object B |
+----------------+
یعنی یک خطای نوشتن میتونه در ادامه باعث یک خطای خوندن یا نوشتن در جای دیگری از حافظه بشه
به همین دلیل Pointer ها در تحلیل Memory Corruption اهمیت زیادی دارن
Pointer با آدرس یکیه؟
تقریبا ولی بهتره دقیقتر بگیم:
Pointer
یک متغیر یا مقدار دادهایه که یک آدرس حافظه رو نگه میداره
مثلا:
ptr = 0x12345678
اینجا ptr یک Pointer هست و مقدارش یک آدرس محسوب میشه
خود Pointer هم در حافظه ذخیره میشه
یعنی:
Pointerپس Pointer هم خودش یک داده است و طبیعتا میتونه تحت تاثیر Memory Corruption قرار بگیره
│
▼
[ address ]
چرا این موضوع برای Exploitation مهمه؟
چون در Binary Exploitation فقط دنبال خراب کردن دادهها نیستیم
یکی از سوالهای مهم اینه:
آیا میتونیم چیزی رو تغییر بدیم که برنامه بعدا از اون به عنوان یک آدرس استفاده کنه؟
اگر جواب مثبت باشه یک Memory Corruption میتونه اثر خیلی بیشتری از تغییر یک عدد معمولی داشته باشه
به همین دلیل هنگام تحلیل Heap باید به Pointer های موجود در:
Objectها
ساختارهای داده
Heap metadata
جدولها و reference ها
توجه ویژه داشته باشیم
Pointer
متغیریه که یک آدرس حافظه رو نگه میداره در برنامههای C و C++ پوینتر ها نقش بسیار مهمی در مدیریت Heap و دسترسی به Objectها دارن اگر یک Pointer خراب یا نامعتبر بشه ممکنه برنامه بعدا به آدرس اشتباهی دسترسی پیدا کنه به همین دلیل شناخت Pointer ها برای درک UAF Heap Overflow و بسیاری از Memory Corruption ها ضروریه
@reverseengine
ReverseEngineering
Pointer چیه و چرا در Binary Exploitation مهمه؟ تا اینجا دربارهی Heap و باگ هایی مثل UAF Double Free و Heap Overflow صحبت کردیم اما برای اینکه بفهمیم این باگها چطور میتونن روی رفتار برنامه تاثیر بذارن باید یک مفهوم پایه ای رو خیلی خوب بلد باشیم: Pointer…
What is Pointer
and why is it important in Binary Exploitation?
So far we have talked about Heap and bugs like UAF Double Free and Heap Overflow
But to understand how these bugs can affect the behavior of the program, we need to know a basic concept very well: Pointer
Pointer
In simple terms, a Pointer is a variable that holds the address of that data in memory instead of its own data
For example:
Here:
So ptr itself does not have the value 100
But it knows where 100 is located in memory
Why is Pointer so important in C and C++?
Because many low-level tasks are done with Pointers
For example, when we write:
The buffer variable is a Pointer
That is, malloc() provides a section of the Heap to the program and the address of that section is placed in the buffer
In simple terms:
When the Pointer no longer points to a valid memory
For example:
Using a buffer after free() can be problematic
Because the Pointer may still have an address, but the memory associated with it is no longer valid
This was the same concept we saw in Use-After-Free
Dangling Pointer
A Pointer that is not valid to another memory area is usually called a Dangling Pointer
For example:
But that address should no longer be used as a valid Object
What is the relationship between Pointer and Heap Overflow
Suppose there are several Objects in the Heap:
That is, a write error can subsequently cause a read or write error elsewhere in memory
That is why pointers are very important in memory corruption analysis
Is a pointer the same as an address?
Roughly, but to be more precise:
A pointer
is a variable or data value that holds a memory address
For example:
Here ptr is a pointer and its value is considered an address
The pointer itself is also stored in memory
That is:
Why is this important for exploitation?
Because in Binary Exploitation we are not just looking to corrupt data
One of the important questions is:
Can we change something that the program will later use as an address?
If the answer is yes, a Memory Corruption can have a much greater effect than changing a regular number
That is why when analyzing the Heap, we should pay special attention to the Pointers in:
Pointer is a variable that holds a memory address. In C and C++ programs, pointers play a very important role in Heap management and accessing objects. If a Pointer becomes corrupted or invalid, the program may later access the wrong address. That is why understanding Pointers is essential to understanding UAF Heap Overflow and many Memory Corruptions
@reverseengine
and why is it important in Binary Exploitation?
So far we have talked about Heap and bugs like UAF Double Free and Heap Overflow
But to understand how these bugs can affect the behavior of the program, we need to know a basic concept very well: Pointer
Pointer
In simple terms, a Pointer is a variable that holds the address of that data in memory instead of its own data
For example:
int value = 100;
int *ptr = &value;
Here:
value
│
│ 100
▼
[ 100 ]
ptr
│
└────────► address of value
So ptr itself does not have the value 100
But it knows where 100 is located in memory
Why is Pointer so important in C and C++?
Because many low-level tasks are done with Pointers
For example, when we write:
char *buffer = malloc(100);
The buffer variable is a Pointer
That is, malloc() provides a section of the Heap to the program and the address of that section is placed in the buffer
In simple terms:
bufferWhere does the problem start?
│
▼
Heap
+----------------+
| 100 bytes |
+----------------+
When the Pointer no longer points to a valid memory
For example:
char *buffer = malloc(100);
free(buffer);
Using a buffer after free() can be problematic
Because the Pointer may still have an address, but the memory associated with it is no longer valid
This was the same concept we saw in Use-After-Free
Dangling Pointer
A Pointer that is not valid to another memory area is usually called a Dangling Pointer
For example:
bufferThe buffer itself may still have the previous value
│
▼
[ Chunk ]
│
free()
│
▼
[ Freed ]
But that address should no longer be used as a valid Object
What is the relationship between Pointer and Heap Overflow
Suppose there are several Objects in the Heap:
+----------------+If a memory corruption causes a pointer to change, the program may later use that pointer to access a different address
| Object A |
+----------------+
| Pointer |
+----------------+
| Object B |
+----------------+
That is, a write error can subsequently cause a read or write error elsewhere in memory
That is why pointers are very important in memory corruption analysis
Is a pointer the same as an address?
Roughly, but to be more precise:
A pointer
is a variable or data value that holds a memory address
For example:
ptr = 0x12345678
Here ptr is a pointer and its value is considered an address
The pointer itself is also stored in memory
That is:
PointerSo the pointer itself is data and can naturally be affected by memory corruption
│
▼
[ address ]
Why is this important for exploitation?
Because in Binary Exploitation we are not just looking to corrupt data
One of the important questions is:
Can we change something that the program will later use as an address?
If the answer is yes, a Memory Corruption can have a much greater effect than changing a regular number
That is why when analyzing the Heap, we should pay special attention to the Pointers in:
Objects
Data structures
Heap metadata
Tables and references
Pointer is a variable that holds a memory address. In C and C++ programs, pointers play a very important role in Heap management and accessing objects. If a Pointer becomes corrupted or invalid, the program may later access the wrong address. That is why understanding Pointers is essential to understanding UAF Heap Overflow and many Memory Corruptions
@reverseengine
Direct Syscall vs Indirect Syscall
تا اینجا فهمیدیم Direct Syscall یعنی برنامه تلاش میکنه مسیر معمول User-Mode API رو کوتاه تر کنه
حالا سوال:
Indirect Syscall
ایده اصلی
در Direct Syscall اجرای دستور
بهصورت مفهومی:
اما در Indirect Syscall ایده اینه که اجرای
هدف مفهومی این تکنیک تغییر شکل Call Stack و مسیر User-Mode execution نسبت به Direct Syscall هست
چرا این موضوع برای EDR مهمه؟
EDR
فقط نمیپرسه:
syscall اتفاق افتاد؟
بلکه میتونه سوالهای بیشتری بپرسه:
چه Process ی syscall رو انجام داده؟
Call Stack چطور بوده؟
Thread از کجا شروع شده؟
Memory مربوط به کجاست؟
قبل و بعد از syscall چه اتفاقی افتاده؟
پس:
Direct Syscall
≠
Invisible
و:
Indirect Syscall
EDR Bypass
این دو بیشتر تغییر مسیر اجرای User Mode هستن نه حذف کامل visibility
حالا یک لایه پایینتر
اینجا میرسیم به یکی از مهمترین چیزهایی که باید برای فهم EDR Evasion بلد باشید:
Memory Permissions
هر Memory Region میتونه مجوزهایی مثل این داشته باشه:
R = Read
W = Write
X = Execute
مثلا:
RW
یعنی قابل خوندن و نوشتنه ولی نباید به عنوان کد اجرا بشه
و:
RX
یعنی قابل خوندن و اجراست ولی نوشتن روی اون مجاز نیست
پس RWX چیه؟
RWX
یعنی یک ناحیه همزمان:
داره
این نوع Memory Permission میتونه برای ما جالب باشه چون کدی که همزمان قابل تغییر و اجراست در بعضی سناریوها ریسک بیشتری ایجاد میکنه البته RWX بهتنهایی به معنی بدافزار بودن نیست بعضی نرمافزارها کاملا legitimate هم ممکنه چنین Memory هایی داشته باشن
نکته مهم این قسمت
EDR
ها معمولا فقط به این نگاه نمیکنن که این Memory چه Permission ی داره
بلکه تغییرات Permission و رفتار اطرافش هم اهمیت داره
مثلا از دید تحلیلی
همین زنجیره میتونه مهمتر از دیدن یک Memory Region به تنهایی باشه
زنجیره مون اینه:
@reverseengine
تا اینجا فهمیدیم Direct Syscall یعنی برنامه تلاش میکنه مسیر معمول User-Mode API رو کوتاه تر کنه
حالا سوال:
Indirect Syscall
ایده اصلی
در Direct Syscall اجرای دستور
syscall از کدی انجام میشه که خود برنامه یا یک Stub مشخص فراهم کردهبهصورت مفهومی:
Application
│
▼
Custom Syscall Stub
│
▼
syscall
│
▼
Kernel
اما در Indirect Syscall ایده اینه که اجرای
syscall از یک مسیر/Stub موجود در فضای User Mode انجام بشهApplication
│
▼
Indirect Path
│
▼
Known syscall stub
│
▼
Kernel
هدف مفهومی این تکنیک تغییر شکل Call Stack و مسیر User-Mode execution نسبت به Direct Syscall هست
چرا این موضوع برای EDR مهمه؟
EDR
فقط نمیپرسه:
syscall اتفاق افتاد؟
بلکه میتونه سوالهای بیشتری بپرسه:
چه Process ی syscall رو انجام داده؟
Call Stack چطور بوده؟
Thread از کجا شروع شده؟
Memory مربوط به کجاست؟
قبل و بعد از syscall چه اتفاقی افتاده؟
پس:
Direct Syscall
≠
Invisible
و:
Indirect Syscall
EDR Bypass
این دو بیشتر تغییر مسیر اجرای User Mode هستن نه حذف کامل visibility
حالا یک لایه پایینتر
اینجا میرسیم به یکی از مهمترین چیزهایی که باید برای فهم EDR Evasion بلد باشید:
Memory Permissions
هر Memory Region میتونه مجوزهایی مثل این داشته باشه:
R = Read
W = Write
X = Execute
مثلا:
RW
یعنی قابل خوندن و نوشتنه ولی نباید به عنوان کد اجرا بشه
و:
RX
یعنی قابل خوندن و اجراست ولی نوشتن روی اون مجاز نیست
پس RWX چیه؟
RWX
یعنی یک ناحیه همزمان:
Read + Write + Execute
داره
این نوع Memory Permission میتونه برای ما جالب باشه چون کدی که همزمان قابل تغییر و اجراست در بعضی سناریوها ریسک بیشتری ایجاد میکنه البته RWX بهتنهایی به معنی بدافزار بودن نیست بعضی نرمافزارها کاملا legitimate هم ممکنه چنین Memory هایی داشته باشن
نکته مهم این قسمت
EDR
ها معمولا فقط به این نگاه نمیکنن که این Memory چه Permission ی داره
بلکه تغییرات Permission و رفتار اطرافش هم اهمیت داره
مثلا از دید تحلیلی
Memory Allocation
↓
Write
↓
Permission Change
↓
Execution
همین زنجیره میتونه مهمتر از دیدن یک Memory Region به تنهایی باشه
زنجیره مون اینه:
API Hooking
↓
User Mode / Kernel Mode
↓
Direct Syscall
↓
Indirect Syscall
↓
Memory Permissions
@reverseengine
ReverseEngineering
Direct Syscall vs Indirect Syscall تا اینجا فهمیدیم Direct Syscall یعنی برنامه تلاش میکنه مسیر معمول User-Mode API رو کوتاه تر کنه حالا سوال: Indirect Syscall ایده اصلی در Direct Syscall اجرای دستور syscall از کدی انجام میشه که خود برنامه یا یک Stub…
Direct Syscall vs Indirect Syscall
So far we have understood that Direct Syscall means that the application tries to shorten the usual path of the User-Mode API
Now the question:
Indirect Syscall
The main idea
In Direct Syscall, the execution of the syscall command is done from the code that the application itself or a specific stub provides
Conceptually:
But in Indirect Syscall, the idea is to execute the syscall from a path/stub existing in the User Mode space
The conceptual goal of this technique is to change the Call Stack shape and the User-Mode execution path compared to Direct Syscall
Why is this important for EDR?
EDR
does not just ask:
Did the syscall happen?
It can ask more questions:
What process made the syscall?
What was the call stack like?
Where did the thread start?
Where is the memory?
What happened before and after the syscall?
So:
Direct Syscall
≠
Invisible
And:
These two are more of a redirection of User Mode execution than a complete removal of visibility
Now one layer lower
Here we come to one of the most important things you need to know to understand EDR Evasion:
Memory Permissions
Each Memory Region can have permissions like this:
For example:
RW
It can be read and written, but it should not be executed as code
And:
RX
It can be read and executed, but writing to it is not allowed
So what is RWX?
RWX
It means a simultaneous region:
Read + Write + Execute
This type of Memory Permission can be interesting for us because code that can be modified and executed simultaneously poses a higher risk in some scenarios. Of course, RWX alone does not mean it is malware. Some completely legitimate software may also have such memories.
The important point of this section
EDRs usually do not only look at what permission this memory has.
But the permission changes and the behavior around it are also important.
For example, from an analytical point of view
This chain can be more important than looking at a Memory Region alone.
Our chain is:
@reverseengine
So far we have understood that Direct Syscall means that the application tries to shorten the usual path of the User-Mode API
Now the question:
Indirect Syscall
The main idea
In Direct Syscall, the execution of the syscall command is done from the code that the application itself or a specific stub provides
Conceptually:
Application
│
▼
Custom Syscall Stub
│
▼
syscall
│
▼
Kernel
But in Indirect Syscall, the idea is to execute the syscall from a path/stub existing in the User Mode space
Application
│
▼
Indirect Path
│
▼
Known syscall stub
│
▼
Kernel
The conceptual goal of this technique is to change the Call Stack shape and the User-Mode execution path compared to Direct Syscall
Why is this important for EDR?
EDR
does not just ask:
Did the syscall happen?
It can ask more questions:
What process made the syscall?
What was the call stack like?
Where did the thread start?
Where is the memory?
What happened before and after the syscall?
So:
Direct Syscall
≠
Invisible
And:
Indirect Syscall
EDR Bypass
These two are more of a redirection of User Mode execution than a complete removal of visibility
Now one layer lower
Here we come to one of the most important things you need to know to understand EDR Evasion:
Memory Permissions
Each Memory Region can have permissions like this:
R = Read
W = Write
X = Execute
For example:
RW
It can be read and written, but it should not be executed as code
And:
RX
It can be read and executed, but writing to it is not allowed
So what is RWX?
RWX
It means a simultaneous region:
Read + Write + Execute
This type of Memory Permission can be interesting for us because code that can be modified and executed simultaneously poses a higher risk in some scenarios. Of course, RWX alone does not mean it is malware. Some completely legitimate software may also have such memories.
The important point of this section
EDRs usually do not only look at what permission this memory has.
But the permission changes and the behavior around it are also important.
For example, from an analytical point of view
Memory Allocation
↓
Write
↓
Permission Change
↓
Execution
This chain can be more important than looking at a Memory Region alone.
Our chain is:
API Hooking
↓
User Mode / Kernel Mode
↓
Direct Syscall
↓
Indirect Syscall
↓
Memory Permissions
@reverseengine
بخش بیست و شیشم بافر اورفلو
Valgrind
چیه و چه فرقی با ASan داره
توی قسمت قبل با ASan آشنا شدیم
اینجا میخوایم بریم سراغ Valgrind و ببینیم چطور میتونه Memory Bugها رو پیدا کنه
بعد هم خیلی ساده ASan و Valgrind رو با هم مقایسه میکنیم
Valgrind
برنامه رو زیر نظر میگیره و دسترسی های حافظه رو بررسی میکنه
مثلا میتونه مواردی مثل اینا رو پیدا کنه
یک مثال ساده:
فایل
C
اینجا فقط برای 4 عدد حافظه گرفتیم
ولی داریم عضو شماره 5 رو مینویسیم
پس یک Out of Bounds Write داریم
کامپایل
shell
بعد با Valgrind اجراش میکنیم
shell
Valgrind
گزارش میده که برنامه یک دسترسی غیرمجاز به حافظه داشته
قسمت مهمش برای Reverse Engineering
فرض کنید یک برنامه پیچیده دارید
برنامه کرش میکنه ولی هنوز نمیدونید مشکل دقیقا کجاست
Valgrind
میتونه Stack Trace و اطلاعات مربوط به دسترسی اشتباه رو نشون بده
بعد
میتونید همون تابع رو داخل Ghidra یا IDA باز کنید و Assembly اون قسمت رو بررسی کنید
یعنی دوباره این مسیر رو داریم
برنامه
در مقابل ASan
خیلی ساده بخوایم بگیم
ASan
معمولا سریع تره و برای Fuzzing و تستهای مداوم خیلی کاربردیه
Valgrind
نیازی به کامپایل با ASan نداره و ابزارهای مختلفی برای تحلیل رفتار برنامه در اختیارمون میذاره البته Valgrind معمولا سربار اجرایی بیشتری داره
یک نکته مهم:
Valgrind
و ASan جای Reverse Engineering رو نمیگیرن
اونا فقط کمک میکنن سریع تر بفهمیم
کجا باید دنبال مشکل بگردیم
بعد کار اصلی ما شروع میشه
یعنی رفتن داخل Ghidra یا IDA و فهمیدن اینکه چرا این Memory Bug اتفاق افتاده
تا اینجا سه ابزار مهم رو داریم
Fuzzer
↓
Crash پیدا میکنه
ASan / Valgrind
↓
Memory Bug رو تحلیل میکنن
Ghidra / IDA
↓
علت Bug رو از روی Binary بررسی میکنیم این دقیقا همون ترکیبیه که یک Reverse Engineer برای تحلیل Memory Bug ها باید کم کم بهش مسلط بشه
@reverseengine
Valgrind
چیه و چه فرقی با ASan داره
توی قسمت قبل با ASan آشنا شدیم
اینجا میخوایم بریم سراغ Valgrind و ببینیم چطور میتونه Memory Bugها رو پیدا کنه
بعد هم خیلی ساده ASan و Valgrind رو با هم مقایسه میکنیم
Valgrind
برنامه رو زیر نظر میگیره و دسترسی های حافظه رو بررسی میکنه
مثلا میتونه مواردی مثل اینا رو پیدا کنه
Invalid Readاستفاده نادرست از حافظه
Invalid Write
Use After Free
Memory Leak
یک مثال ساده:
فایل
C
#include <stdio.h>
#include <stdlib.h>
int main()
{
int *data = malloc(4 * sizeof(int));
data[5] = 100;
free(data);
return 0;
}
اینجا فقط برای 4 عدد حافظه گرفتیم
ولی داریم عضو شماره 5 رو مینویسیم
پس یک Out of Bounds Write داریم
کامپایل
shell
gcc -g file22_demo.c -o file22_demo
بعد با Valgrind اجراش میکنیم
shell
valgrind ./file22_demo
Valgrind
گزارش میده که برنامه یک دسترسی غیرمجاز به حافظه داشته
قسمت مهمش برای Reverse Engineering
فرض کنید یک برنامه پیچیده دارید
برنامه کرش میکنه ولی هنوز نمیدونید مشکل دقیقا کجاست
Valgrind
میتونه Stack Trace و اطلاعات مربوط به دسترسی اشتباه رو نشون بده
بعد
میتونید همون تابع رو داخل Ghidra یا IDA باز کنید و Assembly اون قسمت رو بررسی کنید
یعنی دوباره این مسیر رو داریم
برنامه
↓Valgrind
Valgrind
↓
Memory Error
↓
Stack Trace
↓
Ghidra / IDA
↓
Assembly Analysis
در مقابل ASan
خیلی ساده بخوایم بگیم
ASan
معمولا سریع تره و برای Fuzzing و تستهای مداوم خیلی کاربردیه
Valgrind
نیازی به کامپایل با ASan نداره و ابزارهای مختلفی برای تحلیل رفتار برنامه در اختیارمون میذاره البته Valgrind معمولا سربار اجرایی بیشتری داره
یک نکته مهم:
Valgrind
و ASan جای Reverse Engineering رو نمیگیرن
اونا فقط کمک میکنن سریع تر بفهمیم
کجا باید دنبال مشکل بگردیم
بعد کار اصلی ما شروع میشه
یعنی رفتن داخل Ghidra یا IDA و فهمیدن اینکه چرا این Memory Bug اتفاق افتاده
تا اینجا سه ابزار مهم رو داریم
Fuzzer
↓
Crash پیدا میکنه
ASan / Valgrind
↓
Memory Bug رو تحلیل میکنن
Ghidra / IDA
↓
علت Bug رو از روی Binary بررسی میکنیم این دقیقا همون ترکیبیه که یک Reverse Engineer برای تحلیل Memory Bug ها باید کم کم بهش مسلط بشه
@reverseengine
❤2
Part 26 Buffer Overflow
What is Valgrind and how is it different from ASan?
We met ASan in the previous section.
Here we want to go to Valgrind and see how it can find Memory Bugs.
Then we will compare ASan and Valgrind very simply.
Valgrind
monitors the program and checks memory accesses.
For example, it can find things like these:
Invalid Read
Invalid Write
Use After Free
Memory Leak
Incorrect memory usage
A simple example:
C file
#include <stdio.h>
#include <stdlib.h>
int main()
{
int *data = malloc(4 * sizeof(int));
data[5] = 100;
free(data);
return 0;
}
Here we only got 4 memory slots
But we are writing member number 5
So we have an Out of Bounds Write
Compile
shell
gcc -g file22_demo.c -o file22_demo
Then we run it with Valgrind
shell
valgrind ./file22_demo
Valgrind
reports that the program has an illegal memory access
The important part is for Reverse Engineering
Suppose you have a complex program
The program crashes but you still don't know exactly where the problem is
Valgrind
can show Stack Trace and information about the incorrect access
Then
You can open the same function in Ghidra or IDA and check the Assembly of that part
That means we have this path again
Program
↓
Valgrind
↓
Memory Error
↓
Stack Trace
↓
Ghidra / IDA
↓
Assembly Analysis
Valgrind vs. ASan
To put it simply
ASan
is usually faster and for Fuzzing and continuous testing are very useful
Valgrind
Does not require compilation with ASan and provides us with various tools to analyze the behavior of the program, of course Valgrind usually has more execution overhead
An important point:
Valgrind
and ASan do not replace Reverse Engineering
They only help us understand faster
Where to look for the problem
Then our main work begins
That is, going into Ghidra or IDA and understanding why this Memory Bug occurred
So far we have three important
tools
Fuzzer
↓
Finds a crash
ASan / Valgrind
↓
Analyzes the Memory Bug
Ghidra / IDA
↓
We examine the cause of the Bug from the Binary This is exactly the combination that a Reverse Engineer should gradually master to analyze Memory Bugs
@reverseengine
Reverse Engineering Mobile Apps: 15 Tools & Tips to Master Security Analysis
https://medium.verylazytech.com/reverse-engineering-mobile-apps-15-tools-tips-to-master-security-analysis-37f50b1c155a
https://medium.verylazytech.com/reverse-engineering-mobile-apps-15-tools-tips-to-master-security-analysis-37f50b1c155a
Medium
Reverse Engineering Mobile Apps: 15 Tools & Tips to Master Security Analysis
Ever wondered how hackers crack open mobile apps, extract secrets, and find vulnerabilities? You’d be shocked how many modern apps leak…
Reverse Engineering a 0day used Against EDRs
https://medium.com/@jehadbudagga/reverse-engineering-a-0day-used-against-crowdstrike-edr-a5ea1fbe3fd4
https://medium.com/@jehadbudagga/reverse-engineering-a-0day-used-against-crowdstrike-edr-a5ea1fbe3fd4
Medium
Reverse Engineering a 0day used Against EDRs
Hello again…
Memory Instruction Scheduling for Lock-Stepped Kernels on AMD Instinct MI300X: Introducing the Series
https://rocm.blogs.amd.com/software-tools-optimization/scheduling_memory_ops_gfx942/README.html
@reverseengine
https://rocm.blogs.amd.com/software-tools-optimization/scheduling_memory_ops_gfx942/README.html
@reverseengine
ROCm Blogs
Memory Instruction Scheduling for Lock-Stepped Kernels on AMD Instinct™ MI300X: Introducing the Series
Explore how instruction scheduling eases stalls on AMD Instinct MI300X in a new blog series. This intro covers the motivating example and methodology.