Caeastro's white space

Tags

static analysis ·4 dataflow analysis ·1 fuzzing ·1 llvm ·1 metamorphic ·1 pointer analysis ·1 program analysis ·1 property-based ·1 software specifications ·1 symbolic execution ·1 taint analysis ·1 test case minimization ·1