October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x01] Introduction: Program Analysis
#program analysis
Category
Software Analysis, Testing and Verification
10 posts
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x02] The LLVM Framework
#llvm
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x03] Software Specifications
#software specifications
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x04] Random (Fuzz) Testing
#fuzzing
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x05] Metamorphic Testing & Property-based Testing
#metamorphic
#property-based
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x06] Delta Debugging
#test case minimization
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x07] Data Flow Analysis
#dataflow analysis
#static analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x08] Pointer Analysis
#pointer analysis
#static 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 0x0a] Dynamic Symbolic Execution
#symbolic execution
#static analysis