Understanding SMT solvers: An Introduction to Z3
A short overview of SMT solvers with an introduction to Z3 with examples.
Recent Posts
A deep dive into Processes, Threads, Fibers and Jobs on Windows.
This blog post covers a brief overview of Processes, Threads, Fibers, Jobs and their components on Windows and how the Windows API can be used to work with them.
Exploring the process of virtual memory address translation and structure of a page table entry.
We will explore the process of address translation of VAs, what information they store and how can we use Windows API functions to query information of pages. Part 2 of last blog post.
Exploring Virtual Memory and the Virtual Memory Management API.
Introduction to Virtual Memory, Paging and Windows API functions that allow us to play with the virtual memory!
Understanding the booting process of a computer and trying to write own operating system.
There are a lot of things that happen under the hood when we start a computer, we will be exploring those as well as trying to a small part of an OS.