Zeren Li

Zeren Li

George

Computer Engineering Student

Posts by Tags

Articles

If a function is ever called

13 minute read

Published:

Given a large C project and I want to know if a vulnerable function is ever being used by the test cases, how to find it?

GCC FunctionInstrumentation

16 minute read

Published:

In this post, we explore how the -finstrument-functions flag and a custom GCC plugin can be used to intercept function entry and exit at compile time. We then examine a less obvious case: what happens when the function we want to instrument is not defined in the main binary, but instead lives in a shared library.

Performance counter 3

8 minute read

Published:

In this post, We will explore three monitor modes supported by perf_event_open() to monitor events.

Commands to set up TSEL

3 minute read

Published:

How to set up Docker image on TSEL(Flatcar Container Linux)

Performance counter 1

16 minute read

Published:

In this post series, We will explore the hardware performance counter in X86 architectures.

USB Armory MkII Tutorial 4

6 minute read

Published:

How to Use USB Armory Mk II (Part 4: GoTEE + Bear Metal Execution + Cache management)

Proof by contradiction

10 minute read

Published:

My explanation and thoughts on proof by contradiction.

Modular division proof

less than 1 minute read

Published:

Proof of Modular division uniqueness and non uniqueness.

Bitcoin double spending

9 minute read

Published:

Bitcoin double spending

Here’s what I’ve learned about double spending in Bitcoin, particularly from the perspective of an attacker — what they expect to happen and how they might attempt to succeed.

VLSIDesignChain: 1 - Synthesis by Yosys

4 minute read

Published:

Synthesis by Yosys

This is the first post in the VLSIDesignChain series using free open source VLSI design tools as well as proprietary tools interleaved.

Relocation Tutorial 2

1 minute read

Published:

This post is about PIC and GOT of shared libraries’ global variables and functions. Original post here

Linux Trick

13 minute read

Published:

Useful Linux commands and tricks to solve common problems

Linking process

7 minute read

Published:

Linking Terminology

My explanation to all the details of linking process and their terms

Articles to Read

less than 1 minute read

Published:

Articles I read and will read in the future. Most recent update: 2025-02-04

Udev tutorial 2

6 minute read

Published:

Automating USB Kernel Module Loading with Udev and MODALIAS in Linux

Udev tutorial 1

11 minute read

Published:

udev rule for my USB driver on Raspberry Pi 4

Bitcoin

Bitcoin double spending

9 minute read

Published:

Bitcoin double spending

Here’s what I’ve learned about double spending in Bitcoin, particularly from the perspective of an attacker — what they expect to happen and how they might attempt to succeed.

Deepseek

Discrete Math

Proof by contradiction

10 minute read

Published:

My explanation and thoughts on proof by contradiction.

Function Instrumentation

GCC FunctionInstrumentation

16 minute read

Published:

In this post, we explore how the -finstrument-functions flag and a custom GCC plugin can be used to intercept function entry and exit at compile time. We then examine a less obvious case: what happens when the function we want to instrument is not defined in the main binary, but instead lives in a shared library.

GCC

GCC FunctionInstrumentation

16 minute read

Published:

In this post, we explore how the -finstrument-functions flag and a custom GCC plugin can be used to intercept function entry and exit at compile time. We then examine a less obvious case: what happens when the function we want to instrument is not defined in the main binary, but instead lives in a shared library.

Ghidra

LLM

Number Theory

Modular division proof

less than 1 minute read

Published:

Proof of Modular division uniqueness and non uniqueness.

Performance counter

Performance counter 3

8 minute read

Published:

In this post, We will explore three monitor modes supported by perf_event_open() to monitor events.

Performance counter 1

16 minute read

Published:

In this post series, We will explore the hardware performance counter in X86 architectures.

Proofs

Proof by contradiction

10 minute read

Published:

My explanation and thoughts on proof by contradiction.

Raspberry Pi

USB Armory MkII

USB Armory MkII Tutorial 4

6 minute read

Published:

How to Use USB Armory Mk II (Part 4: GoTEE + Bear Metal Execution + Cache management)

Udev

Udev tutorial 2

6 minute read

Published:

Automating USB Kernel Module Loading with Udev and MODALIAS in Linux

Udev tutorial 1

11 minute read

Published:

udev rule for my USB driver on Raspberry Pi 4

Uprobe

If a function is ever called

13 minute read

Published:

Given a large C project and I want to know if a vulnerable function is ever being used by the test cases, how to find it?

VLSI

VLSIDesignChain: 1 - Synthesis by Yosys

4 minute read

Published:

Synthesis by Yosys

This is the first post in the VLSIDesignChain series using free open source VLSI design tools as well as proprietary tools interleaved.