October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x04] Random (Fuzz) Testing
#fuzzing
Caeastro
Wandering...
This is Caeastro's white space, recording some notes about learning, work & life.
Recent posts
View all → October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x0a] Dynamic Symbolic Execution
#symbolic execution
#static analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x01] Introduction: Program Analysis
#program analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x09] Taint Analysis
#taint analysis
#static analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x08] Pointer Analysis
#pointer analysis
#static analysis